type_traits-_Add_reference解析（void_t类型的使用，declval解析）

已于 2022-02-13 20:20:54 修改
阅读量666 收藏
点赞数
文章标签： c++ c# 数据结构
于 2022-02-13 01:19:27 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_40132943/article/details/122904791
版权
本文详细解析了C++中的void_t模板元编程技巧，以及declval函数的用途。通过示例展示了void_t如何用于检查类型是否可引用，并探讨了引用折叠的概念。同时，介绍了Add_reference模板结构体如何根据输入类型返回对应的左值引用和右值引用类型。测试代码展示了不同类型的处理情况。
摘要由CSDN通过智能技术生成

文章目录

前言

根据源码看要是传入左值引用的话即便调用返回右值返回的依旧是左值。（这部分真的理解不了，我找了好久也不知道为啥如此设计。我看源码一直以为自己理解错误了，我一直以为他是可以将引用擦除掉的。我还特意以为void_t可以类型擦除（我以为void_t<T&>里可以匹配到左值然后把他擦除掉。），说来可笑，这几天一直找原因。还以为我之前学习的模板类型推导理解出现了问题导。特意把之前的又都梳理了一下。后来本地demo测了一下。无语了。他就是不能将左值的引用变成右值返回。）

void_t<_Ty&>理解狭隘了，他的目的就是看你传入的类型能否是一个引用类型。因为有些情况就是不能被引用，比如数组类型不能被引用。

一、源码

老规矩。先贴源码

template <class _Ty, class = void>
struct _Add_reference { // add reference (non-referenceable type)
    using _Lvalue = _Ty;
    using _Rvalue = _Ty;
};

template <class _Ty>
struct _Add_reference<_Ty, void_t<_Ty&>> { // (referenceable type)
    using _Lvalue = _Ty&;
    using _Rvalue = _Ty&&;
};

template <class _Ty>
struct add_lvalue_reference {
    using type = typename _Add_reference<_Ty>::_Lvalue;
};

template <class _Ty>
using add_lvalue_reference_t = typename _Add_reference<_Ty>::_Lvalue;

template <class _Ty>
struct add_rvalue_reference {
    using type = typename _Add_reference<_Ty>::_Rvalue;
};

template <class _Ty>
using add_rvalue_reference_t = typename _Add_reference<_Ty>::_Rvalue;

template <class _Ty>
add_rvalue_reference_t<_Ty> declval() noexcept;

二、解析

1.源码解析

//定义一个基类，注意因为使用的时void_t进行模板参数校验的，因此
//class = void这个必须要写，而且默认的必须是这个类型。
//具体使用见我其他文章，他和enable_if类似，都是利用编译器
//只要能找到一个模板实现成功就不会管其他模板的报错。
//但是void_t设计的原因,以及和ebable_if区别是啥，这个只能在后续的使用中慢慢领悟了。
//定义了两个类型。一个是左值引用，一个是右值引用。就是不做改变，保持原类型。
template <class _Ty, class = void>
struct _Add_reference { // add reference (non-referenceable type)
    using _Lvalue = _Ty;
    using _Rvalue = _Ty;
};
//利用特化,当输入一个参数且这个参数可以被生成时，会被调用，这也是void_t设计的目的。
//这里的void_t<_Ty&>我以为有特别的含义，但是测试发现你
//void_t<_Ty&> void_t<_Ty> void_t<_Ty&&>没有区别
//目的：当非引用和右值引用时获取左值返回左值引用，获取右值返回右值引用，当参数为左值引用时，无论获取左值还是右值都为左值引用。
//利用引用折叠
//例如
//传入参数为T
//传入int; 	_Lvalue=int&; 	 _Rvalue=int &&;
//传入int&;	_Lvalue=int& &;	 _Rvalue=int& &&;
//传入int&&;	_Lvalue=int& &&; _Rvalue=int&& &&;
//&& &&只有当都是右值引用类型时才会被折叠成右值引用
template <class _Ty>
struct _Add_reference<_Ty, void_t<_Ty&>> { // (referenceable type)
    using _Lvalue = _Ty&;
    using _Rvalue = _Ty&&;
};
//定义一个新的类型。注意未知类型编译器无法感知需要用typename显示告诉。
template <class _Ty>
struct add_lvalue_reference {
    using type = typename _Add_reference<_Ty>::_Lvalue;
};
//定义一个新的类型。
template <class _Ty>
using add_lvalue_reference_t = typename _Add_reference<_Ty>::_Lvalue;
//定义一个新的类型。注意未知类型编译器无法感知需要用typename显示告诉。
template <class _Ty>
struct add_rvalue_reference {
    using type = typename _Add_reference<_Ty>::_Rvalue;
};
//定义一个新的类型。
template <class _Ty>
using add_rvalue_reference_t = typename _Add_reference<_Ty>::_Rvalue;
//定义一个新的函数。没有实现，但是返回值是个右值引用。
template <class _Ty>
add_rvalue_reference_t<_Ty> declval() noexcept;

