模板可以使用哪些数据类型？ [复制]

Question

在使用模板时我注意到了一些有趣的事情（我还在学习 c++，所以希望我没有搞砸这个示例代码）：

template <class T>
T Pyramid<T>::getValue(int row, int col) {
    return data[triangleNum[row] + col];
}

为什么我们手动将T 参数（在此函数中命名）指定为class？ T 将成为一个类不是很明显吗，或者这是否意味着我们可以允许在模板中使用其他数据类型？

那么，如果我们要从头开始重新创建数组，我们可以这样做吗？如果可以，允许哪些数据类型，以及对此有何限制？

# template <class T, int length>
CustomArray<float, 365> dailyIncome;

Answer 1

模板参数大致分为两类。

1. template<typename T>（这比将参数T 标记为class 或struct 或union 更通用，因为它还可以包括基本类型，如int、bool、等等）

2. 整数常量，即template<int i>。例如，以下构造在某些 TMP 技术中很有用。

：

template<int k> struct Rank : Rank<k-1> {};
template<> struct Rank<0> {};

此模板生成Rank 类型的层次结构，每个类型相互继承，即Rank<0> 是Rank<1> 的超类@ 是Rank<2> 的超类...

整体常量可以广义地解释为包括char，也包括像int * 这样的指针，甚至是指向某个结构的指针。例如，您可以针对指向某个固定（静态存储持续时间）内存中某个类型的结构实例的指针模板类，这可能很有用。

您不能使用 ctor 或 dtor 对任何东西进行模板化（它们什么时候运行？）。您不能针对const char * 字符串文字进行模板化——如果您尝试实例化类型my_type<"foo">，您将永远无法再次引用该类型，因为当您稍后输入my_type<"foo"> 时，您会得到不同的字符串文字@ 987654339@，因此是不同的指针和不同的类型。 （但是，您可以针对特定字符串进行模板具有静态存储持续时间。）您也不能针对浮动进行模板，因为您可能期望像 my_type<2.0/3> 和 my_type<6.0/9> 这样的东西总是给您相同的类型，然后得到一个由浮点舍入引起的粗鲁的惊喜。

您还可以针对函数指针进行模板化，这有时也非常有用。

指针到成员函数模板也是可能的，我过去在编写一些将 C++ 类绑定到 lua 的代码时使用过它。

这是 C++11 标准 (14.1.4) 的实际文本

非类型模板参数应具有以下类型之一（可选 cv 限定）：

(4.1) — 整数或枚举类型，

(4.2) — 指向对象的指针或指向函数的指针，

(4.3) — 对对象的左值引用或对函数的左值引用，

(4.4) — 指向成员的指针，

(4.5) — std::nullptr_t.

[ 注意：其他类型要么在下面明确地被禁止，要么被管理形式的规则隐含地禁止 模板参数（14.3）。 — end note ] 模板参数上的顶级 cv 限定符被忽略 在确定其类型时。

其实我不知道左值引用，我从来没有真正使用过，除了指向成员函数的指针之外，我也没有使用指向成员的指针。我已经针对nullptr 进行了模板化，这有时也很有用。