开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

SFINAE方法比较

SFINAE（Substitution Failure Is Not An Error）是一种编译器技术，用于在模板编程中进行类型推导和函数重载解析。它允许编译器在模板实例化时根据类型推导的结果来选择最合适的重载函数或模板特化。

SFINAE的主要思想是，当编译器在实例化模板时遇到了某个函数或模板特化的定义，但由于类型推导失败而无法匹配时，编译器不会报错，而是会继续尝试其他可行的候选项。这样可以避免编译错误，使得模板编程更加灵活和可扩展。

SFINAE方法的优势在于：

提高代码的可读性和可维护性：通过使用SFINAE，可以根据不同的类型自动选择最合适的函数或模板特化，避免手动编写大量的重载函数或特化版本。
增强代码的灵活性和扩展性：SFINAE允许根据不同的类型进行不同的处理，可以根据实际需求进行自定义的类型推导和函数重载解析。
减少编译错误和提高代码的健壮性：SFINAE避免了编译器报错，使得代码在类型推导失败时可以继续尝试其他可行的选项，减少了编译错误的发生。

SFINAE方法在C++模板编程中广泛应用，特别是在实现泛型编程和元编程时非常有用。它可以用于解决各种类型推导和函数重载解析的问题，例如选择最合适的模板特化、判断某个类型是否具有某个成员函数等。

腾讯云相关产品和产品介绍链接地址：

腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云云数据库MySQL版：https://cloud.tencent.com/product/cdb_mysql
腾讯云人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
腾讯云物联网平台（IoT Hub）：https://cloud.tencent.com/product/iothub
腾讯云移动开发平台（MPS）：https://cloud.tencent.com/product/mps
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链服务（BCS）：https://cloud.tencent.com/product/bcs
腾讯云元宇宙服务（Tencent XR）：https://cloud.tencent.com/product/xr

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

现代C++之SFINAE

介绍c++的SFINAE概念:类成员的编译时内省 0.导语1.C++自省?2.老式的C++98方式2.1重载决议2.2 SFINAE2.3 sizeof运算符2.4 结合一切2.5 实现我们的想法2.

02

C++那些事之SFINAE

介绍c++的SFINAE概念:类成员的编译时内省 0.导语1.C++自省?2.老式的C++98方式2.1重载决议2.2 SFINAE2.3 sizeof运算符2.4 结合一切2.5 实现我们的想法2.

02

C++ 中文周刊第104期

RSS https://github.com/wanghenshui/cppweeklynews/releases.atom

03

C++设计模式之SFINAE：用来检测类中是否有某个成员函数

针对类中特定成员函数的检测其实在工作中也可能用到。C++中可以用SFINAE技巧达到这个目的。

02

现代C++之SFINAE应用(小工具编写)

是不是有点像Python的print一样简单，但这背后实现也就仅仅不到100行的代码，本节来实现这种功能。

02

C++雾中风景18:C++20, 从concept开始

先从一个群友的一个实际的问题出发，我们来看看concept可以解决什么问题。是怎么样通过coding实现的。

00

C++雾中风景18:C++20, 从concept开始

先从一个群友的一个实际的问题出发，我们来看看concept可以解决什么问题。是怎么样通过coding实现的。

03

C++奇淫巧技之SFINAE

SFINAE 技术，即匹配失败不是错误，英文Substitution Failure Is Not An Error，其作用是当我们在进行模板特化的时候，会去选择那个正确的模板，避免失败

03

C++11:如何判断一个类是另一个模板类的子类?

版权声明：本文为博主原创文章，转载请注明源地址。 https://blog.csdn.net/10km/article/details/50845588

01

C++17一个很冷门很有意思的新特性

最近发现了一个有意思的特性：void_t。 void_t是C++17引入的一个新特性，它的定义很简单（有些编译器的实现可能不是这样，但也大体类似）： template< class... >using void_t = void; 看着它很简单，但它搭配SFINAE却可以在模板元编程中发挥巨大作用。比如在编译期判断类是否有某个类型using： template <class, class = std::void_t<>>struct has_type : std::false_type {}

01

C++11模版元编程:如何判断一个类型是完整类型(complete type)

什么是完整类型(complete type)？要明白这个概念不如先从不完整类型(incomplete type)开始. 简单说，如果在编译期编译器能计算出一个类型的size，那么它就是一个完整类型，否则就是不完整类型。

03

浅谈 C++ 元编程

