使用extern template auto的代码在不同优化级别下编译结果不一致

核心结论 #

你的理解存在部分偏差，这不是GCC 12.2.0的bug，而是C++标准对带auto返回值的函数模板的显式实例化声明有特殊限制，GCC在不同优化级别下的表现差异是优化阶段的非合规“宽容处理”，并非标准允许的行为。

标准规则的关键细节 #

cppreference的描述完全准确：显式实例化声明（extern template）无法抑制带auto返回值的函数模板的隐式实例化。原因在于：

• 带auto返回值的函数模板必须通过实例化来推导返回类型，这个推导过程是编译阶段必须完成的步骤，extern template只能抑制函数体的实例化，但无法跳过返回类型推导依赖的模板参数替换（这属于实例化的一部分）。

对你遇到的现象的解释 #

1. 不加-O编译失败，加-O成功
   不加优化时，GCC严格执行标准：它需要推导foo<int>()的返回类型，必须隐式实例化模板的返回值推导部分，但你只声明了extern template却没有提供对应的显式实例化定义，因此报错。
   加优化时，GCC可能做了死代码消除或延迟实例化优化：如果foo<int>()的调用在代码中没有实际被使用（或者优化器认为可以忽略返回值推导），它会跳过这一步，从而“侥幸”编译通过，但这是优化器的非合规行为，绝对不能依赖。

2. 返回值改为void时全优化级别失败
   当返回值是void时，不需要进行返回类型推导，此时extern template的规则正常生效：编译器发现你声明了extern template void foo<int>()，但找不到对应的显式实例化定义，因此无论是否优化，都会直接报错——这才是符合标准的正确行为。

正确的解决方案 #

如果要控制带auto返回值的函数模板的实例化位置，避免重复编译，你需要：

• 不要在头文件中暴露需要推导返回类型的模板定义，将模板实现放在单独的.cpp文件中；
• 在实现文件中显式实例化模板（完成返回类型推导），然后在头文件中只声明明确返回类型的模板签名。

举个可行的例子：
头文件（foo.h）：

// 明确声明返回类型，避免头文件中需要推导
template<typename T>
auto foo() -> T;

实现文件（foo.cpp）：

#include "foo.h"

template<typename T>
auto foo() {
    return T{};
}

// 显式实例化
template auto foo<int>();

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