为何使用extern template仍无法阻止编译器隐式实例化模板？

这是个很典型的extern template使用误区，咱们一步步拆解问题所在，同时理清背后的C++规则：

先看生效的全局函数模板例子 #

你第一个全局函数的代码能正常工作，是因为：

template<typename T> void f() { static_assert(sizeof(T) == 0, "f()"); };
extern template void f<int>();
void g() { f<int>(); }

extern template void f<int>();明确告诉编译器：f<int>的实例化已经在其他翻译单元存在了，别在当前单元隐式实例化它。所以调用f<int>()时，编译器只会生成一个引用，不会触发模板实例化，自然不会执行static_assert。

问题1：类成员函数模板的extern template失效 #

你的第二个例子中，S::f<int>的extern template没生效，核心原因是类内定义的成员函数默认是inline的：

struct S { template<typename T> void f() { static_assert(sizeof(T) == 0, "S::f()"); } };
extern template void S::f<int>();
void g() { S s; s.f<int>(); }

根据C++标准，inline函数要求每个使用它的翻译单元都能拿到完整定义，编译器通常会在每个调用inline函数的单元都进行实例化（至少做语义检查），哪怕你加了extern template声明。这就导致static_assert被触发了。

解决方法：把成员函数移到类外定义 #

要让extern template对成员函数生效，必须把函数体移出类（取消默认inline属性）：

// 头文件：只声明
struct S {
    template<typename T> void f();
};

// 实现文件（或头文件的实现部分）
template<typename T> void S::f() {
    static_assert(sizeof(T) == 0, "S::f()");
}

// 其他使用的翻译单元
extern template void S::f<int>();
void g() {
    S s;
    s.f<int>(); // 这里只会引用，不会实例化
}

// 专门的实例化翻译单元
template void S::f<int>();

问题2：类模板的extern template失效 #

第三个例子的问题更隐蔽：

template<typename T> struct S { S(){}; static_assert(sizeof(T) == 0, "S"); };
extern template struct S<int>;
void g() { S<int> s; }

这里的static_assert是直接写在类模板体内的，当编译器处理S<int>的任何使用（哪怕是extern template声明），都必须实例化类模板的主体部分，这会触发类体内的所有编译期检查，包括static_assert。另外，类内定义的构造函数也是默认inline的，同样会被编译器强制在当前单元做实例化检查。

解决方法：把编译期检查移到非inline成员中 #

把static_assert放到类外定义的成员函数里，这样extern template就能抑制成员的实例化：

// 头文件
template<typename T> struct S {
    S(); // 只声明构造函数
};

// 实现文件
template<typename T> S<T>::S() {
    static_assert(sizeof(T) == 0, "S");
}

// 其他使用单元
extern template struct S<int>;
void g() {
    S<int> s; // 只会引用构造函数，不会触发实例化和static_assert
}

// 专门的实例化单元
template struct S<int>;

为什么nm看不到符号但编译耗时仍然存在？ #

你提到用nm看不到模板符号，但编译耗时没减少，这是因为：
extern template只是阻止编译器生成模板实例的目标代码（所以nm找不到符号），但它无法跳过模板实例化的语义检查步骤——编译器仍然需要验证模板参数的合法性、处理类型推导、检查static_assert等，这些操作都会占用编译时间。只有当你把模板定义和声明彻底分离，让编译器在使用单元不需要解析模板体时，才能真正缩短编译耗时。

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