C++11新特性探索：Lambda表达式与函数包装器的实用指南

cdut_suye2024-11-27 12:44

文章目录

  • 前言
    • 🍉一、Lambda表达式（匿名函数）
      • [🍓1.1 Lambda 表达式的基本语法](#🍓1.1 Lambda 表达式的基本语法)
      • [🍓1.2 示例：基本 Lambda 表达式](#🍓1.2 示例：基本 Lambda 表达式)
      • [🍓1.3 捕获列表（Capture）](#🍓1.3 捕获列表（Capture）)
      • [🍓1.4 使用 Lambda 表达式在算法中自定义操作](#🍓1.4 使用 Lambda 表达式在算法中自定义操作)
      • [🍓1.5 `mutable` 关键字](#🍓1.5 mutable 关键字)
      • [🍓1.6 Lambda 表达式的返回类型推导](#🍓1.6 Lambda 表达式的返回类型推导)
    • 🍉二、模板的可变参数
      • [🍓2.1 可变参数模板的基本语法](#🍓2.1 可变参数模板的基本语法)
      • [🍓2.2 基本示例](#🍓2.2 基本示例)
      • [🍓2.3 使用 `sizeof...` 获取参数数量](#🍓2.3 使用 sizeof... 获取参数数量)
      • [🍓2.4 实现 `std::forward` 完美转发](#🍓2.4 实现 std::forward 完美转发)
      • [🍓2.5 应用场景](#🍓2.5 应用场景)
    • 🍉三、通用函数包装器`std::function`
      • [🍓3.1 `std::function` 的基本语法](#🍓3.1 std::function 的基本语法)
      • [🍓3.2 使用 `std::function` 包装不同类型的可调用对象](#🍓3.2 使用 std::function 包装不同类型的可调用对象)
        • [🍑1. 包装普通函数](#🍑1. 包装普通函数)
        • [🍑2. 包装 lambda 表达式](#🍑2. 包装 lambda 表达式)
        • [🍑3. 包装函数对象（仿函数）](#🍑3. 包装函数对象（仿函数）)
      • [🍓3.3 使用 `std::function` 作为参数](#🍓3.3 使用 std::function 作为参数)
      • [🍓3.4 `std::function`的实际应用](#🍓3.4 std::function的实际应用)
    • 🍉四、绑定参数`std::bind`
      • [🍓4.1 `std::bind` 的基本语法](#🍓4.1 std::bind 的基本语法)
      • [🍓4.2 示例：将参数绑定到普通函数](#🍓4.2 示例：将参数绑定到普通函数)
      • [🍓4.3 占位符的使用](#🍓4.3 占位符的使用)
      • [🍓4.4 绑定到成员函数](#🍓4.4 绑定到成员函数)
      • [🍓4.5 绑定到成员变量](#🍓4.5 绑定到成员变量)
      • [🍓4.6 `std::bind` 的应用场景](#🍓4.6 std::bind 的应用场景)
  • 结语

前言

C++11 的发布为现代 C++ 带来了许多革命性的特性，其中 Lambda 表达式和函数包装器是提升代码简洁性和灵活性的代表性工具。Lambda 表达式让开发者能够像函数一样轻松地创建匿名函数，而函数包装器则为灵活地管理和调用可调用对象提供了一个强大的抽象。在这篇文章中，我们将详细探讨 Lambda 表达式和函数包装器的概念、用法以及它们如何在实际项目中提升代码的可读性和效率。

🍉一、Lambda表达式（匿名函数）

在 C++11 中，lambda 表达式（匿名函数）是一种便捷的语法，用于定义短小的函数或回调，特别适合在局部范围内或传递给算法使用。lambda 表达式使代码更简洁、清晰，尤其在需要自定义操作的 STL 算法中非常实用。

🍓1.1 Lambda 表达式的基本语法

Lambda 表达式的基本语法如下：

cpp 复制代码 
[capture](parameters) -> return_type {
    // 函数体
};
  • capture：捕获列表，用于捕获 lambda 外部作用域的变量。
  • parameters：参数列表，与普通函数的参数列表相同。
  • return_type：返回类型，可以省略，编译器会自动推导。
  • 函数体：lambda 表达式的执行代码。

🍓1.2 示例：基本 Lambda 表达式

一个简单的 lambda 表达式示例：

cpp 复制代码 
#include <iostream>

int main() {
    auto add = [](int a, int b) -> int {
        return a + b;
    };

    std::cout << "Sum: " << add(3, 5) << std::endl;  // 输出：Sum: 8
    return 0;
}

这里 add 是一个 lambda 表达式，定义了一个接收两个整数并返回它们和的匿名函数。

🍓1.3 捕获列表（Capture）

捕获列表用于在 lambda 表达式中访问外部变量，常见的捕获方式包括以下几种：

  • 按值捕获 [=]：按值捕获所有外部变量（只读）。
  • 按引用捕获 [&]：按引用捕获所有外部变量（可修改）。
  • 混合捕获 [=, &var] ：按值捕获除 var 外的变量，var 按引用捕获。
  • 显式捕获 [a, &b] ：按值捕获 a，按引用捕获 b。

示例：

cpp 复制代码 
#include <iostream>

int main() {
    int x = 10;
    int y = 20;

    auto lambda1 = [=]() { return x + y; };  // 按值捕获 x 和 y
    auto lambda2 = [&]() { x += 10; y += 10; };  // 按引用捕获 x 和 y

    lambda2();
    std::cout << "x: " << x << ", y: " << y << std::endl;  // 输出 x: 20, y: 30

    return 0;
}

🍓1.4 使用 Lambda 表达式在算法中自定义操作

Lambda 表达式在 STL 算法中非常有用，例如，可以用 std::sort 对容器中的元素进行自定义排序：

cpp 复制代码 
#include <vector>
#include <algorithm>
#include <iostream>

int main() {
    std::vector<int> numbers = {3, 1, 4, 1, 5};

    // 使用 Lambda 表达式进行降序排序
    std::sort(numbers.begin(), numbers.end(), [](int a, int b) {
        return a > b;
    });

    for (int num : numbers) {
        std::cout << num << " ";
    }
    // 输出: 5 4 3 1 1

    return 0;
}

🍓1.5 mutable 关键字

默认情况下，lambda 表达式按值捕获的变量是只读的。如果需要修改这些变量，可以使用 mutable 关键字：

cpp 复制代码 
int value = 10;
auto lambda = [=]() mutable { value += 5; return value; };
std::cout << lambda() << std::endl;  // 输出 15
std::cout << value << std::endl;      // 输出 10，不影响原变量

在这个例子中，mutable 允许对按值捕获的 value 进行修改，但不会影响原变量 value 的值。

🍓1.6 Lambda 表达式的返回类型推导

如果 lambda 表达式的返回类型可以推导，通常可以省略 -> return_type。不过在条件语句等场景下，若返回类型不明确，可以显式指定：

cpp 复制代码 
auto divide = [](int a, int b) -> double {
    return static_cast<double>(a) / b;
};

🍉二、模板的可变参数

C++11 引入了 可变参数模板（Variadic Templates），允许模板接受不定数量的模板参数。这种特性极大地增强了模板的灵活性，适用于泛型编程场景，特别是那些参数个数不固定的情况，例如容器的初始化、递归调用和日志函数等。

🍓2.1 可变参数模板的基本语法

可变参数模板使用...来表示不定数量的模板参数。例如：

cpp 复制代码 
template<typename... Args>
void func(Args... args) {
    // 函数体
}

其中，Args... 表示可以接收任意数量和类型的模板参数。这些参数在函数体内可以通过 args... 进行展开和使用。

🍓2.2 基本示例

可变参数模板允许编写能接受任意数量参数的函数。在 C++11 中，由于没有折叠表达式，可以通过递归方式处理这些参数：

cpp 复制代码 
#include <iostream>

void print() {}  // 基础情况

template<typename T, typename... Args>
void print(T first, Args... args) {
    std::cout << first << " ";
    print(args...);  // 递归调用
}

int main() {
    print(1, 2.5, "Hello", 'A');  // 输出: 1 2.5 Hello A
    return 0;
}

在这个例子中，print 函数每次取出一个参数，然后递归调用自己处理剩下的参数，直到没有参数为止。

🍓2.3 使用 sizeof... 获取参数数量

C++11 提供了 sizeof... 运算符，用于获取可变参数的数量：

cpp 复制代码 
template<typename... Args>
void countArgs(Args... args) {
    std::cout << "参数数量: " << sizeof...(args) << std::endl;
}

调用 countArgs(1, 2, 3); 会输出 参数数量: 3。

🍓2.4 实现 std::forward 完美转发

在泛型编程中，使用可变参数模板和 std::forward 可以实现完美转发，特别适合构造和包装对象。例如，可以用一个工厂函数将参数转发给构造函数：

cpp 复制代码 
#include <utility>
#include <memory>

template<typename T, typename... Args>
std::unique_ptr<T> createObject(Args&&... args) {
    return std::make_unique<T>(std::forward<Args>(args)...);  // 完美转发
}

这段代码将传入的参数 args... 以完美转发的方式传递给对象 T 的构造函数，从而创建对象。

🍓2.5 应用场景

  • 日志和调试：可变参数模板可以轻松实现日志函数，支持输出任意数量的参数。
  • 工厂函数：通过完美转发和可变参数模板，可以创建一个工厂函数，用来构造任意数量参数的对象。
  • 容器初始化：可以实现一个函数，用来向容器中批量插入元素。

🍉三、通用函数包装器std::function

std::function 是 C++11 引入的一个通用函数包装器，可以存储、复制和调用任何可调用对象，包括普通函数、lambda 表达式、函数指针和函数对象。它提供了一个统一的接口，方便将各种不同类型的可调用对象作为参数传递或返回值返回。

🍓3.1 std::function 的基本语法

std::function 是一个模板类，接受一个函数签名（即返回类型和参数列表）作为模板参数。例如：

cpp 复制代码 
#include <functional>
#include <iostream>

// 泛型
std::function<ReturnType(ParameterType1,...,ParameterTypeN)>
// 例如定义一个函数类型：接收两个 int，返回 int
std::function<int(int, int)> func;
  • **ReturnType：**返回值类型
  • **ParameterType1：**形参1
  • **ParameterTypeN：**形参N

在这个例子中，func 可以包装任何符合 int(int, int) 签名的可调用对象，即接收两个 int 参数并返回 int。

🍓3.2 使用 std::function 包装不同类型的可调用对象

🍑1. 包装普通函数
cpp 复制代码 
int add(int a, int b) {
    return a + b;
}

int main() {
    std::function<int(int, int)> func = add;
    std::cout << "Result: " << func(2, 3) << std::endl;  // 输出：Result: 5
    return 0;
}
🍑2. 包装 lambda 表达式
cpp 复制代码 
int main() {
    std::function<int(int, int)> func = [](int a, int b) {
        return a + b;
    };
    std::cout << "Result: " << func(2, 3) << std::endl;  // 输出：Result: 5
    return 0;
}
🍑3. 包装函数对象（仿函数）
cpp 复制代码 
#include <iostream>
#include <functional>

struct Adder {
    int operator()(int a, int b) const {
        return a + b;
    }
};

int main() {
    std::function<int(int, int)> func = Adder();
    std::cout << "Result: " << func(2, 3) << std::endl;  // 输出：Result: 5
    return 0;
}

🍓3.3 使用 std::function 作为参数

std::function 可以用来定义一个函数参数，允许将任何符合签名的可调用对象传入该参数。

cpp 复制代码 
#include <iostream>
#include <functional>

void execute(std::function<void(int)> func, int value) {
    func(value);  // 调用传入的可调用对象
}

int main() {
    // 使用 lambda 表达式作为参数
    execute([](int x) { std::cout << "Value: " << x << std::endl; }, 10);  // 输出：Value: 10
    return 0;
}

🍓3.4 std::function的实际应用

力扣真题[逆波兰表达式求值](https://leetcode.cn/problems/evaluate-reverse-polish-notation/description/)

cpp 复制代码 
class Solution {
public:
    int evalRPN(vector<string>& tokens) {
        map<string, function<int(int, int)>> mp = {
            {"+", [](int x, int y){return x + y;}},
            {"-", [](int x, int y){return x - y;}},
            {"*", [](int x, int y){return x * y;}},
            {"/", [](int x, int y){return x / y;}}
        };
        stack<int> s;
        for(const auto& str :tokens){
            if(mp.find(str) != mp.end()){
                int right = s.top();
                s.pop();
                int left = s.top();
                s.pop();
                int ret = mp[str](left, right);
                s.push(ret);
            }
            else{
                s.push(stoi(str));
            }
        }

        return s.top();
    }
};

🍉四、绑定参数std::bind

std::bind 是 C++11 引入的一个函数工具，用于将函数的某些参数绑定到特定的值，从而生成一个新的可调用对象。这个新对象可以在需要的时候被调用，减少了重复传参的麻烦。std::bind 可以将普通函数、成员函数、函数对象的部分参数预先绑定，也可以为其指定占位符，从而延迟参数传递。

🍓4.1 std::bind 的基本语法

std::bind 的基本用法如下：

cpp 复制代码 
std::bind(callable, arg1, arg2, ..., argN);
  • callable：可以是普通函数、成员函数、lambda 表达式或函数对象。
  • arg1, arg2, ..., argN ：指定函数的参数，可以是具体的值或占位符（std::placeholders::_1，std::placeholders::_2 等）。

🍓4.2 示例：将参数绑定到普通函数

假设有一个加法函数 add，我们可以用 std::bind 将其中一个参数绑定到特定的值：

cpp 复制代码 
#include <iostream>
#include <functional>

int add(int a, int b) {
    return a + b;
}

int main() {
    // 使用 std::bind 将第一个参数绑定为 10
    auto addTen = std::bind(add, 10, std::placeholders::_1);
    std::cout << "Result: " << addTen(5) << std::endl;  // 输出：Result: 15
    return 0;
}

在这里，addTen 是一个新的可调用对象，它把 add 函数的第一个参数固定为 10，只需要传入第二个参数即可调用。

🍓4.3 占位符的使用

std::bind 使用占位符 std::placeholders::_1, std::placeholders::_2, 等等，来指定调用时需要传递的参数位置。例如：

cpp 复制代码 
#include <iostream>
#include <functional>

void print(int x, int y, int z) {
    std::cout << x << ", " << y << ", " << z << std::endl;
}

int main() {
    // 使用 std::bind 重新排列参数顺序
    auto printReversed = std::bind(print, std::placeholders::_3, std::placeholders::_2, std::placeholders::_1);
    printReversed(1, 2, 3);  // 输出：3, 2, 1
    return 0;
}

在这个例子中，printReversed 是一个新的可调用对象，参数顺序被反转，传入 (1, 2, 3) 时，输出为 3, 2, 1。

🍓4.4 绑定到成员函数

std::bind 也可以绑定成员函数，使用时需要传入类对象的指针：

cpp 复制代码 
#include <iostream>
#include <string>
#include <functional>

class MyClass {
public:
    void printMessage(const std::string& message) {
        std::cout << "Message: " << message << std::endl;
    }
};

int main() {
    MyClass obj;

    // 将成员函数与对象绑定（三种方法）
    // 1.对象地址
    auto printFunc1 = std::bind(&MyClass::printMessage, &obj, std::placeholders::_1);
    printFunc1("Hello, world1");  // 输出：Message: Hello, world1
    // 2.对象
    auto printFunc2 = std::bind(&MyClass::printMessage, obj, std::placeholders::_1);
    printFunc2("Hello, world2");  // 输出：Message: Hello, world2
    // 3.匿名对象
    auto printFunc3 = std::bind(&MyClass::printMessage, MyClass(), std::placeholders::_1);
    printFunc3("Hello, world3");  // 输出：Message: Hello, world3

    return 0;
}

在这里，printFunc 将 obj 对象和 printMessage 函数绑定在一起，因此 printFunc 成为一个只需传入 message 参数的可调用对象。

🍓4.5 绑定到成员变量

std::bind 同样可以绑定类的成员变量，用于获取或设置特定对象的成员变量值。

cpp 复制代码 
#include <iostream>
#include <functional>

class MyClass {
public:
    int value = 0;
};

int main() {
    MyClass obj;
    // 绑定成员变量，创建 getter 和 setter
    auto getValue = std::bind(&MyClass::value, &obj);
    auto setValue = std::bind(&MyClass::value, &obj) = std::placeholders::_1;

    setValue(42);
    std::cout << "Value: " << getValue() << std::endl;  // 输出：Value: 42

    return 0;
}

🍓4.6 std::bind 的应用场景

  • 回调函数 ：在事件驱动编程中，可以通过 std::bind 将某个函数的参数预设，用于异步调用。
  • 延迟执行 ：std::bind 可以将函数和参数绑定在一起，在之后的特定时刻再执行。
  • 函数适配器 ：使用 std::bind 可以适配不同函数的参数列表，减少代码重复。

结语

C++11 的 Lambda 表达式和函数包装器为开发者提供了更灵活、更高效的工具，用于解决复杂的编程问题。从简化回调函数到灵活管理可调用对象，这些特性为现代 C++ 编程提供了新的思路。在深入理解它们的原理和最佳实践后，你将能更自信地运用这些工具编写出简洁、可维护的代码。未来的 C++ 学习之旅中，期待你用这些新特性，探索更强大的编程世界！

今天的分享到这里就结束啦！如果觉得文章还不错的话，可以三连 支持一下，17的主页还有很多有趣的文章，欢迎小伙伴们前去点评，您的支持就是17前进的动力！

相关推荐
Nerinic5 分钟前
深度学习基础1
人工智能·深度学习
数字扫地僧11 分钟前
深度学习与知识图谱嵌入的结合：从理论到实践
人工智能·深度学习·知识图谱
碧海蓝天202211 分钟前
接上一主题，C++14中如何设计类似于std::any，使集合在C++中与Python一样支持任意数据？
开发语言·c++·python
醉颜凉15 分钟前
计算(a+b)/c的值
java·c语言·数据结构·c++·算法
真理Eternal17 分钟前
手搓人工智能—聚类分析（下）谱系聚类与K-mean聚类
人工智能·机器学习
周杰伦fans18 分钟前
Java与C#
java·开发语言·c#
zl.rs21 分钟前
对比C++，Rust在内存安全上做的努力
c++·安全·rust
Allen Bright22 分钟前
Redis主从架构
数据库·redis·架构
ZOMI酱23 分钟前
【AI系统】昇腾 AI 架构介绍
人工智能·架构
ZHOU西口26 分钟前
MySQL系列之远程管理（安全）
数据库·mysql·安全·tls·加密连接·require_secure
热门推荐
01(欧拉)openEuler系统添加网卡文件配置流程、(欧拉)openEuler系统手动配置ipv6地址流程、(欧拉)openEuler系统网络管理说明02玄机平台应急响应—webshell查杀03【HarmonyOS】HUAWEI DevEco Studio 下载地址汇总04基于微信小程序的自习室预约系统的设计与实现05Docker 夺命连环 15 问06PyTorch机器学习实现液态神经网络0704 - matlab m_map地学绘图工具基础函数 - 设置网格08支付宝短视频平台创作分成激励项目09RAG 实践- Ollama+RagFlow 部署本地知识库10鸿蒙LiteOS+Hi3861智能家居网关设计：MQTT协议实现与代码示例