C程序链接后形成的文件主要有两种类型：
可执行文件：
这是最常见的链接结果，包含了程序的所有机器指令和数据，可以直接在操作系统上运行。可执行文件的后缀通常为`.exe`。
动态链接库文件 （DLL）：动态链接库文件是一种共享库，其中包含了可被多个程序共享使用的代码和数据。动态链接库文件在程序运行时由动态链接器加载，而不是在程序启动时。动态链接库文件的后缀通常为`.dll`。此外，链接过程中还可能生成其他类型的文件，例如：
目标文件：
目标文件是编译器将源代码编译后的二进制中间表示，通常以`.o`或`.obj`为后缀。目标文件包含了编译后的机器代码和一些符号表信息，但还没有被链接成最终的可执行文件。
静态库文件：静态库是一组预编译的目标文件的集合，它们被打包在一个文件中。在程序编译时，静态库的代码会被链接到可执行文件中，使得程序可以调用库中的函数和变量。静态库文件的后缀通常为`.lib`。
总结来说，C程序链接后形成的文件可以是可执行文件或动态链接库文件，具体取决于链接选项和程序的需求。