c++模板元编程六：integral_constant 类

1 integral_constant类

这个类是所有traits类的基类，分别提供了以下功能：

• value_type 表示值的类型
• value表示值
• type 表示自己, 因此可以用::type::value来获取值
• true_type和false_type两个特化类用来表示bool值类型的traits，很多traits类都需要继承它们

下面的代码分别来自C++11和Boost，略有差别：

• C++11包含value_type()函数，返回真正的value
• C++11用constexpr关键字表示在编译期执行

// from c++11 standard
namespace std {
  template 
  struct integral_constant {
    static constexpr T value = v;
    typedef T value_type;
    typedef integral_constant type;
    constexpr operator value_type() { return value; }
  };
  typedef integral_constant true_type;
  typedef integral_constant false_type;
}

// from boost
template 
struct integral_constant
{
   typedef integral_constant  type;
   typedef T                          value_type;
   static const T value = val;
};

typedef integral_constant  true_type;
typedef integral_constant false_type;

下面是调用代码，看看基本使用方法：

#include 
#include 

using std::cout;
using std::endl;

int main() {
  typedef std::integral_constant one_t;

  cout << "one_t::value: " << one_t::value << endl;
  cout << "one_t::type::value: " << one_t::type::value << endl;
}

输出结果是：

one_t::value: 1
one_t::type::value: 1

注意value_type()是一个类型转换函数，有了它，可以将模板类转换成T(这里T是int), 调用代码如下：

int i = one_o; // same as int i = 1;
// or int i = static_cast(one_o);
// or one_o.operator one_t::value_type();