C++ 中类模板显式实例化语句template class Table<5>;的作用疑问

这行代码是C++标准定义的显式模板实例化定义，对应语法形式为template 类名<模板参数列表>;，作用是强制编译器在当前编译单元中，为指定的模板参数组合生成完整的类定义、以及类所有非inline成员（包括静态成员）的实体。
对应到这段代码里，指定的模板参数是Table<5>——也就是使用了模板的默认第二个参数I = N-1 =4，完整的递归模板链会覆盖Table<5,4>、Table<5,3>、Table<5,2>、Table<5,1>直到特化版本Table<5,0>的所有层级。

要理解这个问题，首先要理清这段递归模板数组初始化的核心逻辑：

• 整个实现的关键技巧，是利用静态成员初始化的赋值副作用完成数组填充：非特化版本的Table<N,I>类中，静态成员dummy的初始化表达式为Table<N,0>::array[I] = I + 0*Table<N,I-1>::dummy——也就是在计算dummy常量值的同时，顺带把数组下标为I的位置赋值为I。
• 按照C++模板的默认实例化规则，类模板的成员、静态成员只有被程序显式引用的场景下，才会被编译器触发实例化——哪怕模板类之间存在继承关系，只要没有显式引用父类的成员，编译器也不会主动为这些父类生成实体。

在没有这行显式实例化语句时，主函数仅显式引用了Table<5,0>::array这一个静态变量，会产生连锁问题：

• 编译器只会为最底层的特化类Table<5,0>生成array[5]的静态变量定义（值为静态存储区默认的全0初始值）
• 主函数全程没有显式引用Table<5,4>、Table<5,3>等中间递归层级类的任何成员，编译器不会主动实例化这些中间类
• 这些中间类不被实例化，对应的dummy静态成员定义就不会生成，藏在dummy初始化逻辑里的array[I] = I的赋值操作也就永远不会执行

最终要么出现链接错误（未生成被引用静态变量的实体定义），要么运行后输出的数组值全为0，完全达不到元编程填充数组的预期效果。

加上这行显式实例化后，编译器会跳过“按需触发实例化”的默认规则，直接把从Table<5,4>到Table<5,0>的整个递归继承链上的所有类、所有静态成员全部生成实体：

• 每个中间层级的dummy成员的初始化逻辑被完整执行，顺带完成array[1]到array[4]的赋值
• 特化类的array[0]保持静态存储区默认的0值

最终就能得到[0,1,2,3,4]的正确数组内容。

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