程序链接的主要作用包括：
模块化：
链接允许将程序分解为多个独立的模块，每个模块可以独立编写、测试和重用。这有助于提高代码的可维护性和可扩展性。
符号解析：
链接器将源文件中的符号（如变量、函数）与其对应的地址进行关联，确保程序在运行时能够正确访问和调用这些符号。
地址重定位：
链接器将不同源文件中的代码和数据段合并，并调整其在内存中的位置，以解决地址冲突问题，确保每个符号在内存中的位置是唯一的。
符号共享：
链接器可以将相同的符号引用指向同一个地址，实现符号的共享。这有助于减小可执行程序的体积，并提高程序的运行效率。
库的链接：
链接器可以将程序所使用的库文件与可执行文件进行链接，使得多个程序可以共享库中的函数和数据，从而减少代码重复和提高代码复用性。
代码重用：
链接使得开发人员可以在不同的项目中重用已经编写的代码，避免重复编写相同的代码，从而节省开发时间和工作量，并提高代码的可维护性。
节省内存：
通过链接，可以合并程序中相同的代码段，减少程序占用的内存空间，提高系统运行的效率。
动态扩展：
链接使得程序能够在运行时加载额外的功能或模块，例如使用动态链接库（DLL），从而提高程序的灵活性和可扩展性。
更新和维护：
链接使得对程序的更新和维护更加方便。当库或模块中的错误被发现或改进时，只需修改该库或模块并重新链接，而无需修改所有相关项目。
静态与动态链接：
链接可以分为静态链接和动态链接。静态链接在编译时将所有代码合并成一个可执行文件，而动态链接则在运行时按需加载代码。两者各有优缺点，具体使用哪种链接方式取决于程序的需求和运行环境。
综上所述，程序链接在软件开发中起到了至关重要的作用，它不仅提高了代码的复用性和模块化程度，还有助于优化程序结构和内存使用，使得程序更加高效、可靠和易于维护。