【Effective Modern C++】第六章 lambda表达式:34. 考虑lambda而非bind

lambda 全面优于 std::bind(C++14 中无例外)

lambda 相比std::bind更易读、表达力更强、性能更高;仅在 C++11 的两个特殊场景下,std::bind有少量合理用途,而 C++14 中 lambda 的增强特性让std::bind完全失去使用价值。

可读性对比:lambda 直观,std::bind 晦涩且易踩坑

setAlarm(设置闹钟)为例,对比两者的实现差异:

lambda 版本(清晰易懂)
c++ 复制代码
auto setSoundL = [](Sound s) {
    using namespace std::chrono;
    using namespace std::literals; // C++14时间字面量
    setAlarm(steady_clock::now() + 1h, s, 30s); // 直接调用,参数清晰
};
  • 直接调用目标函数setAlarm,参数传递、求值时机一目了然;
  • 即使是 lambda 新手,也能快速理解 "lambda 的形参s传给setAlarm第二个参数";
  • C++14 的时间字面量(1h、30s)进一步简化代码。
std::bind 版本(晦涩且有陷阱)
c++ 复制代码
// 初始错误版本(求值时机错误)
auto setSoundB = std::bind(setAlarm, steady_clock::now() + 1h, _1, 30s);

// 修正版本(嵌套bind,复杂度飙升)
auto setSoundB = std::bind(setAlarm,
                          std::bind(std::plus<>(), std::bind(steady_clock::now), 1h),
                          _1,
                          30s);
  • 无直接的函数调用语义,需手动映射占位符(_1)到参数位置,类型无显式提示;
  • 陷阱 :直接传递steady_clock::now() + 1h会在bind创建时求值(而非调用 bind 对象时),需嵌套 bind 才能推迟求值;
  • 目标函数重载时,需手动将setAlarm强转为函数指针类型(否则编译失败),lambda 则天然支持重载决议。

性能对比:lambda 更高效

  • lambda 中调用目标函数是直接调用,编译器可正常做内联优化;
  • std::bind需传递函数指针 / 函数对象,编译器难以对 "通过函数指针的调用" 做内联,导致性能损耗。

表达力对比:lambda 显式,std::bind 依赖隐式规则

以 "判断值是否在区间内""创建 Widget 压缩函数对象" 为例:

  • lambda :捕获方式(值 / 引用)、参数传递方式(值 / 引用)显式可见,无需记忆额外规则:
c++ 复制代码
// 按值捕获lowVal/highVal,参数val按值传递(C++11)
auto betweenL = [lowVal, highVal](int val) {
    return lowVal <= val && val <= highVal;
};
  • std::bind :参数存储(默认值拷贝,需std::ref才是引用)、实参传递(完美转发,按引用传)依赖隐式规则,需记住 bind 的工作机制才能理解:
c++ 复制代码
auto betweenB = std::bind(std::logical_and<bool>(),
                          std::bind(std::less_equal<int>(), lowVal, _1),
                          std::bind(std::less_equal<int>(), _1, highVal));

std::bind 仅有的 C++11 适用场景(C++14 中被 lambda 替代)

仅在 C++11 的两个特殊场景下,std::bind有少量价值,C++14 中 lambda 的增强使其失去意义:

  • 场景 1:模拟移动捕获

    C++11 lambda 不支持移动捕获(如捕获std::unique_ptr),可结合 lambda+std::bind模拟;C++14 lambda 支持初始化捕获,无需此技巧。

  • 场景 2:绑定多态函数对象

    对带有模板化operator()的类(如PolyWidget),C++11 lambda 不支持auto形参,无法适配任意类型参数;而 bind 对象的operator()用完美转发,可接受任意类型实参;C++14 lambda 支持auto形参,可直接实现:

c++ 复制代码
// C++14 lambda替代std::bind绑定多态函数对象
auto boundPW = [pw](const auto& param) { pw(param); };

总结

  1. lambda 相比std::bind更易读、表达力更强,且因编译器内联优化更高效;
  2. std::bind仅在 C++11 中对 "模拟移动捕获""绑定多态函数对象" 有少量用途,C++14 中 lambda 可完全替代;
  3. std::bind存在参数求值时机、重载决议、隐式规则等陷阱,而 lambda 无此类问题。

原著在线阅读地址

相关推荐
liuyao_xianhui3 分钟前
优选算法_判断字符是否唯一_C++
java·开发语言·数据结构·c++·算法·链表
Yupureki10 分钟前
《C++实战项目-高并发内存池》7.大块内存的申请与释放
服务器·c语言·开发语言·c++·算法·哈希算法
2301_8035545212 分钟前
c++中的CAS是什么
java·开发语言·c++
2401_8898846618 分钟前
模板代码模块化设计
开发语言·c++·算法
Trouvaille ~19 分钟前
【贪心算法】专题(五):逆向思维与区间重叠的极致拉扯
c++·算法·leetcode·青少年编程·面试·贪心算法·蓝桥杯
2401_8980751227 分钟前
代码生成器优化策略
开发语言·c++·算法
知无不研32 分钟前
共享内存(Shared Memory)深度全解:Linux高性能IPC的核心机制与实战
linux·运维·c++·共享内存·共享内存与互斥锁
feng_you_ying_li1 小时前
stack的实现,queue的实现,deque的介绍和priority_queue的实现以及仿函数的介绍与运用
c++
2401_889884661 小时前
嵌入式C++测试框架
开发语言·c++·算法
无限进步_2 小时前
深入解析vector:一个完整的C++动态数组实现
c语言·开发语言·c++·windows·git·github·visual studio