2.测试demo

#include <iostream>
#include <type_traits>
using namespace std;
namespace xxx
{
    template<class T>
    struct MyStruct
    {
        MyStruct()
        {
            cout << "我是未知类型" << endl;
        }
        using type = T;
    };
    template<class T>
    struct MyStruct<T&>
    {
        MyStruct()
        {
            cout << "我是左值引用类型" << endl;
        }
        using type = T;
    };
    template<class T>
    struct MyStruct<T&&>
    {
        MyStruct()
        {
            cout << "我是右值引用类型" << endl;
        }
        using type = T;
    };
    template<class T>
    struct MyStruct<const T>
    {
        MyStruct()
        {
            cout << "我是常量类型" << endl;
        }
        using type = T;
    };
    template<class T>
    struct MyStruct<const T&>
    {
        MyStruct()
        {
            cout << "我是常量左值引用类型" << endl;
        }
        using type = T;
    };
    template<class T>
    struct MyStruct<const T&&>
    {
        MyStruct()
        {
            cout << "我是常量右值引用类型" << endl;
        }
        using type = T;
    };
    template <class _Ty, class = void>
    struct _Add_reference1 { // add reference (non-referenceable type)
        using _Lvalue = _Ty;
        using _Rvalue = _Ty;
    };

    template <class _Ty>
    struct _Add_reference1<_Ty, void_t<_Ty>> { // (referenceable type)
        _Add_reference1()
        {
            MyStruct<_Ty> a;
        }
        using _Lvalue = _Ty&;
        using _Rvalue = _Ty&&;
    };

    template <class _Ty, class = void>
    struct _Add_reference2 { // add reference (non-referenceable type)
        using _Lvalue = _Ty;
        using _Rvalue = _Ty;
    };

    template <class _Ty>
    struct _Add_reference2<_Ty, void_t<_Ty&>> { // (referenceable type)
        _Add_reference2()
        {
            MyStruct<_Ty> a;
        }
        using _Lvalue = _Ty&;
        using _Rvalue = _Ty&&;
    };

    template <class _Ty, class = void>
    struct _Add_reference3 { // add reference (non-referenceable type)
        using _Lvalue = _Ty;
        using _Rvalue = _Ty;
    };

    template <class _Ty>
    struct _Add_reference3<_Ty, void_t<_Ty&&>> { // (referenceable type)
        _Add_reference3()
        {
            MyStruct<_Ty> a;
        }
        using _Lvalue = _Ty&;
        using _Rvalue = _Ty&&;
    };
}
//情况1:void_t<_Ty>
void fun1()
{
    //传入类型
    xxx::_Add_reference1<int> n1;
    //非引用类型获取左值
    xxx::MyStruct<xxx::_Add_reference1<int>::_Lvalue>   a;
    //非引用类型获取右值
    xxx::MyStruct<xxx::_Add_reference1<int>::_Rvalue>   b;
    //传入类型
    xxx::_Add_reference1<int&> n2;
    //左值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference1<int&>::_Lvalue>  c;
    //左值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference1<int&>::_Rvalue>  d;
    //传入类型
    xxx::_Add_reference1<int&&> n3;
    //右值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference1<int&&>::_Lvalue> e;
    //右值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference1<int&&>::_Rvalue> f;
}

