通过 typedef template<typename T, T> 强制模板实例化 - 为什么它有效？

Question

我正在学习强制模板实例化。
它有效，但我仍然很好奇：-

#include <iostream>
#include <string>
template <typename T, T>struct NonTypeParameter { };//#1#
int lala=0;
template <typename T> class InitCRTP{
    public: static int init;
    public: using dummy=NonTypeParameter<int&, init>;   //#2#
};
template <typename T> int InitCRTP<T>::init = lala++;
class WantInit : public InitCRTP<WantInit>{
};
int main(){
    std::cout << lala << std::endl;
}

它打印 1，因为 InitCRTP<WantInit>::init 已正确实例化。

观察

1. 如果我删除#2# 行，它将打印0。（InitCRTP<WantInit>::init 未实例化）。

2. 如果我将 #2# 从 int& 更改为 int，我会得到：-

   错误：'InitCRTP::init' 的值不能用于常量 表达

3. 如果我将#1# 更改为template <T>struct NonTypeParameter { }; 并将#2# 更改为public: using dummy=NonTypeParameter<init>;，我将得到：-

   错误：'T' 尚未声明

问题

1. 为什么#2# 行足以强制实例化？
   在我看来，它只是模板类中的 typedef ，任何人都无法访问。

2. 为什么我需要int& 作为另一个模板参数才能使其可编译？
   一个可能更正确的问题：该技术的名称是什么？

原帖：Force explicit template instantiation with CRTP

Answer 1

为什么 #2# 行足以强制实例化？

为了提供第二个参数，编译器必须绑定一个引用。这意味着它 ODR-使用静态变量，因此该变量必须存在并且具有唯一的标识。因此，它的定义是实例化的。

当你使用普通的int 时，第二个参数只能接受整数常量表达式。非常量静态不能在常量表达式中使用。

为什么我需要int& 作为另一个模板参数才能使其可编译？

您需要为第二个参数声明引用的类型，以使其具有编译器可以检查的类型。好吧，在 C++17 之前，无论如何你都需要这样做。现在我们可以使用占位符类型。

template <auto&>struct NonTypeParameter { };//#1#
using dummy=NonTypeParameter<init>;//#2#

这将 ODR 使用传入的静态，而无需显式指定引用类型。