为何函数声明的模板参数或返回类型不会触发实例化？

首先看你给出的代码：

template <class T>
struct Container {
    static_assert(sizeof(T) == 0); // 未触发
    T t;
};

struct Foo;

Container<Foo> Get();
void Set(Container<Foo> v);

// Get() 和 Set() 从未定义或使用

1. 为什么Container<Foo>在函数声明中不触发模板实例化？ #

C++模板遵循按需实例化原则：只有当模板特化的具体代码被实际需要时，编译器才会生成该特化的定义。

函数声明仅用于告知编译器函数的签名信息，不需要生成Container<Foo>的具体结构：

• 声明阶段不需要知道Container<Foo>的内存大小、成员细节，只需识别该类型作为标识符即可；
• 模板内部的static_assert、成员变量T t等内容，只有在模板被实例化时才会被检查或生成。由于Get()和Set()从未被定义、调用，也没有其他触发实例化的操作（比如取sizeof(Container<Foo>)、访问其成员），因此模板不会被实例化，static_assert自然不会触发。

2. 编译器对模板参数做了哪些预检查？ #

当你写Container<Foo>或Container<0>时，编译器会先执行模板参数的语法与类型匹配检查，这一步发生在模板实例化之前：

• 对于Container<0>，0是常量表达式而非类型，不符合template <class T>对参数的类型要求，直接编译报错；
• 对于Container<Foo>，Foo是合法的不完全类型，符合模板参数的类型要求，因此预检查通过。

只有当模板被实例化时，编译器才会验证模板定义中依赖于参数的操作是否合法（比如T t;要求T是完整类型，sizeof(T)也要求T完整）。

3. 函数声明中使用std::optional<Foo>（Foo为不完全类型）是否属于未定义行为？ #

核心在于是否触发了std::optional<Foo>的实例化：

• 若仅在函数声明中引用std::optional<Foo>作为返回值或参数类型，未触发实例化（比如函数未定义、未调用，也没有其他需要实例化的操作），则不存在“用不完全类型实例化std::optional”的行为，不属于未定义行为；
• 若后续触发了实例化（比如定义函数、创建std::optional<Foo>对象），则需看标准版本：
  • C++20及以后，std::optional明确允许以不完全类型作为模板参数（只要后续该类型变为完整）；
  • C++20之前，标准未允许std::optional使用不完全类型，此时实例化属于未定义行为。

4. 相关C++标准规则 #

• 模板实例化时机：标准[temp.inst]条款规定，模板特化仅在被“需要”时才会被实例化。函数声明中引用模板特化类型，不属于需要实例化的场景；
• 模板参数合法性：[temp.arg.type]条款规定，模板参数可以是不完全类型，除非模板的定义或使用要求参数是完整类型（这类要求仅在实例化时检查）；
• 标准库组件对不完全类型的支持：不同组件要求不同，比如std::optional在C++20后支持不完全类型，而std::vector等容器通常要求元素类型为完整类型，具体可参考对应组件的标准条款（如[optional.optional]）。

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