0

0

C++中如何利用std::not_fn快速生成复杂的逻辑取反谓词?(函数式编程)

尼克

尼克

发布时间:2026-03-14 12:05:32

|

597人浏览过

|

来源于php中文网

原创

std::not_fn比手写lambda更可靠,因其正确处理参数转发、cv限定符、SFINAE及void返回值限制,并自动适配成员函数和完美转发;但不支持返回void的可调用对象、短生命周期捕获lambda或未取址的函数名。

c++中如何利用std::not_fn快速生成复杂的逻辑取反谓词?(函数式编程)

std::not_fn 为什么比手写 lambda 更可靠?

std::not_fn 不是简单地给函数加个 !,它解决的是“可调用对象包装后正确转发参数并处理返回值”的一整套问题。比如你传入一个重载函数、成员函数指针或带引用捕获的 lambda,手写 [&](auto&&... args){ return !f(std::forward<decltype(args)>(args)...); } 很容易在 cv 限定符、引用折叠、SFINAE 友好性上出错。

  • 手写取反 lambda 在面对 std::function<void()> 或返回 void 的可调用对象时会编译失败(!void 不合法),而 std::not_fn 明确禁止包装返回 void 的调用,报错更早、更明确
  • 它自动适配 const/volatile 成员函数,比如包装 std::string::empty 这种 const 成员函数时,std::not_fn(&std::string::empty) 能正确推导调用签名
  • 对完美转发支持更健壮:内部使用 std::invoke,能处理绑定器(如 std::bind)、成员指针、普通函数指针等所有标准可调用类型

示例:你想筛选非空字符串,直接用 std::not_fn(&std::string::empty),而不是 [](const std::string& s){ return !s.empty(); } —— 后者无法泛化到 std::vector<:string></:string> 的 const 迭代器解引用场景(因类型不匹配)。

std::not_fn 包装哪些东西会出问题?

不是所有可调用对象都能安全喂给 std::not_fn,常见翻车点:

  • 返回 void 的函数或 lambda:编译错误,提示类似 invalid operands to binary expression ('void' and 'bool')
  • 捕获了局部变量的 lambda,且该变量生命周期短于 std::not_fn 对象本身:运行时未定义行为(和普通 lambda 一样,但容易被忽略)
  • 函数名未加取地址符,比如 std::not_fn(foo)foo 是函数名)会触发模板实参推导失败;必须写成 std::not_fn(&foo) 或用 static_cast 强制指定类型
  • 包装一个返回非布尔类型(如 int)的谓词时,std::not_fn 仍按 !x 解释,即隐式转为 bool 再取反 —— 这符合预期,但要注意和显式比较(如 x != 0)语义是否一致

典型错误写法:std::not_fn([]{ std::cout → 编译不过;正确做法是别包装 <code>void 返回值,或先用 lambda 转成返回 bool 的版本。

立即学习C++免费学习笔记(深入)”;

和 std::negate、operator! 重载混用时的优先级陷阱

std::not_fn 和传统函数对象(如 std::negate<int></int>)或自定义 operator! 容易混淆:

PatentPal专利申请写作
PatentPal专利申请写作

AI软件来为专利申请自动生成内容

下载
  • std::negate 只适用于算术类型取负(-x),不是逻辑取反;误用 std::not_fn(std::negate<>{}) 会导致对 bool 做 -true,结果仍是 true(因为 -1 隐式转 booltrue
  • 如果类重载了 operator!std::not_fn(obj) 会调用该重载;但如果类没重载,又没提供 operator bool(),则 std::not_fn 包装后调用会失败(!obj 不合法)
  • std::logical_not 不同:std::logical_not 是仿函数模板,只能用于单参数且要求参数可转 boolstd::not_fn 更通用,但底层仍依赖 ! 运算符是否可用

建议:除非明确需要适配已有重载的 operator!,否则优先用 std::not_fn 包装返回 bool 的谓词;避免和 std::negate 混用,二者语义完全不同。

在 STL 算法中嵌套使用 std::not_fn 的实际写法

最常见需求是组合多个条件,比如“不满足 A 且不满足 B”,这时不能直接写 std::not_fn(A && B)(C++ 中没有 operator&& 重载支持这种写法),得手动组合:

  • 正确方式是包装单个谓词后传入算法:std::remove_if(v.begin(), v.end(), std::not_fn(is_valid))
  • 多条件组合推荐用 lambda:std::all_of(v.begin(), v.end(), [&](const auto& x){ return !pred1(x) && !pred2(x); });不要试图用 std::not_fn 去包另一个 std::not_fn,那只是多套一层,无实际意义
  • std::bind 配合时注意:先 std::bindstd::not_fn,顺序不能反;例如 std::not_fn(std::bind(&Widget::is_ready, _1)) 是合法的,反过来则无法编译

性能上无额外开销:std::not_fn 是零成本抽象,生成的代码和手写等效 lambda 几乎一致;但它的真正价值在于类型安全和语义清晰——当你看到 std::not_fn(f),你就知道它一定是个可调用对象的逻辑取反,且编译器能帮你挡住大部分误用。

复杂点在于它不解决“怎么定义谓词”,只解决“怎么安全取反”。很多人卡在第一步:传进去的东西根本就不是标准谓词(比如返回 intvoid),这时候 std::not_fn 不会迁就你,它会立刻报错。

相关文章

编程速学教程(入门课程)
编程速学教程(入门课程)

编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1051

2023.08.02

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

564

2023.09.20

js 字符串转数组
js 字符串转数组

js字符串转数组的方法:1、使用“split()”方法;2、使用“Array.from()”方法;3、使用for循环遍历;4、使用“Array.split()”方法。本专题为大家提供js字符串转数组的相关的文章、下载、课程内容,供大家免费下载体验。

761

2023.08.03

js截取字符串的方法
js截取字符串的方法

js截取字符串的方法有substring()方法、substr()方法、slice()方法、split()方法和slice()方法。本专题为大家提供字符串相关的文章、下载、课程内容,供大家免费下载体验。

221

2023.09.04

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1570

2023.10.24

字符串介绍
字符串介绍

字符串是一种数据类型,它可以是任何文本,包括字母、数字、符号等。字符串可以由不同的字符组成,例如空格、标点符号、数字等。在编程中,字符串通常用引号括起来,如单引号、双引号或反引号。想了解更多字符串的相关内容,可以阅读本专题下面的文章。

651

2023.11.24

java读取文件转成字符串的方法
java读取文件转成字符串的方法

Java8引入了新的文件I/O API,使用java.nio.file.Files类读取文件内容更加方便。对于较旧版本的Java,可以使用java.io.FileReader和java.io.BufferedReader来读取文件。在这些方法中,你需要将文件路径替换为你的实际文件路径,并且可能需要处理可能的IOException异常。想了解更多java的相关内容,可以阅读本专题下面的文章。

1228

2024.03.22

php中定义字符串的方式
php中定义字符串的方式

php中定义字符串的方式:单引号;双引号;heredoc语法等等。想了解更多字符串的相关内容,可以阅读本专题下面的文章。

1205

2024.04.29

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.3万人学习

C 教程
C 教程

共75课时 | 5.4万人学习

C++教程
C++教程

共115课时 | 21.7万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号