c++ - 通过 typedef template 强制模板实例化 - 为什么它有效？

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 ，我会得到:-

   error: the value of 'InitCRTP::init' is not usable in a constant expression

3. 如果我改变#1#至 template <T>struct NonTypeParameter { };和 #2#至 public: using dummy=NonTypeParameter<init>;我会得到:-

   error: 'T' has not been declared

问题

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

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

原帖:Force explicit template instantiation with CRTP

Answer 1

Why the line #2# is enough to force instantiation?

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

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

Why do I need int& as another template parameter to make it compilable?

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

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

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