C++按值捕获lambda时如何避免保留捕获变量的const属性？

场景复现 #

第二个static_assert断言失败，代码示例如下：

#include <cstdio>
#include <type_traits>
#include <vector>

std::vector<int> generate_numbers();

int main()
{
  // 断言正常通过
  {
    std::vector<int> f = generate_numbers();
  
    auto lambda = [=] { printf("%d", (int)f.size()); };
    static_assert(std::is_nothrow_move_constructible_v<decltype(lambda)>);
  }
  
  // 断言失败
  {
    const std::vector<int>& f = generate_numbers();
  
    auto lambda = [=] { printf("%d", (int)f.size()); };
    static_assert(std::is_nothrow_move_constructible_v<decltype(lambda)>);
  }
}

原本预期两个断言都能通过——复制const值应该生成无需保留const属性的新值，但实际并非如此。这种问题会在依赖生存期扩展避免不必要复制的泛型代码中显现，比如：

void f(auto&& foo) { 
    const auto& result = foo(); 
    ...
}

以下是基于C++20的解决方案：

解决方案 #

1. 捕获时显式去除const限定符 #

在lambda捕获阶段，通过static_cast将const引用转换为非const的副本，确保lambda内部存储的是可noexcept移动的类型：

const std::vector<int>& f = generate_numbers();
// 显式生成非const副本并捕获
auto lambda = [f = static_cast<std::vector<int>>(f)] { printf("%d", (int)f.size()); };
static_assert(std::is_nothrow_move_constructible_v<decltype(lambda)>);

2. 泛型场景中使用std::remove_cvref_t #

在泛型代码里，用std::remove_cvref_t获取原始类型，显式生成非const副本供捕获：

#include <type_traits>

void f(auto&& foo) { 
    const auto& result = foo(); 
    // 去除cv限定符，生成原始类型的副本
    auto non_const_result = static_cast<std::remove_cvref_t<decltype(result)>>(result);
    auto lambda = [=] { /* 使用non_const_result */ };
    static_assert(std::is_nothrow_move_constructible_v<decltype(lambda)>);
}

3. 模板lambda自动处理类型（C++20特性） #

利用C++20的模板lambda，自动推导并去除cv限定符：

const std::vector<int>& f = generate_numbers();
// 捕获时自动转换为原始非const类型
auto lambda = [f = std::remove_cvref_t<decltype(f)>(f)]() { 
    printf("%d", (int)f.size()); 
};
static_assert(std::is_nothrow_move_constructible_v<decltype(lambda)>);

原因说明 #

当捕获const T&类型的变量时，lambda会将其存储为const T类型的成员。而const T的移动构造通常不满足noexcept：因为移动构造需要修改对象状态，但const对象无法被修改，实际会退化为复制构造（比如std::vector的复制构造并非noexcept）。而直接捕获非const的T时，lambda存储的是T本身，其移动构造是noexcept的，因此第一个断言可以正常通过。

内容的提问来源于stack exchange，提问作者Jean-Michaël Celerier