随着 C++ 11/14/17 标准的不断更新，C++ 语言得到了极大的完善和补充。元编程作为一种新兴的编程方式，受到了越来越多的广泛关注。结合已有文献和个人实践，对有关 C++ 元编程进行了系统的分析。首先介绍了 C++ 元编程中的相关概念和背景，然后利用科学的方法分析了元编程的演算规则、基本应用和实践过程中的主要难点，最后提出了对 C++ 元编程发展的展望。 1. 引言 1.1 什么是元编程元编程 (metaprogramming) 通过操作程序实体 (program entity

06

C++20 New Features

New keywords: char8_t, co_await, co_return, co_yield, concept, consteval, constinit, import*, module*, requires

01

C++模版的本质

我想知道上帝的構思，其他的都祇是細節。 ——爱因斯坦

03

C++ 动态新闻推送第15期

从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。

02

未来已来：从SFINAE到concepts

也就是说，在fun()函数内部，将参数x赋值给一个string类型的v，但是在main()函数中，调用fun()函数时候传入了1，这个编译器会推导为int类型，那么把一个int类型赋值给string，编译器会报错。

01

C++20初体验——concepts

凡是涉及STL的错误都不堪入目，因为首先STL中有复杂的层次关系，在错误信息中都会暴露出来，其次这么多类和函数的名字大多都是双下划线开头的，一般人看得不习惯。

01

C++一分钟之-模板基础：泛型编程

C++模板是泛型编程的核心，它允许程序员编写独立于类型的代码，从而实现代码的高度重用和灵活性。本文将深入浅出地介绍C++模板的基础概念、常见问题、易错点以及如何有效避免这些问题，并通过具体的代码示例加以说明。

01

Linux 内核大转变：是否将迈入现代 C++ 的时代？

Linux开发者 H. Peter Anvin 在邮件列表中重启了关于 Linux内核C代码转换为C++的讨论，并陈述了自己的观点。说之前先看一下这个话题的历史背景。

01

性能优化利器之constexpr

最近在升级系统和进行一些性能优化，业余时间也看一些技术书籍和视频，看了下上次更新文章的时间，大致在一个月前了，确实有点久了，所以赶紧拾起来，不能让大伙忘了我不是😁。

01

C++ 模板沉思录（上）

如果你对Python很熟悉，你一定会觉得：“哇！这太简单了！”，然后写出以下代码：

02

C++一分钟之概念（concepts）：C++20的类型约束

在C++的漫长进化历程中，Concepts（概念）作为C++20引入的一个重大特性，为模板编程带来了革命性的变化。它允许程序员以更加清晰、直观的方式表达类型要求，从而提高代码的可读性和错误信息的友好度。本文将深入浅出地探讨C++20中的Concepts，包括其基本概念、常见应用场景、易错点及避免策略，并通过代码示例加以说明。

01

C++一分钟之概念（concepts）：C++20的类型约束

在C++的漫长进化历程中，Concepts（概念）作为C++20引入的一个重大特性，为模板编程带来了革命性的变化。它允许程序员以更加清晰、直观的方式表达类型要求，从而提高代码的可读性和错误信息的友好度。本文将深入浅出地探讨C++20中的Concepts，包括其基本概念、常见应用场景、易错点及避免策略，并通过代码示例加以说明。

01

c++11:nlohmann::json进阶使用(一)ordered_json

nlohmann::json是非常好用的一个json开源解析库.nlohmann/json的源码是基于C++11标准写的，整个源码就是一个文件 nlohmann/json.hpp,引用非常方便。关于nlohmann/json的基本使用官网(https://github.com/nlohmann/json)上有比较详细的介绍。这里不再赘述，本文主要是介绍在nlohmann/json的基本使用之外一些我在使用 nlohmann/json 用到的一些扩展功能和重要但不太被了解的特性。

01

C++模版笔记(2)

enable_if<> 的作用是满足条件后可以使用模版推导，基于SFINAE(substitution failure is not an error), 这样可以按照条件控制是否使用模版。

02

lambda with template

好久没发文了，一方面因为实在太忙了，一方面也在自我提升，发现要学的越来越多。在群里的，大抵都知道我上半年基本在重构和优化，将gcc版本进行了升级，从之前的4.9.2升级到了现在的11.2.1(支持c++17)，这样在重构过程中难免要用到新特性，所以也就在这个过程中一边学习一遍应用于项目中，毕竟这样才能完全吸收为自己所用嘛。

01

【笔记】《深入理解C++11》(上)

本篇是看完《深入理解C++11：C++11新特性解析与应用》后做的笔记的上半部分. 这本书可以看作是《C++Primer》的进阶版, 主要是更加详细地介绍了C++11的一些常用设计和标准库设施, 很多知识点都在面试中会遇到, 值得一读.

02

c++11:nlohmann::json进阶使用(三)使用basic_json模板类

nlohmann::json是非常好用的一个json开源解析库.nlohmann/json的源码是基于C++11标准写的，整个源码就是一个文件 nlohmann/json.hpp,引用非常方便。关于nlohmann/json的基本使用官网(https://github.com/nlohmann/json)上有比较详细的介绍。这里不再赘述，本文主要是介绍在nlohmann/json的基本使用之外一些我在使用 nlohmann/json 用到的一些扩展功能和重要但不太被了解的特性。

01

【CMU15-445 FALL 2022】Project #1 - Buffer Pool

03

C++11 元编程(meta-programming)判断T是否有==操作符

前几天看了《C++11之美》受到一些启发，想到可以通过判断一个类型是否有指定的操作符(比如==，>=)。基本的原理与文中的差不多，利用SFINAE原则，通过返回类型后置来推断表达式的类型，推断的过程中利用declval，它可以获取类型的右值引用，以便来调用==操作符，这个过程是在编译期完成的。如果通过==操作符比较declval的右值引用成功了，则会继续推断逗号表达式的类型，最终推断的函数返回类型为bool；如果通过==操作符比较declval的右值引用失败了，则推断失败，编译器会选择优先级最低的test(...)函数，它的返回类型为void。我们最后判断实例化的test<T>(0)的返回值是否为bool，可以知道类型T是否存在==操作符。

03

C++ 学习笔记

作者：readywang(王玉龙) template 是 c++ 相当重要的组成部分，堪称 c++语言的一大利器。在大大小小的 c++ 程序中，模板无处不在。c++ templates 作为模板学习的经典书籍，历来被无数 c++学习者所推崇。第二版书籍覆盖了 c++ 11 14 和 17 标准，值得程序猿们精读学习，特此整理学习笔记，将每一部分自认为较为重要的部分逐条陈列，并对少数错误代码进行修改一、函数模板 1.1 函数模板初探 1.模板实例化时，模板实参必须支持模板中类型对应的所有运算符操作。 te

06

C++ enable_shared_from_this 具体实现

C++ 中使用 std::shared_ptr 智能指针不当有可能会造成循环引用，因为 std::shared_ptr 内部是基于引用计数来实现的，当引用计数为 0 时，就会释放内部持有的裸指针。但是当 a 持有 b， b 也持有 a 时，相当于 a 和 b 的引用计数都至少为 1，因此得不到释放，RAII 此时也无能为力。这时就需要使用 weak_ptr 来打破循环引用。

03

C++ 动态新闻推送第55期

编译器信息最新动态推荐关注hellogcc公众号本周更新 2022-03-23 第142期

04

C++ 动态新闻推送第19期

从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。

01

C++17 New Features

如果说 C++11 和 C++20 是两个改动大、影响比较深远的"大版本"，那么我感觉 C++17 算是一个小版本。(推荐 vs2019，gcc8，clang10，支持 C++17)

04

【笔记】《深入理解C++11》(下)

本篇是看完《深入理解C++11：C++11新特性解析与应用》后做的笔记的下半部分. 这本书可以看作是《C++Primer》的进阶版, 主要是更加详细地介绍了C++11的一些常用设计和标准库设施, 很多知识点都在面试中会遇到, 值得一读.

03

C++ 动态新闻推送第4期

从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。

01

【C++11】消除重复，提升代码质量---type_tratis

为了解决因为代码圈复杂度产生的代码质量问题，C++11提供了type_tratis类型萃取功能，在一定程度上可以消除冗长的代码分支语句，降低圈复杂度进而提升代码的可维护性。

01

C++11 元编程判断是否有std::hash特例并提供hash函数通用实现

版权声明：本文为博主原创文章，转载请注明源地址。 https://blog.csdn.net/10km/article/details/50292659

01

实际工程中的 C++ 模板

C++ 的模板是 C++ 的一个重要的语言特性，我们使用的 STL 就是 Standard Template Library 的缩写，但是在很多情况下，开发者都对其敬而远之，有些团队甚至是直接在工程中禁用模板。模板常被当作洪水猛兽的一个原因是许多人提起模板就要提 C++ 模板图灵完备，甚至还要再秀一段编译期排序，这种表现模板强大的方式不仅不会让人觉得模板有用，反而让人觉得模板难以理解而且不应该使用。在这篇文章里，我将聊一下最近实际工程中的一些模板的应用，希望可以让更多人了解到模板并不是一个可怕的存在，以及一些常见的使用方式。

02

曾遭 Linus 炮轰“很烂”的 C++，现受开发者支持：Linux 内核应从 C 转到 C++！

前有 C 语言当道，后有 Rust “杀入”，时下又有一场关于 C++ 才应该成为 Linux 内核语言的争论被旧事重提了。

01

C++泛型编程泛泛谈

越来越读不下去传统的一些编程书了，我个人反思了一下，我觉得不是书的毛病，是我的毛病，这些书的出发点都是初学者或是稍微有点基础的读者，经常是对一个概念解释很多次，翻来覆去的说，而且给的demo看起来也比较呆瓜。其实实用性还是差很多的，看代码里面都是使用的一些新标准新特性，但是这些书都是有点老了，也不讲。

03

C++20：从0到1学懂concept

对于Foo来说，是不支持加法的，于此同时也是不可以直接std::cout << ，因此在编译时报一大堆错误，包含operator<<与operator+，但这并不是我们期望的错误信息，我们比较期望的是编译器给我们最直观的错误信息，即：这个结构体能不能相加。

01

Python & C++ - pybind11 实现解析

IEG 自研引擎 CE 最早支持的脚本是 Lua, 在性能方面, Lua是有一定优势的. 但除此之外的工程组织, 以及现在即将面临的 AI 时代的语料问题, Lua 都很难很好的解决. 在这种情况下, 支持工程组织和语料更丰富的 Python, 就成了优先级较高的任务了. 由于Python的虚拟机以及相关的C API较复杂, 我们选择的方式是将 pybind11 - 一个Python社区知名度比较高, 实现质量也比较高的 Python 导出库与我们引擎的 C++ 反射适配的整合方式, 这样可以在工作量较小的情况下, 支持好 Python 脚本, 同时也能比较好的利用上引擎的C++反射实现. 在做好整合工作前, 我们肯定需要先较深入的了解 pybind11 的相关实现机制, 这也是本篇主要讲述的内容.

08

终于！12年后Golang支持泛型了！（内含10个实例）

导语 | 泛型是一些语言的标配，可以极大地便利开发者，但Golang在之前并不支持泛型。在今年的Go1.17中已经发布了泛型的体验版，这一功能也是为1.18版本泛型正式实装做铺垫。本文将介绍一下泛型在Golang的使用样例及其泛型的发展历史，需要体验的同学可以使用：https://go2goplay.golang.org/或者自行在docker中安装版本。一、泛型（一）什么是泛型谈泛型的概念，可以从多态看起，多态是同一形式表现出不同行为的一种特性，在编程语言中被分为两类，临时性多态和参数化多态。

02

C++ 中文周刊第114期

确实，学生很需要这些，不然都得从头学，不知道我的读者学生多不多，如果没学，这里补课 https://missing-semester-cn.github.io/

03

C++20 Text Formatting/fmtlib 适配问题小记

C++20 正式发布已经有一段时间了。其中 Text Formatting 是一个我个人比较感兴趣的新组件。它主要是解决了之前字符串格式化库 ( printf 系 ) 的效率问题和运行时安全的问题。并且新的格式设置的形式也比较友好。相关规范和用法可以参见:

02

聊聊结构化绑定

std::map<K, V>的insert方法返回std::pair<iterator, bool>，两个元素分别是指向所插入键值对的迭代器与指示是否新插入元素的布尔值，而std::map<K, V>::iterator解引用又得到键值对std::pair<const K, V>。在一个涉及std::map的算法中，有可能出现大量的first和second，让人不知所措。

01

C++ 实用指南

作者 | Bartlomiej Filipek 译者 | 王强策划 | 万佳 C++ 发展得非常快！例如，C++ 标准的页数从 C++98/03 的 879 页增加到了 C++20 的 1834 页，多了近 1000 页！更重要的是，C++ 每次修订后，我们都会获得几十个新特性。你需要学习所有这些东西才能写出好代码吗？如何在当今的 C++ 世界中保持理智？介绍你可能知道 C++ 是一种复杂的语言。我甚至发现了一整页 Wiki 是讲对 Cpp 的批判的。现代 C++ 甚至为生态添加了更多内容。以

02

C++17 在业务代码中最好用的十个特性

作者：jinshang，腾讯 WXG 后台开发工程师自从步入现代 C++时代开始，C++语言标准形成了三年一个版本的惯例：C++11 标志着现代 C++的开端，C++14 在 11 的基础上查缺补漏，并未加入许多新特性，而 C++17 作为 C++11 后的第一个大版本，标志着现代 C++逐渐走向成熟。WXG 编译器升级到 gcc7.5 已有一段时间，笔者所在项目组也已经将全部代码升级到 C++17。在使用了 C++17 一年多之后，笔者总结了 C++17 在业务代码中最好用的十个特性。注 1：本文只

02

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