如何强制隐式实例化模板类以包含所有成员定义？

为什么继承方式没生成符号？ #

你遇到的核心问题是C++隐式实例化的规则限制：当隐式实例化类模板时，编译器只会实例化那些被**ODR-used（单一定义规则）**的成员函数或数据成员。

你的Instantiator类只是继承了MyTemplate<int>，但既没有创建Instantiator的实例，也没有调用基类的foo()方法——编译器会判定这段代码是“无用代码”，直接优化掉，自然不会生成任何相关符号。哪怕你创建了Instantiator的实例，只要没调用foo()，基类的foo()也不会被实例化。

强制单个类型实例化所有成员的方法 #

要让编译器实例化MyTemplate<T>的所有成员，你需要显式触发每个成员的ODR-use。比如写一个辅助函数，专门调用每个成员函数（或对数据成员做取地址等操作）：

// 新建一个单独的cpp文件（如instantiate.cpp，不要被其他编译单元包含）
#include "mytemplate.hpp"

template<typename T>
void force_instantiate_all_members() {
    MyTemplate<T> obj;
    obj.foo(); // 触发foo()的ODR-use，强制编译器实例化它
    // 如果有其他成员函数，在这里逐一调用
    // 对于数据成员，可以用 &obj.data_member 来触发ODR-use
}

// 针对单个类型触发实例化（示例）
void instantiate_int() {
    force_instantiate_all_members<int>();
}

结合Boost.Hana自动处理tuple中的所有类型 #

既然你已经在使用Boost.Hana，我们可以利用它的元编程能力，自动遍历MyClassList中的所有类型，批量触发实例化，完全不需要手动修改mytemplate.hpp/cpp：

// instantiate.cpp
#include "mytemplate.hpp"
#include <boost/hana.hpp>
#include <tuple>

namespace hana = boost::hana;

// 你的类型列表
using MyClassList = std::tuple<int, char, bool>;

// 通用的成员实例化触发函数
template<typename T>
void force_instantiate_all_members() {
    MyTemplate<T> obj;
    obj.foo();
    // 在这里添加其他成员的触发逻辑
}

// 用Hana遍历tuple中的每个类型，触发实例化
auto instantiate_all = hana::for_each(
    hana::to<hana::tuple_tag>(MyClassList{}),
    [](auto type_tag) {
        using T = typename decltype(type_tag)::type;
        force_instantiate_all_members<T>();
    }
);

// 确保遍历逻辑被ODR-used（防止编译器优化掉）
decltype(instantiate_all) const& trigger = instantiate_all;

编译这个文件并和mytemplate.cpp.o链接后，你就能在目标文件或最终可执行文件中看到MyTemplate<int>::foo()、MyTemplate<char>::foo()等符号了。

额外说明 #

• 这种方法完全符合你的需求：不需要修改原模板的头文件和实现文件，也不会让其他编译单元包含过多代码导致膨胀。
• 如果你后续需要添加新的类型到MyClassList，只需要修改这个tuple的定义即可，实例化逻辑会自动适配。

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