【C语言】动静态库为何有些函数可以不定义？

---

前言

记录近期遇到的问题，以及相关的解决方案。

今天碰到了一个如下的问题：
我有一个A模块，A模块会生成一个静态库，供给最终的模块B使用，但是模块A需要用到模块B当中的类似func方法。 此时这样进行编译会出现问题吗？
不会的
原因：模块A虽然需要用到模块B的func方法，那么生成静态库的时候，A肯定是拿不到B模块当中的实现了，但是A只要引了相应的头文件，那么编译过程是肯定不会有问题的，并且编译也会放行，因为编译过程并不需要一定能够找到函数的定义，只需要声明即可。
那么链接呢？
回想一下，静态库的生成步骤，将*.c 进行gcc -c编译生成.*.o ，然后通过指令 ar -rc 进行打包，所有的源文件实际上只经历了预处理->编译->汇编的过程。并没有发生链接，而最终链接的过程发生在B模块，B模块最终生成可执行文件的时候，此时符号是在B模块生成，当链接了A静态库的时候，恰好可以将符号进行填写。

但是个人认为，虽然可以这样做，但是有一个问题，我的一个静态库生成后，需要调用方去实现对应的实现，这明显不太合适。解决方案：实际上说明B模块分的不够彻底，此时考虑将B模块的再次拆分，拆分多C模块，让A模块去依赖C模块即可。

情况二：动态库

倘若此时我将A模块编译成动态库给B模块使用，此时大错特错的！
从编译动态库的指令 gcc -fPIC -shared *.c -o main，可以看出，要想生成动态库，我们已经需要进行.o之间的链接了。那么此时A模块依赖B，那么实现在B，符号自然在B，所以A模块连动态库都没法生成。

涉及知识：编译，链接

推荐阅读：
【Linux】零基础学习动静态库打包