C++17 之 "void_t"

最新推荐文章于 2024-06-02 22:04:27 发布
最新推荐文章于 2024-06-02 22:04:27 发布
阅读量5.5k 收藏 18
点赞数 8
分类专栏： C/CPP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ding_yingzi/article/details/79983042
版权

C++ 17 提供了 void_t, 它是一个模板别名, 定义为

template<class...>
using void_t = void;

void_t 一般用于元编程. 从定义上看, void_t 的定义平淡无奇, 但利用 SFINAE 原则在元编程中却可以发挥巨大威力.

使用 void_t

例 1: 判断某类型是否有指定内嵌类型的模板定义

// primary template handles types that have no nested ::type member:
template< class, class = std::void_t<> >
struct has_type_member : std::false_type {
最低0.47元/天 解锁文章
地球在动
关注
  • 8
    点赞
  • 踩
  • 18
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
std::void_t
FairLikeSnow的博客
07-08 1072
模板与泛型编程之void_t
c++总结_ThereThere_c++总结_
10-02
例如，`template<typename T> void swap(T& a, T& b) { T temp = a; a = b; b = temp; }`定义了一个模板函数swap，可以交换任何类型的数据。 异常处理是C++中的错误处理机制，使用`try`、`catch`和`throw`关键字。...
C++ void_t
weixin_33980459的博客
03-19 200
考虑如下代码： #include <type_traits> #include <iostream> #include <vector> using namespace std; template <typename T, typename = void> struct RangeConcept : std::false_type...
C++17之std::void_t
最新发布
红军不怕远征难，万水千山只等闲
06-02 838
std::void_t 可以用来判断一个类型 T 是否嵌套定义了某个类型。判断的原理就是利用 T::SomeType 类型的存在性，转化成 std::void_t 定义的合法性。
c++ std::void_t使用小结
qq_38158479的博客
03-06 1858
一：std::void_t源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 二：特性(功能) 能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的类型，不能是一个非法类型 三：使用场景，配合std::false_type 与std::true_type 判断一个类当中是否存在一个类型别名，成员变量，函数等。 #inc
（C++模板编程）：std::void_t（上）
baidu_41388533的博客
11-15 2284
目录 std::void_t 源码分析和常规范例 判断类中是否存在某个类型别名 判断类中是否存在某个成员变量 判断类中是否存在某个成员函数 std::void_t 源码分析和常规范例 源码 // ALIAS TEMPLATE void_t template <class... _Types> using void_t = void; 功能：能够检测到应用SFINAE(替换失败并不是一个错误）特性时出现的非法类型。换句话说，给进来的类型 _Types 必须是一个有效的
void_t
m0_51271123的博客
12-07 620
void_t 源码分析和常规范例 功能：能够检测到应用SFINZE(替换失败并不是一个错误)特性出现的非类类型,换句话来说，给进来的类型必须是一个有效类型 判断类中是否有类型别名 namespace nmsp1{ struct NoInnerType { int m_i; }; struct HaveInnerType { using type = int; //类型别名 void myfunc(){}
FILE_CLASS.rar_c++文件操作类_file cla
09-24
在C++编程中，文件操作是一项基础且重要的任务，它涉及到读取、写入、创建、删除等操作。本文将详细解析标题中的"FILE_CLASS.rar_c++文件操作类_file cla"，并根据描述中提到的“用c写了文件操作类,比较好用,可以...
GPIO-control.rar_C++ GPIO_GPIO_GPIO ARM
09-14
在本文中，我们将深入探讨如何使用C++进行ARM处理器上的GPIO（通用输入/输出）控制。GPIO是微控制器和嵌入式系统中的一个重要组件，它允许我们与外部硬件设备进行直接交互，例如开关、LED、传感器等。在ARM架构的...
C++#libcurl库#http数据传输#代码实例.zip_C++_c++ libcurl_libcurl_libcurl h
09-20
size_t WriteCallback(void* contents, size_t size, size_t nmemb, std::string* userp) { userp->append((char*)contents, size * nmemb); return size * nmemb; } int main() { CURL* curl; CURLcode res; ...
C++fanxing.rar_fanxing_visual c
09-14
void swap(T& a, T& b) { T temp = a; a = b; b = temp; } ``` 类模板则是定义一个可以适用于多种类型的类，例如，`std::pair`类模板： ```cpp template , typename T2> struct pair { T1 first; T2 second; ...
（C++模板编程）：std::void_t（下）
baidu_41388533的博客
11-15 702
借助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
【C++ 泛型编程 进阶篇】深入解析C++中的std::conditional_t与std::void_t：模板编程的神器
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
09-15 356
在C++的世界里，模板编程（Template Metaprogramming）是一种强大的工具，它让你能够写出更加通用、高效和可维护的代码。但是，模板编程也有它的复杂性和陷阱。这就是为什么`std::conditional_t`和`std::void_t`这两个工具如此重要。它们可以简化模板编程，让你更加专注于解决实际问题，而不是纠缠于语法和类型问题。 > "The only way to do great work is to love what you do." - Steve Jobs 正如乔布斯
std::void_t 一个神奇的类型（占坑）
商少
04-11 328
这个类型太神奇了，我记得有一个youtube 的cpp 大会的视频，待整理
c++中enable_if和void_t的妙用
ninesnow_c的博客
02-15 944
std::enable_if std::enable_if在c++中是个好工具，利用SFINAE对不同类型进行不同处理。 个人总结一下，std::enable_if有四种使用方式，分为返回值，参数，类型模板参数，非类型模板参数，对于后两种需要c++11以上的版本才支持。 举个例子，比如我需要输出一个数字，模板类型T需要为一个数字类型，我们来看看四种用法。 返回值 template<class T> typename std::enable_if<std::is_integral<T&
富有表达力的C++模板元编程
sunny_98_98的博客
04-25 362
有一部分C++开发人员喜欢模板元编程。 剩下的就是其他的C++开发人员。 虽然我认为自己属于狂热者的阵营里，但我遇到的很多人对它没有浓厚的兴趣，甚至觉得它非常恶心，比TMP（模板元编程）的狂热者要多。你属于哪个阵营? 在我看来，TMP之所以让很多人反感，其中一个原因是它常常是晦涩难懂的。以至于有时它看起来像黑魔法，是留给那些能理解它的方言的开发人员的一个非常特殊的类别。当然，我们有时会偶尔遇到TMP中可以理解的部分，但平均而言，我发现它比常规代码更难理解。 我想说的是TMP不一定是这样的。 我将向你展示如何
c++ template std::void_t 是个啥
az44yao的专栏
12-13 194
先看这个问题: 下面有三种foo函数，称其为Foo0，Foo1，Foo2，请问 foo foo foo 分别匹配到了哪个函数？对于foo，因为int既没有type有没有type2，所以Foo0和Foo1都匹配失败，最终匹配到了Foo2。对于foo，因为Y没有typ，所以匹配Foo0失败，尝试匹配下一个，Y有type2，成功匹配到了Foo1。，因为X有type，第二个模板直接匹配成功，编译器会认为这是第一个模板的一个特化版本。看到了吧，虽然有的地方匹配失败了，但是编译器并不会直接报错，他会尝试去匹配其他的。
std::nullptr_t & std::void_t
Erick Lv的笔记
01-04 592
std::nullptr_t std::nullptr_t是nullptr的模板类型，用法如下： #include <iostream> #include <type_traits> void foo(int *) { std::cout << "int*\n"; } void foo(double *) { std::cout << "double*\n"; } void foo(std::nullptr_t) { std::c

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值