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

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

#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;
}

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

观察

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&另一个模板参数使其可编译？
   一个可能更正确的问题：该技术的名称是什么？

原始文章：使用CRTP强制显式模板实例化