GCC 8.1.0下extern template class无法生效问题求助

你遇到的问题核心在于类内定义的成员函数默认是inline的，而extern template的作用范围并不覆盖inline函数的实例化——C++标准要求inline函数必须在每个使用它的翻译单元（TU）中都有定义，所以编译器会在每个包含test.hpp并调用Test<int>::print()的源文件里，仍然实例化这个内联成员函数，这就导致了你看到的重复实例化和高内存占用。

为什么你的代码里extern template没生效？ #

在你的test.hpp中，Test<T>::print()是直接在类定义内部实现的，这会让它自动成为inline函数。对于inline函数来说，extern template无法阻止编译器在每个使用它的TU中生成实例，因为inline函数的设计初衷就是要在多个TU中可见，以支持编译器的优化（比如函数内联）。

解决方案：将成员函数移到类外定义 #

要让extern template生效，你需要把print()的定义从类内部移到类外部，并且不要标记为inline。这样，extern template class Test<int>就能告诉编译器：这个模板类的所有非内联成员的实例化都已经在其他TU（这里是test.cpp）中完成了，当前TU不需要再实例化它们。

修改后的代码如下：

修改后的test.hpp

#include <iostream>
#include <tuple>
#include "for_each.hpp"

constexpr auto t = std::tuple{ 0, /* ... */, 511};

template<typename T>
struct Test {
    // 仅声明print函数，不在这里定义
    void print();
};

修改后的test.cpp

#include "test.hpp"

// 在这里实现print函数
template<typename T>
void Test<T>::print() {
    for_each(t, [](auto v) { std::cout << v << "\n"; });
}

// 显式实例化整个Test<int>类，包括它的print成员函数
template class Test<int>;

src0.cpp（无需修改）

#include "test.hpp"
extern template class Test<int>;

void src0() {
    Test<int> t;
    t.print();
}

额外注意事项 #

• 如果你需要保留print()的inline特性（比如为了性能），那extern template确实无法阻止重复实例化，这是标准规定的行为，GCC的实现是符合标准的。
• 对于你的constexpr std::tuple t，它是一个全局常量，在每个TU中都会被实例化，但因为是constexpr且类型是字面量类型，编译器通常会做优化，不会造成太大的内存负担，核心问题还是内联成员函数的重复实例化。

这样修改后，GCC 8.1.0就会只在test.cpp中实例化Test<int>及其print()成员函数，其他源文件会直接引用这个实例化后的版本，从而降低编译内存占用和编译时间。

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