通过 typedef 模板<类型名 T、T> 强制模板实例化 - 为什么有效？

Force template instantiation via typedef template<typename T, T> - why it works?

本文关键字：实例化 为什么 有效 lt 模板 typedef 类型 gt 通过      更新时间：2023-10-16

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

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

原文帖子 ： 使用 CRTP 强制显式模板实例化

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

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

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

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

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

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

这将 ODR 使用静态传递的，而不必显式指定引用类型。

相关文章：