C++ SFINAE

最新推荐文章于 2023-04-24 11:12:08 发布
最新推荐文章于 2023-04-24 11:12:08 发布
阅读量343 收藏 1
点赞数
分类专栏： # C++98/03 文章标签： SFINAE
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/luoshabugui/article/details/109121200
版权

SFINAE : Substitution Failure Is Not An Error (替换失败不是错误)。
知乎 - C++模板进阶指南：SFINAE  推荐阅读。

SFINAE最主要的作用，是保证编译器在泛型函数、偏特化、及一般重载函数中遴选函数原型的候选列表时不被打断。除此之外，它还有一个很重要的元编程作用就是实现部分的编译期自省和反射。

cppreference - SFINAE

在函数模板的重载决议中应用此规则：当将模板形参替换为显式指定的类型或推导的类型失败时，从重载集中丢弃这个特化，而非导致编译失败。此特性被用于模板元编程。

 

丸子叮咚响
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C++ 蚱蜢
HybridCOW_HORSE的博客
03-19 2038
【问题描述】 有一天，一只蚱蜢像往常一样在草地上愉快地跳跃，它发现了一条写满了英文字母的纸带。 蚱蜢只能在元音字母 (A、E、I、O、U、Y) 间跳跃，一次跳跃所需的能力是两个位置的差。纸带所需的能力值为蚱蜢从纸带开头的前一个位置根据规则跳到纸带结尾的后一个位置的过程中能力的最大值。 蚱蜢想知道跳跃纸带所需的能力值(最小)是多少。如图所示的纸带所需的能力值(最小)是 4。 【输入格式】 一行一个字符串，字符串长不超过 100。 【输出格式】 一行一个整数，代表(最小)能力值。 【输入样例】 KMLPTGF
C++TinySTL
Big_Study_Father的博客
09-18 386
C++ typename STL中到处都是 typename …； typedef typenmae … 的用法，但是一开始真的不知道是在搞些什么玩意。 //略去了参数与函数体，返回值为什么要搞个typename? typename iterator_traits<RandomIter>::difference_type distance_dispatch(...){....} ...
现代C++编程实战14-SFINAE：不是错误的替换失败是怎么回事
fegus的博客
04-24 237
你好，我是吴咏炜。我们已经连续讲了两讲模板和编译期编程了。今天我们还是继续这个话题，讲的内容是模板里的一个特殊概念——替换失败非错（substitution failure is not an error），英文简称为 SFINAE。
对SFINAE（替换失败并非错误）的理解
weixin_30273175的博客
12-16 155
今晚从《C++必知必会》上看到SFINAE这个C++的特性，也就是substitution failure is not an error，可惜怎么看都不能够理解。后来google了一下，参考了两篇文章，算是有点明白其中的微妙了吧。 我们都知道对于非模板函数的重载来说，无论是否被调用，或是无论调用点需要的是什么类型的重载，编译器会将所有参与了重载的函数一个不落的全部编译。而且这些函数的所...
【C++模板】类模板的全部特例化和局部特例化(偏特化-partial specialization)
林夕07
11-22 1893
类模板是具有如下性质的类:在类的实现中，可以有一个或多个类型还没有被指定。为了使用类模板，你可以传入某个具体类型作为模板实参;然后编译器将会基于该类型来实例化类模板。对于类模板而言，只有那些被调用的成员函数才会被实例化。·你可以用某种特定类型特例化类模板。你可以用某种特定类型局部特例化类模板。你可以为类模板的参数定义缺省值，这些值还可以引用之前的模板参数。
C++11新特性--std::enable_if和SFINAE
$firecat利白的代码足迹$
01-10 5022
https://www.jianshu.com/p/a961c35910d2 名词解释SFINAE     SFINAE是英文Substitution failure is not an error的缩写，意思是匹配失败不是错误。这句话什么意思呢？ SFINAE的意思是这样的，假如有一个特化会导致编译时错误(即出现编译失败)，只要还有别的选择可以被选择，那么就无视这个特化错误而去选择另外的可...
C++模板的特化和偏特化
qq_58665528的博客
01-18 361
特化 #include <iostream> #include <deque> #include <string> #include <stdexcept> //一般化模板 template<typename T> class MyStack {}; //特化模板 当T为std::string时进行特殊处理 template<> class MyStack<std::string>{ private: std::.
C++API手册
11-19
此外，手册还可能包含对C++语言特性的深入解释，如重载运算符、继承、多态、模板元编程、SFINAE原则、类型安全等。对于想要精通C++的程序员来说，理解和掌握这些知识点至关重要。 总之，C++ API手册是C++开发者不可...
C++模板资源
12-30
12. **SFINAE原则**： - "Substitution Failure Is Not An Error"（替换失败不是错误），是C++模板编译过程中的一个原则，允许在模板实例化过程中因类型不匹配而导致的失败不会产生编译错误。 13. **模板模板参数*...
effective modern c++
11-02
19. **SFINAE（Substitution Failure Is Not An Error）**：理解SFINAE规则，以及在模板元编程中的应用。 20. **`std::enable_if`和类型条件**：学习如何使用`std::enable_if`来根据类型特性选择不同的函数实现。 ...
C++核心指南教程解析
最新发布
09-30
6. C++语言的高级话题：本书还将介绍C++语言的高级话题，包括模板元编程、SFINAE、CRTP等，帮助读者更好地理解C++语言的深层次特性。 7. 错误处理和调试：本书将介绍C++语言的错误处理和调试技术，包括如何使用异常...
C++模板元编程_C++_
10-01
10. **SFINAE原则**：Substitution Failure Is Not An Error，这是模板元编程中的一个重要原则，意味着如果在模板实例化过程中替换导致语法错误，那么该模板将被排除，而不是产生编译错误。 11. **C++标准库的元...
c++模板类vector成员函数
weixin_46557247的博客
01-31 2874
构造函数 生成迭代器 向末尾添加或删除元素 插入元素 删除元素 清空容器 目录 构造函数 生成迭代器 向末尾添加或删除元素 插入元素 删除元素 清空容器 测试容器是否为空 一．构造函数 vector类提供了多个构造函数，可以根据需要灵活地使用这些函数创建vector对象。 1. explicit vector (const allocator_type& alloc = allocator_type()); 默认构造函数。创建一个空的vector对象。 alloc
函数模板 vector_C++ 模板
weixin_39895684的博客
11-28 326
C++模板模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。模板是创建泛型类或函数的蓝图或公式。库容器，比如迭代器和算法，都是泛型编程的例子，它们都使用了模板的概念。每个容器都有一个单一的定义，比如向量，我们可以定义许多不同类型的向量，比如vector 或vector 。您可以使用模板来定义函数和类，接下来让我们一起来看看如何使用。函数模板模板函数定义的一...
STL模板库 常用函数 vector向量容器
grooveHong的博客
04-20 159
STL模板库 STL是Standard Template Library缩写，中文名字叫标准模板库，由惠普实验室提供，共有三类内容： 算法：以函数模板形式实现的常用算法，如：max、min、swap、find、sort。 容器：以类模板形式实现的常用数据结构，如：栈、队列、链式表、顺序表、红黑树。 迭代器：它是容器的成员，用于帮助访问容器中的元素，使用方法类似于指针。 常用函数 #include <algorithm> iterator find( iterator start, iterat
C++标准模板库之vector
qq_43008315的博客
03-08 379
vector的常见用法详解 容器->vector 翻译为向量，但是这里是我们称它为“长度根据需要而自动改变的数组”。在编程过程中只用到普通数组有时会出现超内存的情况，这种情况使用vector 会让问题的解决简单很多。如果使用vector，则需要添加相对应的头文件即：#include<vector>。除此之外，还需要加上using namesapce std;. 2.vec...
函数模板实现线性表Vector（动态数组）
StuTan
12-24 1078
模板设计 首先创建一个模板类vector，这个vector中有保护元素：类指针、记录当前已有多少元素的整形变量space,记录该vector当前最大容量的整形变量，其中类指针指向的是一个动态数组，当元素不够存储时，会自动将原数组的容量扩大2倍，在该动态数组上进行添加、删除元素时直接在对该指针指向的数组上直接进行增删查改，该模板类拥有自己的成员函数，它的成员函数是对该类的功能的使用，例如：清空整个v...
C++之SFINAE
leapmotion的博客
10-23 869
SFINAE
C++ using
热门推荐
程序员Link
01-24 1万+
一 C++11前的使用 1 using申明 《c++ primer plus》中： using申明 : using + 限定名称 限定名称：包含名称空间的名称 举例： using std::cout; 2 using编译指令 举例： using namespace std; using 编译指令可以传递。 二 C++11中的使用 1 取代typedef 举例： ...
C++ SFINAE基本用法
05-18
SFINAE（Substitution Failure Is Not An Error）是C++模板元编程中的一种技术，它利用了模板参数替换失败不报错的特性，可以在编译期间自动过滤掉不符合条件的模板实例化。 SFINAE的基本用法是通过函数重载和模板...

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值