C++ 非类型模板参数使用和enum小技巧

最近在看一个轻量的json库时，发现了一个enum的用法。

以往我们定义模板基本为template<class A,…>，或者为template<typename A,…>之类的。但json库却有类似下面代码的使用方法。

enum Type {
        A, B, C, D, E, F
};

template<Type T>
class test{
public:
    Type test1() {
        return T;
    }
};

int main()
{
    test<B> a;
    if(a.test1() == B) cout << "yes";
    return 0;
}

代码输出，我们可以看到成功的使用了B对模板类进行了实例化。

以下为我的推想，如果是错误的请大佬指出。

此时将模板参数设为B时，其实是使用了模板的非类型参数。

非类型形参：用一个常数作为模板的一个参数，在模板中可以将该参数当成常量来使用。

但是非类型参数有以下使用条件。

1. 非类型模板参数只允许使用整型家族，浮点数、类对象以及字符串是不允许作为非类型模板参数的。
2. 非类型的模板参数在编译期就需要确认结果，因为编译器在编译阶段就需要根据传入的非类型模板参数生成对应的类或函数。

而对于enum我们可以得知

enum叫枚举数据类型，枚举数据类型描述的是一组整型值的集合，枚举型是预处理指令#define的替代，枚举和宏其实非常类似，宏在预处理阶段将名字替换成对应的值，枚举在编译阶段将名字替换成对应的值

符合1，为整型值。符合2，在编译期就能确定结果。

所以这样使用enum作为非类型模板参数是正确的。