无需宏实现C++多个关联模板类型的显式实例化？

宏是批量显式实例化模板类最直接彻底的方式，但如果想尝试纯C++实现，有以下几种近似方案，不过都存在一定局限性：

1. 辅助结构体+强制调用类成员（覆盖特定成员） #

你之前的辅助结构体方案无法触发完整实例化，是因为仅创建对象只会实例化构造/析构函数（如果是内联的甚至不会生成代码），未用到的成员函数不会被实例化。可以修改为强制调用所有需要的成员函数，确保编译器生成对应代码：

template <class T>
struct InstantiateFooBarBat
{
    static void instantiate()
    {
        // 用new/delete触发构造+析构函数实例化
        Foo<T>* foo = new Foo<T>;
        Bar<T>* bar = new Bar<T>;
        Bat<T>* bat = new Bat<T>;

        // 调用类中所有非内联的成员函数（按需添加）
        foo->non_inline_method();
        bar->another_method();
        bat->some_function();

        delete foo;
        delete bar;
        delete bat;
    }
};

// 显式实例化模板函数
template void InstantiateFooBarBat<float>::instantiate();

// 在程序启动时调用（比如main函数开头）
int main() {
    InstantiateFooBarBat<float>::instantiate();
    // ...
}

局限性：必须手动列举所有需要实例化的成员函数，无法自动覆盖类的全部成员，不如宏的template class彻底。

2. 可变参数模板+类型完整性检查（触发部分实例化） #

利用C++11及以后的模板元编程，通过递归特化的辅助类强制编译器处理模板类的完整性，间接触发部分实例化：

// 递归终止：单个模板的处理
template <typename T, template <typename> typename Tmpl>
struct InstantiateOne {
    // sizeof要求Tmpl<T>是完整类型，编译器会解析类的定义
    static_assert(sizeof(Tmpl<T>) > 0, "Template type must be complete");
};

// 递归展开：处理多个模板
template <typename T, template <typename> typename First, template <typename> typename... Rest>
struct InstantiateAll : InstantiateOne<T, First>, InstantiateAll<T, Rest...> {};

// 显式实例化辅助类，触发所有模板的完整性检查
template struct InstantiateAll<float, Foo, Bar, Bat>;

局限性：仅确保模板类的类型完整，但不会实例化未被引用的成员函数，仍可能出现链接错误。

结论 #

纯C中没有完全等价于宏的简洁方案——宏的核心优势是文本替换，可以直接生成多个template class语句，显式实例化整个模板类的所有成员。上述纯C方案只能实现部分场景的批量处理，无法做到宏的彻底性。如果追求简洁和可靠性，宏仍然是最优选择。

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