C++类构造函数体内为lambda成员赋值报错如何解决

问题原因解析 #

两个版本代码的核心差异在于成员变量f的初始化时机：

• 使用初始化列表的版本：f直接通过lambda的拷贝构造函数从入参_f完成初始化，全程不会触发lambda的默认构造，而无捕获lambda的拷贝构造是默认存在的，因此编译正常。
• 删除初始化列表的版本：C++语法规定，类成员如果没有在构造函数的初始化列表中显式初始化，在进入构造函数体之前，编译器会自动对其执行默认初始化。你的f是lambda类型，标准明确规定lambda闭包类型删除了默认构造函数，这一步还没执行到你写的f = _f赋值逻辑就已经触发编译错误。

解决方案 #

根据你需要做的校验类型，有两种常用实现方式：

1. 编译期校验（比如你提到的std::is_convertible_v判断） #

直接保留初始化列表，在构造函数体内加static_assert即可，完全不影响初始化逻辑：

#include <iostream>
#include <type_traits>

template <typename Func>
class K {
    Func f;
public:
    K(Func _f): f{_f} {
        // 所有编译期校验都可以写在这里
        static_assert(std::is_invocable_v<Func, int>, "传入的可调用对象必须支持接收int类型参数");
        static_assert(std::is_convertible_v<Func, decltype(f)>, "可调用对象类型不匹配");
        // 其他初始化后执行的逻辑也可以在这里添加
    };
    void do_thing(int x) {f(x);};
};

int main()
{
    auto f = [](int x) {std::cout << x << std::endl;};
    K kl{f};
    kl.do_thing(5);

    return 0;
}

2. 运行期校验（必须先执行校验逻辑再初始化成员） #

如果你的校验是需要运行时判断的逻辑，可以用C++11引入的委托构造特性，先完成校验再初始化成员：

#include <iostream>
#include <stdexcept>
#include <utility>

template <typename Func>
class K {
    Func f;
    // 私有辅助构造，仅负责初始化成员
    K(Func _f, int): f{std::move(_f)} {}
public:
    K(Func _f): K(
        // 先执行运行期校验
        [&](){
            if (/* 你的运行期校验逻辑，校验失败直接抛异常 */ false) {
                throw std::invalid_argument("参数校验失败");
            }
            return std::move(_f);
        }(), 
        0 // 占位参数，用于区分构造函数签名
    ) {
        // 初始化完成后的后续逻辑可以放在这里
    }
    void do_thing(int x) {f(x);};
};

如果不想用委托构造，也可以把成员包装为std::optional<Func>，避免触发默认构造，校验完成后再手动初始化：

#include <iostream>
#include <optional>
#include <utility>

template <typename Func>
class K {
    std::optional<Func> f;
public:
    K(Func _f) {
        // 先执行任意校验逻辑
        if (/* 校验通过 */ true) {
            f.emplace(std::move(_f));
        } else {
            // 错误处理逻辑
        }
    }
    void do_thing(int x) {(*f)(x);};
};

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