如何避免类模板实例传入函数时未使用的模板参数被隐式实例化

为什么会触发未使用模板参数的实例化 #

这个现象的核心诱因是模板参数推导阶段的ADL（实参依赖查找）规则：

1. 你单独调用Object.foo()时，Example<Invalid<Abstract>>的实例化不需要依赖Invalid<Abstract>的内部结构，编译器仅把Invalid<Abstract>当作一个占位类型处理，不会触发它的完整实例化，自然不会检测到Invalid<Abstract>中抽象类成员的非法定义。
2. 当你把Object传递给Test模板函数时，编译器需要先完成模板参数推导才能确定重载的函数版本，这个过程必须执行ADL查找：会遍历和实参类型相关的所有关联命名空间、关联类型，其中就包括Example的模板参数Invalid<Abstract>。为了完成ADL检查，编译器必须实例化Invalid<Abstract>的完整定义，此时就会检测到它持有抽象类成员的非法逻辑，触发编译错误。

而如果Invalid本身是不完整的前向声明类型，实例化时不会检查内部成员，也就不会抛出错误。

避免不必要实例化的方案 #

常用的规避方法有以下几种：

• 调用函数时禁用ADL：把函数名用括号包裹，强制编译器跳过ADL查找步骤，不会触发关联类型的实例化。你的示例代码只需要修改调用方式即可编译通过：

int main()
{
    Example<Invalid<Abstract>> Object;
    Object.foo();
    (Test)(Object); // 加括号禁用ADL，无编译错误
    return 0;
}

• 显式指定模板函数的参数类型：跳过自动推导阶段，自然不会触发推导过程中的ADL检查：

Test<decltype(Object)&>(Object); // 显式指定参数为左值引用，不需要推导

• 将需要延迟实例化的类型封装为不完整代理类型：比如用空的包装类包裹模板参数，避免直接暴露原始类型到外层类的模板参数列表中，减少ADL触发的关联类型检查范围。
• 拆分模板定义的编译单元：仅在真正需要用到Invalid完整定义的编译单元中提供它的实现，其他场景下仅保留前向声明，避免不必要的实例化检查。

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