有种猥琐的办法可以符合你这个需求
把原来的a.hpp拆成a.h和a.cpp，然后在a.h里写声明，a.cpp里把所有可能的都实例化出来
然后工程里加入a.cpp文件，在别的需要foo函数的地方一样只要include a.h即可
这样在工程编译的时候，a.cpp产生了a.o，里面包括了各种foo函数的代码，而别的使用foo的cpp文件产生的.o文件里只有调用foo的代码，没有foo的代码，让链接器完成之后的工作
但是这样写实在是没有什么意义，你不是研究编译原理的么？现代的主流编译器会做这种重复代码消除吗？