“命名模板参数”奇数定义

Question

template <bool, class t, class u>// why is bool here,class booltype=bool. Are they equivalent?
struct if_
{
    typedef typename t type;
};

template<class t, class u>
struct if_<false,  t,  u>   // what does the <false,t,u> mean？   
{
    typedef typename u type;
};

代码来自一篇名为“命名模板参数”的文章。 我无法理解这两种结构的定义。

Answer 1

编辑：首先移动最重要的部分：

if_<true, int, double>::type;  // this is int
if_<false, int, double>::type; // this is double

这方便地定义了一种可以在编译时有条件地定义的类型。

旧答案：

template <bool, class t, class u>// why is bool here,class booltype=bool. Are they equivalent?
struct if_
{
    typedef typename t type;
};

这意味着传递给模板的第一个参数是bool 。

它不等于class booltype=bool 。 这将是模板的默认typename 。

template<class t, class u>
struct if_<false,  t,  u>   // what does the <false,t,u> mean？   
{
    typedef typename u type;
};

这是struct 。 如果传递给模板的第一个参数是false，则将struct定义为。

基本上，假设：

if_<true, int, double> x;
//is defined as
//struct if_
//{
//    typedef int type;
//};

和

if_<false, int, double> x;
//is defined as
//struct if_
//{
//    typedef double type;
//};

记号主要讲述怎样的typedef -如果第一个参数是true ， typedef第二个参数，否则第三。

Answer 2

第一个是if_类型的通用模板定义。 bool是模板参数（模板参数可以是类型或整数值）

第二个是同一模板的部分特化。 PArtial专业化意味着您设置了一些模板参数，但不是全部。

使用哪一个是这样决定的：如果对实际模板参数有一个明确的特化，则使用该特化，否则使用非专用（在这种情况下为forst定义）。 非专用版本是“默认”选择

Answer 3

struct if_<false, t, u>是主模板if_的部分sspecialization，只要模板的第一个参数的值为false ，编译器就会if_进行实例化，而不管其他两个“类型参数”。 您在这里处理“非类型”模板参数。 这种结构的主要目的是选择类型t或类型u ，具体取决于第一个参数的值，以便这样做

if_<true, int, double>::type

将是int类型

和

if_<false, int, double>::type

将是double类型。 不可否认的是，如果它是你与c ++元编程的“第一次接触”，但基本上你得到了编译器在编译时评估的传统if语句的等价物。