C++ 常数映射为型别

在书籍《C++设计新思维泛型编程与设计模式之应用中》2.4节中有一个小的知识点儿，以前从没见过，让我打开眼界。

常数也可以作为型别进行使用，下面是具体的代码实例:

template<int a>
struct IntType {
    int b = a;
};

template<bool bl>
struct BooleanType {
    bool mbl = bl;
};


int main() {
    IntType<10> tp;
    cout << tp.b << endl;
    BooleanType<true> bt;
    cout << bt.mbl << endl;
}

运行上面的代码，结果如下所示:

是不是特神奇