MSVC 链接器处理input file的逻辑

举例说明这个 caveat：

假设你有两个库：libA.lib 和 libB.lib，它们都定义了一些符号，并且 libA.lib 依赖于 libB.lib 中的某些符号。

比如：

• libA.lib 里有一个对象文件 A.obj，它用到了 foo()，而 foo() 的实现只在 libB.lib 里。

• 你用如下顺序链接：

  LINK.EXE main.obj libA.lib libB.lib

链接过程：

1. main.obj 先被处理，假设它引用了 A.obj 里的某个函数。
2. 链接器处理 libA.lib，发现 A.obj 需要 foo()，但此时 foo() 还未解析。
3. 链接器会在 libA.lib 里找 foo()，找不到，就继续往后找，在 libB.lib 里找到了 foo()，于是解析成功。

但如果你换个顺序：

LINK.EXE main.obj libB.lib libA.lib

1. 处理 main.obj，没有 foo() 的引用。
2. 处理 libB.lib，没有需要解析的符号。
3. 处理 libA.lib，发现需要 foo()，但链接器只会在 libA.lib 及其后面的库里找，而 libB.lib 已经处理过了，不会回头再查找。
4. 结果：链接失败，提示 foo() 未定义。

结论：

• 库的顺序很重要，依赖的库要放在被依赖库的后面。
• 链接器只会向后查找库，不会回头查找已经处理过的库。