//情况2:void_t<_Ty&>
void fun2()
{
    //传入类型
    xxx::_Add_reference1<int> n1;
    //非引用类型获取左值
    xxx::MyStruct<xxx::_Add_reference2<int>::_Lvalue>   a;
    //非引用类型获取右值
    xxx::MyStruct<xxx::_Add_reference2<int>::_Rvalue>   b;
    //传入类型
    xxx::_Add_reference1<int&> n2;
    //左值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference2<int&>::_Lvalue>  c;
    //左值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference2<int&>::_Rvalue>  d;
    //传入类型
    xxx::_Add_reference1<int&&> n3;
    //右值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference2<int&&>::_Lvalue> e;
    //右值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference2<int&&>::_Rvalue> f;
}

//情况3:void_t<_Ty&&>
void fun3()
{
    //传入类型
    xxx::_Add_reference1<int> n1;
    //非引用类型获取左值
    xxx::MyStruct<xxx::_Add_reference3<int>::_Lvalue>   a;
    //非引用类型获取右值
    xxx::MyStruct<xxx::_Add_reference3<int>::_Rvalue>   b;
    //传入类型
    xxx::_Add_reference1<int&> n2;
    //左值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference3<int&>::_Lvalue>  c;
    //左值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference3<int&>::_Rvalue>  d;
    //传入类型
    xxx::_Add_reference1<int&&> n3;
    //右值引用类型获值左值
    xxx::MyStruct<xxx::_Add_reference3<int&&>::_Lvalue> e;
    //右值引用类型获值右值
    xxx::MyStruct<xxx::_Add_reference3<int&&>::_Rvalue> f;
}

int main()
{
    //测试void_t<_Ty&>里为什么时Ty&而不是Ty也不是Ty&&
    //情况1:void_t<_Ty>
    fun1();
    cout << "----1----" << endl;
    //情况2:void_t<_Ty&>
    fun2();
    cout << "----2----" << endl;
    //情况2:void_t<_Ty&&>
    fun3();
    cout << "----3----" << endl;
    return 0;
}

在这里插入图片描述

3.declval解析

  1. 定义：declval，没有实现，可以让你不用关心类的定义直接生成一个类的对象。但是只能在模板里使用。
  2. 测试demo

decltype类型推导，可以根据输入的变量或函数，表达式推断出其最后返回的类型。

void_t可以校验参数是否可以生成类似于enable_if

declval，没有实现，可以让你不用关心类的定义直接生成一个类的对象。但是只能在模板里使用。

下面是测试demo

#include <iostream>
#include <type_traits>
using namespace std;
//注释掉默认的构造函数，表示不传参数不能生成对象。
class A
{
public:
    //A() {}
    A(int a) :m_a(a) {}
    void print() { cout << "---" << endl; }
private:
    int m_a;
};
//自定义一个declval看是不是还是可以使用，如果可以证明函数本身就没有实现。
namespace xxx
{
    template <class _Ty>
    add_rvalue_reference_t<_Ty> declval() noexcept;
}

namespace xxxx
{

    template <class _Ty, class = void>
    struct MyStruct1 : false_type{};
	//利用declval去生成对象
    template <class _Ty>
    struct MyStruct1<_Ty, void_t<decltype(xxx::declval<_Ty>().print())>> : true_type {};
    template <class _Ty, class = void>
    struct MyStruct2 : false_type {};
    template <class _Ty>
    //利用默认的构造函数去生成构造函数。
    //显然这个会失败
    struct MyStruct2 < _Ty, void_t < decltype(_Ty().print()) >> : true_type{};
}

int main()
{
    auto a = xxxx::MyStruct1<A>::value;
    auto b = xxxx::MyStruct2<A>::value;
    //declval<A>().print();
    return 0;
}

在这里插入图片描述

