C++ lambda捕获[v]与[v=v]差异引发编译报错问题咨询

在C++开发中会出现如下场景：编译器优先调用类的模板构造函数，导致预期匹配拷贝构造的场景编译失败，该行为与lambda值捕获的写法直接相关：使用[v]传统值捕获时编译报错，使用[v = v]广义捕获时可正常编译。
本次复现的编译环境为GCC 11.2.0，编译指令为g++ file.cpp -std=c++17，复现代码如下：

#include <functional>
#include <iostream>
#include <string>

using namespace std;

template <class T>
struct record {
  explicit record(const T& v) : value(v) {}

  record(const record& other) = default;
  record(record&& other) = default;

  template <class U>
  record(U&& v) : value(forward<U>(v)) {} // 移除该构造函数即可修复print1的编译问题

  string value;
};

void call(const std::function<void()>& func) { func(); }

void print1(const record<string>& v) {
  call([v]() { cout << v.value << endl; }); // 此处无法编译
}

void print2(const record<string>& v) {
  call([v = v]() { cout << v.value << endl; }); // 此处可正常编译
}

int main() {
  record<string> v("yo");
  print1(v);
  return 0;
}

转发引用构造的重载优先级陷阱 #

record结构中定义的template<class U> record(U&& v)是典型的转发引用（万能引用）构造函数，存在已知的重载决议陷阱：

• 当构造参数为record<string>&（非常量record左值）时，模板参数U会被推导为record<string>&，实例化后的构造函数签名为record(record<string>& v)，可直接绑定非常量左值，属于精确匹配。
• 默认生成的拷贝构造签名为record(const record<string>& other)，绑定非常量左值时需要额外添加const限定，匹配优先级低于精确匹配的模板构造。
  此时编译器会优先选中模板构造，但该构造的实现逻辑是将入参转发给string类型的value成员初始化，record<string>类型无法隐式转换为string，因此触发编译错误。

两种lambda捕获的语义差异 #

两种值捕获方式生成的闭包成员在拷贝时的类型识别逻辑不同，直接导致重载决议结果不同：

• [v]传统简单值捕获：该捕获方式直接捕获外层作用域的v实体，闭包成员类型为剥离引用后的原对象类型，不会自动添加顶层const限定。当lambda被传入std::function、触发拷贝构造内部存储时，闭包对象本身为非常量左值，其捕获的成员v也会被识别为非常量record<string>左值，正好命中上述转发引用构造的优先级陷阱，导致编译失败。
• [v = v]广义初始化捕获（C++14引入）：该捕获方式等价于在闭包作用域内声明新变量，通过auto v = 外层v;的逻辑初始化。auto拷贝初始化过程会明确匹配record的拷贝构造函数，后续闭包拷贝时，该成员的拷贝逻辑会正确匹配const引用参数的拷贝构造，不会被模板构造劫持，因此可以正常编译。

给转发引用模板构造添加SFINAE约束，当入参为record类型（或其cv限定、引用版本）时，禁用该模板构造，从根源上避免其劫持拷贝/移动构造：

template <class U, class = std::enable_if_t<!std::is_same_v<std::remove_cvref_t<U>, record>>>
record(U&& v) : value(std::forward<U>(v)) {}

添加约束后，当入参为record类型时，模板构造会被从重载候选集中移除，编译器会正确匹配默认的拷贝/移动构造。

内容的提问来源于stack exchange，提问作者becca