C++11中std::declval的实现机制浅析

本文主要给大家介绍了关于C++11中std::declval实现机制的相关内容，分享出来供大家参考学习，下面来一起看看详细的介绍：

在vs2013中，declval定义如下

template <_Ty>
 typenamea dd_rvalue_reference<_Ty>::type declval() _noexcept;

其中，add_rvalue_reference为一个traits，定义为

template <_Ty>
struct add_rvalue_reference
{
 typedef _Ty&& type;
}

可见，declval被定义为一个函数，并且只有申明，没有实现(在gcc 版本中似乎有实现，但是也不能在运行时调用――通过静态断言实现)。那么，问题来了，为什么这样定义呢，为什么不直接使用模板参数指定的，揣测原因如下:

通过函数返回值，实际上是等同于实例化了这个类型的一个对像，进而可以用这个对像调用成员方法，成员变量。这个方法最妙的地方在于不论类型的构造如何定义甚至有无构造都能获得这个类型的一个对像的引用实例。
其实，也有其它方法可以得到类似的效果。

class Klass
{
 public:
  int m_a;
 //parameter defined
 //member function
}

假如有上的一个类，可以通过下面的方法引用到成员变量m_a:

((Klass*)0)->m_a;

这也是在c语言中获取结构体成员的地址偏移量的常用技巧，但是有魔鬼数字和类型强转，不如declval来得优雅。

当然这一切都只能是在编译期蹦哒。declval常和c++11新引入的decltype配合。

总结