//当把默认的构造函数添加以后。显然都能成功了
class A
{
public:
    A() {}
    A(int a) :m_a(a) {}
    void print() { cout << "---" << endl; }
private:
    int m_a;
};
//下述代码省略

在这里插入图片描述

//上述代码省略
int main()
{
    auto a = xxxx::MyStruct1<A>::value;
    auto b = xxxx::MyStruct2<A>::value;
    //非模板使用编译失败,因为函数没有实现。
    declval<A>().print();
    return 0;
}

在这里插入图片描述

4.void_t<_Ty&>测试

#include <iostream>
using namespace std;

template <class T, class = void>
struct MyStruct
{

};

template <class T>
struct MyStruct<T, void_t<T&>>
{

};

int main()
{
    MyStruct<int[10]>;
    return 0;
}

在这里插入图片描述

整理行囊
关注
专栏目录
type_traits
程序员黄老师的精品课！
05-19 722
动机 使用traits的动机一般有三种，分派、效率、使某些代码通过编译。   分派 下面有一个模板函数，假设一个动物收容组织提供了它，他们接受所有无家可归的可怜的小动物，于是他们向外界提供了一个函数接受注册。函数看起来像这样：   template // T表示接受的是何种动物 void AcceptAnimals(T animal) { ...  //do somethin
void的用法
Z_J_T的博客
11-16 669
含义 抽象类，无对应实体，不允许有对应变量，所有类型都继承自void void“无类型” void * 为“无类型指针”，可以指向任何类型的数据。用法： int a; void *p; int *s=&a; 一、无类型指针可以存放所有地址（包括自身地址），但是不具备读取能力，也不具备+1的能力。p=&s;//正确 *p=>s;//错误，没有读取能力 p=&p;//正确，可以
【Selenium】WebDriver基础环境配置->Add Reference
weixin_30292843的博客
05-27 118
要使用Selenium WebDriver进行自动化测试，首先要附加其对应的类（DLL）文件下面以Visual Studio为例演示Add Reference附加方式 ①在Visual Sudio 中新建一项目SeleniumProject，项目新建完成后，在右侧项目资源管理器中，点击 [References->Add Reference.. ] ②在添加方式中选择 [Bro...
VS 2010中优化了“Add Reference”（添加引用）的展现速度
weixin_34061482的博客
10-29 221
　　 　　以前在VS 2008中，每次添加应用，在点击了“Add Reference”后，总是要经历一段漫长的等待，才能开始选择，这主要是由于一旦打开这个对话框，线程会自动搜索全部标签的全部可引用项，并进行数据装载，于是，如果你的注册组件越多，速度也是会越慢的。 　　但在VS 2010中，采取的异步获取数据的方式，这样就避免了对话框长时间无响应，并把项目作为默认选项卡，更加强调了实用性。 　...
Add reference 时，添加的引用不能使用
da6679980的专栏
11-06 625
Interop type ‘XXXX’ cannot be embedded. Use the applicable interface instead. 添加.dll文件时，程序出现错误：Interop type 'XXX' cannot be embedded. Use the applicable interface instead. 解决办法是找到相对应的接口，在它的属性中将Embed
C++11（3泛型编程）——type_traits，变参函数模板
我是要成为海贼王的男人！
02-04 821
type_traits，变参函数模板
unique_ptr功能、源码解析、使用范例
游戏猫的博客
07-18 762
一、概述 unique_ptr用于管理对象，实现对象的自动释放，它不能被拷贝或赋值，保证了指针只被它管理，提供了接口转移拥有权。 二、使用示例 #pragma once #include <memory> #include <string> #include <iostream> using namespace std; class PtrClass { private: string s; public: PtrClass(string s) { this-&
GCC STL源码解析 —— shared_ptr & weak_ptr
文天_Teddy的专栏
02-21 389
GCC STL 源码解析 —— shared_ptr & weak_ptr
STL学习--deque
保持住思维的鲜活，才能充满活力。
10-20 968
简介 deque是一种双向开口的连续空间，可以在头尾两端进行添加和删除操作。不同与vector的是deque是一段段的连续空间，这些连续空间由中控器map（不是stlmap）管理， 以提供一种类似的连续性。缓冲区大小为512。 中控管理图： 特性 deque两端都可以快速的插入和删除元素 deque可以进行随机存取，但存取速度比vector慢 面试题 1.
vs2019在Add Reference时提示“找不到 Microsoft.VisualStudio.Shell.Interop.IVsReferenceManager 服务的实例”
q123abs的博客
11-23 528
1.管理员方式运行打开Developer Command Prompt for VS 2019 2.在上面Developer Command Prompt for VS 2019窗口中用cd命令定位到···Common7\IDE\PublicAssemblies，回车 3.再在Developer Command Prompt for VS 2019窗口中输入 gacutil -i Microsoft.VisualStudio.Shell.Interop.11.0.dll，回车，显示程序集已成功添加到缓存中。
c++ std::void_t使用小结
qq_38158479的博客
03-06 1968
一：std::void_t源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 二：特性(功能) 能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的类型，不能是一个非法类型 三：使用场景，配合std::false_type 与std::true_type 判断一个类当中是否存在一个类型别名，成员变量，函数等。 #inc
nmake编译Qt第三方库出现无法打开包含文件type_traits
qq_39540537的博客
08-01 1091
（code completion）和函数提示（call tips），毕竟Notepad++是基于Scintilla的开源编辑器，并且提供QT的支持，功能肯定是比一些独立开发者开发的代码编辑器要强大的。最近需要为个人项目ShaderLab添加内嵌的代码编辑窗口功能，支持语法高亮和Intellisense，最初使用了QCodeEditor,发现这个第三方的库对词法分析的实现效果不太行.nmake编译时会搜寻用户变量下的INCLUDE文件夹作为包含头文件，LIB目录下的文件夹作为链接目录。
qt:error: C1083: Cannot open include file: ‘type_traits‘: No such file or directory
qq_43570115的博客
12-31 2720
qt:error: C1083: Cannot open include file: 'type_traits': No such file or directory
第29篇 基础 （二十九） qt5.12报错 error: ‘type_traits‘ file not found
Fanjufei的博客
05-06 5334
目录 1、遇到问题 2、解决方法 1、遇到问题 上午运行qt工程还可以运行，下午在试的时候，发现报错如下： error: 'type_traits' file not found 说明编辑器找不到这个文件； 网上找到好多教程，发现是编辑器的问题。 那我们修改修改编辑器如下。 2、解决方法 修改编译器： ......
解决qt中MSVC2015编译报错：qglobal.h:45:12: error: ‘type_traits‘ file not found
最新发布
baidu_38165415的博客
02-20 983
这几天在运行qt程序时反复出现找不到type_traits的错误，这里的前提情况是：我在清理系统的时候估计是删掉了之前的VS，导致现在运行之前的程序找不到对应的MSVC编译器，本来想着换成MinGW的，但程序中的opencv库是用VS编译，所以还是要用MSVC编译器，这里重新下载了VS2022版本，然后根据网上的教程，需要重新在qt中配置一下新安装的MSVC编译器。初始化部分选择vcvarsall.bat所在的目录，初始化后面的框参照配置好的编译器来选，32位的选择x86，64位的系统选择amd64。
c++ : std::bind()：VC\include\type_traits(1468): error C2893: 未能使函数模板“unknown-type 专用化
C++ JAVA的专栏
02-21 678
c++ : std::bind()：VC\include\type_traits(1468): error C2893: 未能使函数模板“unknown-type 专用化
解决 qt中 msvc2017编译报错 qglobal.h:45:12: error: ‘type_traits‘ file not found
Wjsjdjnn的博客
07-06 915
解决办法：将x64 10.0.20348.0 -vcvars_ver=14.16 （其中的版本号10.0.20348.0 、 14.16可能不一样，需要更改，看文章最后面详解）复制到下图黄色圆圈中 C 和 C++ 都要复制 然后点 Apply 再点ok 图中所在位置qt界面 工具-> 选项-> kits -> 编译器。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值