好的，我们来深入探讨 C++11 中的 右值引用与移动语义（续）以及 Lambda 表达式。这两个特性是现代 C++ 编程中提升性能和表达能力的核心工具。

---

1. 右值引用与移动语义（续）

1.1 std::move 的应用

std::move 是一个强制类型转换工具（定义在 <utility> 中），它将其参数转换为右值引用，从而允许调用移动构造函数或移动赋值运算符。注意：std::move 本身并不移动任何数据，它只是为移动语义创造条件。

示例：

#include <utility>
#include <vector>

int main() {
    std::vector<int> v1 = {1, 2, 3};
    std::vector<int> v2 = std::move(v1); // 调用移动构造函数

    // v1 现在处于“有效但未指定状态”（通常为空）
    // v2 接管了 v1 的资源
}

1.2 移动语义在资源管理类中的应用

自定义类（如管理动态内存的类）应实现移动构造函数和移动赋值运算符，以支持高效资源转移。

移动构造函数示例：

class String {
public:
    // 移动构造函数
    String(String&& other) noexcept 
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr; // 防止 other 析构时释放资源
        other.size_ = 0;
    }

private:
    char* data_;
    size_t size_;
};

1.3 注意事项

• noexcept 声明：移动操作通常应标记为 noexcept，否则某些标准库操作（如 std::vector::resize）可能回退到拷贝语义。
• 对象状态：被移动的对象应处于可安全析构的状态（如指针设为 nullptr）。
• 编译器优化：现代编译器会尽可能使用移动语义（如返回值优化 RVO/NRVO），显式使用 std::move 有时反而会阻碍优化。

---

2. Lambda 表达式

Lambda 提供了一种简洁的方式定义匿名函数对象，常用于算法（如 std::sort、std::for_each）和异步编程。

2.1 基本语法

[捕获列表] (参数列表) -> 返回类型 { 函数体 }

• 捕获列表：指定外部变量如何传递到 Lambda 内部（值捕获 [x]、引用捕获 [&x]、混合捕获 [=, &y] 等）。
• 参数列表：类似普通函数的参数。
• 返回类型：可省略（由编译器推导），复杂时需显式指定（如 -> double）。
• 函数体：实现逻辑。

2.2 示例场景

#include <algorithm>
#include <vector>

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

    // 按是否大于阈值排序（捕获 threshold）
    std::sort(nums.begin(), nums.end(), 
        [threshold](int a, int b) {
            bool a_gt = (a > threshold);
            bool b_gt = (b > threshold);
            return a_gt && !b_gt; // 大于阈值的排在前面
        });
}

2.3 捕获方式详解

捕获方式	示例	效果
值捕获	[x]	创建时复制 x 的值
引用捕获	[&x]	直接使用外部 x 的引用
隐式捕获	[=]	所有外部变量值捕获
	[&]	所有外部变量引用捕获
混合捕获	[=, &y]	除 y 为引用捕获外，其余值捕获

2.4 泛型 Lambda（C++14 起）

使用 auto 参数实现泛型：

auto adder = [](auto a, auto b) { return a + b; };
std::cout << adder(1, 2.5); // 输出：3.5

---

3. 结合使用：移动语义 + Lambda

Lambda 可通过移动捕获（C++14）接管右值资源，避免拷贝：

std::unique_ptr<int> ptr = std::make_unique<int>(42);

// 移动捕获 ptr（转移所有权）
auto lambda = [data = std::move(ptr)]() {
    std::cout << *data; // data 是移动后的 unique_ptr
};

---

总结

• 右值引用与移动语义：通过资源转移（而非复制）提升性能，核心是 std::move 和移动构造/赋值。
• Lambda 表达式：简化匿名函数的定义，通过捕获列表灵活访问外部变量。

掌握这两者，能显著提升代码的效率和可读性。如果需要进一步探讨具体场景的实现，请随时提出！