如何让编译器输出隐式实例化模板 解决Eigen函数重复实例化问题

• 方案1：利用-fno-implicit-templates编译选项直接收集实例化需求
  编译所有测试用例时加上-fno-implicit-templates参数，该参数会禁止编译器自动隐式实例化用到的模板，所有缺少显式实例化的模板都会触发编译错误，错误信息会完整输出需要的模板全签名，包含返回值类型、模板参数、参数列表。你只需要把所有报错信息中的签名收集、去重，就可以直接写入统一的实例化文件，完全不需要自己解析符号，准确度最高。
• 方案2：解析DWARF调试信息获取完整符号
  编译测试用例时加上-g参数生成带调试信息的目标文件，此时符号信息会包含完整的类型标注，使用dwarfdump或者llvm-dwarfdump解析目标文件，可以提取到所有实例化的Eigen函数的完整签名，包含返回值类型，解决普通nm命令输出缺返回值的问题。
• 方案3：用Clang AST解析工具遍历提取实例化记录
  用libclang或者clang-query工具遍历所有测试用例的AST树，直接匹配所有模板实例化节点，可以拿到完整的函数签名信息，不需要处理编译后的二进制文件，适合需要二次开发自动化流程的场景。

额外提示：可以参考Eigen官方的预实例化写法，Eigen源码中提供了EIGEN_INSTANTIATE_SPECIFIC_MATRIX_TYPE等工具宏，以及大量预定义的实例化模板，直接复用可以避免踩static_assert的坑。

为什么显式实例化非模板成员函数需要指定返回值类型？ #

C++标准中，显式实例化声明的语法本质是一个完整的函数声明，而任何函数声明都必须包含返回值类型（除非是构造/析构函数这类无返回值的特殊函数）。虽然函数重载规则不区分返回值，但函数声明本身要求返回值是必要组成部分，显式实例化作为强制生成函数实体的语法，必须符合函数声明的基本要求。

两段示例代码的编译差异原因 #

第一段代码中，函数f的返回值是显式指定的double，不属于返回值推导场景。你在显式实例化时用auto作为返回值，编译器没有合法的推导依据（显式指定返回值的函数不允许通过实例化推导返回值），因此编译失败，你需要写成template double A<int>::f();才能正常编译。
第二段代码中，函数f的返回值使用了C++14引入的auto返回值推导规则，此时编译器会通过函数体的return语句推导返回值类型，显式实例化时写auto是符合语法要求的，编译器会自动完成推导并生成对应的实例化代码。

内容的提问来源于stack exchange，提问作者janou195