declval

declval实现：

#include<type_traits>using namespace std;template<typename T>typename add_rvalue_reference<T>::type declval();

declval 通常被用在一些表达式中配合c++11的新关键字decltype推导关系。

在实现代码中我注意以下几个问题：

declval()是一个没有实现的模板函数。

typename在源代码中做了什么？

为什么要返回一个右值引用？

declval()是一个没有实现的模板函数。

在vs2015中是允许一个模板函数或者一个函数没有函数体。

typename在源代码中做了什么？

typename在这里的意思就是，告诉编译器::type是一个类型，而不是一个静态成员变量。

为什么要返回一个右值引用？

这个我真不知道啊！！

通过我的实验发现无论是返回一个标准类型还是右值引用都是能达到相同的效果：

代码如下：

template<typename T>typename T&& my();template<typename T>typename T my1();decltype(true ? my<test>(): my<base>()) a;decltype(true ? my1<test>(): my1<base>()) b;

a,b都是 base类型。

在引用折叠的情况下：

decltype(true ? my<test&>() : my<base&>()) a1;decltype(true ? my1<test&>() : my1<base&>()) b1;

a1，b1 均为base&类型

当模板参数为右值引用的情况下：

<pre name="code" class="cpp"><pre name="code" class="cpp">decltype(true ? my<test&&>() : my<base&&>()) a2;decltype(true ? my1<test&&>() : my1<base&&>()) b2;

a2，b2均为base类型

同时

my<test>().test1(); 

也可以不通过创建test对象而直接调用函数。

增加右值引用类型，一定会有它的原因，我只是没学到。等我真正明白了再回来修改梳理。

本文使用的两个类型：

struct base { int test1() { return 1; } };struct test : base {private:test() {};  //私有构造函数public:int test1(){ return 1; }};