C++11|C++11 std::declval实现机制随想
在vs2013中，declval定义如下
template <_Ty>
typenamea dd_rvalue_reference<_Ty>::type declval() _noexcept;
【C++11|C++11 std::declval实现机制随想】其中，
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配合，可以参考这篇文章。以上。
仅做个人记录之用，谬误之处，欢迎拍砖。
推荐阅读
- std::cout 输出 unsigned char类型数据
- C++17使用std::optional表示可能存在的值
- C++11|C++11 condition_variable条件变量的用法说明
- 智能指针思想实践(std::unique_ptr|智能指针思想实践(std::unique_ptr, std::shared_ptr)
- C++|[C++] C++11中的线程库
- C++|线程库（C++11）
- C++语言|【C++碎碎念】C++11新特性（声明、智能指针、右值引用、lambda表达式）
- C++中四种类型转换符（static_castdynamic_castreinterpret_cast和const_cast要点解析）
- C++学习笔记|C++11常用特性
- C++11特性之std:call_once介绍