C++11 std::declval实现机制随想

Posted 2023-02-16

参考技术A

在vs2013中， declval 定义如下

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

可见， declval 被定义为一个函数，并且只有申明，没有实现(在gcc 版本中似乎有实现，但是也不能在运行时调用——通过静态断言实现)。那么，问题来了，为什么这样定义呢，为什么不直接使用模板参数指定的，揣测原因如下:
通过函数返回值，实际上是等同于实例化了这个类型的一个对像，进而可以用这个对像调用成员方法，成员变量。这个方法最妙的地方在于不论类型的构造如何定义甚至有无构造都能获得这个类型的一个对像的引用实例。
其实，也有其它方法可以得到类似的效果。

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

这也是在c语言中获取结构体成员的地址偏移量的常用技巧，但是有魔鬼数字和类型强转，不如 declval 来得优雅。
当然这一切都只能是在编译期蹦哒。 declval 常和c++11新引入的decltype配合，可以参考 这篇 文章。
以上。

仅做个人记录之用，谬误之处，欢迎拍砖。