std::void_t

原创 已于 2023-10-03 21:32:01 修改 · 1.2k 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++ #算法 #数据结构

于 2022-07-08 00:15:26 首次发布
std::void_t是C++17引入的别名模板，用于类型检测，尤其在SFINAE原则下能有效识别非法类型。本文通过示例解释了如何利用std::void_t检测类中是否存在特定类型别名，以及如何通过宏定义提高代码复用性。

std::void_t是C++17中引入的，它其实是一个别名模板，源码非常简单，大概如下：

template<tpename...Args>
using void_t = void;

从源码来看，无论传入什么类型，也无论传入多少个类型，都会变成void类型。但是它有一个神奇的功能，它能够检测到应用SFINAE特性时非法的类型，也就是说，传入的类型必须是有效的类型，不能是非法的类型。

接下来看个例子：判断类中是否存在某个类型别名

struct hasType {
了解本专栏 订阅专栏 解锁全文 超级会员免费看
std::void_t使用2
FairLikeSnow的博客
07-08 225
void_t使用2
C++ 的内存顺序模型std::memory_order_relaxed
10-29 1103
适用于对数据一致性要求较低、但需要原子性的场景，如计数器、标志检测以及无锁数据结构。使用这种内存顺序模型，可以在保证原子性的同时，避免不必要的同步开销，提升系统性能。不过需要注意的是，的设计目的是在保证性能的同时也保留了多线程间的顺序风险，因此在使用中要谨慎考虑实际需求。
C++17之std::void_t
红军不怕远征难，万水千山只等闲
06-02 1783
std::void_t 可以用来判断一个类型 T 是否嵌套定义了某个类型。判断的原理就是利用 T::SomeType 类型的存在性，转化成 std::void_t 定义的合法性。
【C++ 泛型编程 进阶篇】深入解析C++中的std::conditional_t与std::void_t：模板编程的神器
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
09-15 885
在C++的世界里，模板编程（Template Metaprogramming）是一种强大的工具，它让你能够写出更加通用、高效和可维护的代码。但是，模板编程也有它的复杂性和陷阱。这就是为什么`std::conditional_t`和`std::void_t`这两个工具如此重要。它们可以简化模板编程，让你更加专注于解决实际问题，而不是纠缠于语法和类型问题。 > "The only way to do great work is to love what you do." - Steve Jobs 正如乔布斯
（C++模板编程）：std::void_t（下）
baidu_41388533的博客
11-15 802
借助void_t和declval实现is_copy_assignable 【引例】 class ACPABL { }; class BCPABL { public: BCPABL& operator=(const BCPABL& tmpobj) //拷贝赋值运算符 { //... return *this; } }; class CCPABL { public: CCPABL& operator=(const CCPABL& tmpobj) = de
std::void_t 一个神奇的类型（占坑）
商少
04-11 439
这个类型太神奇了，我记得有一个youtube 的cpp 大会的视频，待整理
std::future, std::promise, std::packaged_task, std::async
weixin_38184628的博客
03-16 2269
std::promise 进程间通信，std::packaged_task 任务封装，std::async 任务异步执行；std::future 获取结果。
Modern Effective C++条款二十一：优先考虑使用std::make_unique和std::make_shared，而非直接使用new
_
11-28 1089
如果computePriority()抛出异常，由于std::make_shared已经成功创建了std::shared_ptr，并且这个智能指针已经开始管理Widget对象，所以在异常处理过程中，std::shared_ptr的析构函数会被调用，从而释放Widget对象占用的内存。对于大型对象，如果使用std::make_shared，则对象的内存会在最后一个std::shared_ptr和最后一个std::weak_ptr都被销毁后才释放。如果需要指定自定义删除器，则必须直接使用new。
C++ 并发编程指南（7）使用std::lock_guard与std::unique_lock管理锁
个人技术博客
03-04 2955
在C++的多线程编程中，互斥锁的管理是确保数据一致性和线程同步的关键。std::unique_lock和std::lock_guard是两种用于管理互斥锁的智能锁对象，它们提供了便捷且安全的方式来处理并发访问共享资源的问题。下面我们来详细探讨这两种机制。
（C++模板编程）：std::void_t（上）
baidu_41388533的博客
11-15 2605
目录 std::void_t 源码分析和常规范例 判断类中是否存在某个类型别名 判断类中是否存在某个成员变量 判断类中是否存在某个成员函数 std::void_t 源码分析和常规范例 源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 功能：能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的
c++ std::void_t使用小结
qq_38158479的博客
03-06 2231
一：std::void_t源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 二：特性(功能) 能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的类型，不能是一个非法类型 三：使用场景，配合std::false_type 与std::true_type 判断一个类当中是否存在一个类型别名，成员变量，函数等。 #inc
跟我学C++中级篇——C++17中的std::void_t
最新发布
fpcc的专栏
12-27 1047
std::void_t更好的是在模板和元编程中应用，这也是C++的一个发展的重点。毕竟泛型编程是每个语言都不能舍弃的情怀。所以对大多数程序员来说，std::void_t这个元函数属于一种应用非常少的情况。可以先了解一下，然后再真正遇到后再认真学习。在这篇普及的文章基础上，后面将对enable_if与std::void_t以及C++20中的std::integral‌进行一次系统的分析说明。这样，会让大家能从整体到细节上对模板和元编程中的相关用法有一个清晰的认识。
void_t
m0_51271123的博客
12-07 723
void_t 源码分析和常规范例 功能：能够检测到应用SFINZE(替换失败并不是一个错误)特性出现的非类类型,换句话来说，给进来的类型必须是一个有效类型 判断类中是否有类型别名 namespace nmsp1{ struct NoInnerType { int m_i; }; struct HaveInnerType { using type = int; //类型别名 void myfunc(){}
C++ void_t
weixin_33980459的博客
03-19 276
考虑如下代码： #include <type_traits> #include <iostream> #include <vector> using namespace std; template <typename T, typename = void> struct RangeConcept : std::false_type...
C++标准模板（STL）- 类型支持 （杂项变换，void 变参别名模板，std::void_t）
qq_40788199的博客
12-11 557
将任意类型的序列映射到类型 void 的工具元函数。
【C++ 17 新特性 】深入解析std::void_t：增强C++泛型编程的强大工具
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
08-28 1613
在现代C++编程中，泛型编程（Generic Programming）已经成为一种非常重要的编程范式。通过模板（Templates），C++允许开发者编写能够处理不同数据类型的通用代码，而无需重复代码逻辑。随着C++标准的演进，泛型编程的能力和表达力得到了极大的增强，其中一个关键的工具就是`std::void_t`。它在C++14引入，并在C++17中正式标准化。`std::void_t`为模板元编程提供了一种简单而强大的机制，尤其是在SFINAE（Substitution Failure Is Not A
c++ template std::void_t 是个啥
az44yao的专栏
12-13 355
先看这个问题: 下面有三种foo函数，称其为Foo0，Foo1，Foo2，请问 foo foo foo 分别匹配到了哪个函数？对于foo，因为int既没有type有没有type2，所以Foo0和Foo1都匹配失败，最终匹配到了Foo2。对于foo，因为Y没有typ，所以匹配Foo0失败，尝试匹配下一个，Y有type2，成功匹配到了Foo1。，因为X有type，第二个模板直接匹配成功，编译器会认为这是第一个模板的一个特化版本。看到了吧，虽然有的地方匹配失败了，但是编译器并不会直接报错，他会尝试去匹配其他的。
C++17之void_t元函数
林夕07
09-29 850
本文讨论了如何使用 C++17 引入的 void_t 模板进行类型特征检测，特别是用于检测类中是否存在特定成员类型或成员函数。通过 void_t 结合 SFINAE 原理，我们能够在编译期判断类型是否拥有某些特性，而不会导致编译错误。文章通过 HasTypeMember 和 HasInit 模板分别展示了如何检测类型成员 type 和成员函数 OnInit 的存在，并提供了详细的代码示例和解释，帮助读者理解和应用这些编译期检测技术。在泛型编程中，这种方法能够确保代码在编译期满足特定条件，从而避免运行时错误。
【模板进阶】std::void_t
Antonio915的博客
10-07 1232
C++17C++17C++17引入了std::void_tstd::void\_tstd::void_t，它其实是一个别名模板，源码非常简单，大概如下所示： 它实际上是一个别名模板，但有个特点，就是无论传入什么都会变成voidvoidvoid类型。 通过它的这个特性，我们能够检测到应用SFINAESFINAESFINAE特性时出现的非法类型，也就是说，传入的类型必须是有效的类型，而不是非法类型。考虑以下的代码： 这里我们的HasInnerTypeHasInnerTypeHasInnerType内部有一个类型
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

发如雪-ty

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值