C++协程Lambda的参数为何未转发给promise类型构造函数？

我正在开发一个基于调度器的协程应用，调度器管理协程的栈和运行逻辑，协程必须绑定到调度器。于是我把Scheduler作为promise_type的构造参数，让协程创建时自动向调度器注册。

简化代码如下：

#include <coroutine>

struct Scheduler {};

struct ReturnObject {
    struct promise_type;
};

struct ReturnObject::promise_type {
    promise_type(Scheduler &s) {
        // 将协程句柄注册到调度器s
    }

    ReturnObject get_return_object() {
        return {};
    }

    std::suspend_always initial_suspend() noexcept {
        return {};
    }

    std::suspend_always final_suspend() noexcept {
        return {};
    }

    void return_void() {}
    void unhandled_exception() {}
};

用普通函数声明协程可以正常编译运行：

ReturnObject procedure(Scheduler &) {
    co_return;
}

int main() {
    Scheduler s;
    auto p = procedure(s);
    return 0;
}

但换成Lambda实现后，编译报错：

int main() {
    Scheduler s;
    auto procedure = [](Scheduler &) -> ReturnObject { co_return; };
    auto p = procedure(s);
    return 0;
}

错误信息：

demo.cpp: In lambda function:
demo.cpp:36:67: error: no matching function for call to 'ReturnObject::promise_type::promise_type()'
   36 |     auto procedure = [](Scheduler &) -> ReturnObject { co_return; };
      |                                                                   ^
demo.cpp:13:5: note: candidate: 'ReturnObject::promise_type::promise_type(Scheduler&)'
   13 |     promise_type(Scheduler &s) {
      |     ^~~~~~~~~~~~
demo.cpp:13:5: note:   candidate expects 1 argument, 0 provided
demo.cpp:11:22: note: candidate: 'constexpr ReturnObject::promise_type::promise_type(const ReturnObject::promise_type&)'
   11 | struct ReturnObject::promise_type {
      |                      ^~~~~~~~~~~~
demo.cpp:11:22: note: candidate expects 1 argument, 0 provided
demo.cpp:11:22: note: candidate: 'constexpr ReturnObject::promise_type::promise_type(ReturnObject::promise_type&&)'
demo.cpp:11:22: note: candidate expects 1 argument, 0 provided

明明Lambda的参数和普通函数一致，为什么编译器会尝试调用promise_type的默认构造函数？

核心问题在于Lambda的operator()是成员函数，隐含了this指针作为第一个参数：

• 普通协程函数是非成员函数，参数列表就是Scheduler&，编译器会直接把这个参数传递给promise_type的构造函数，匹配成功。
• Lambda的operator()是成员函数，协程的实际参数列表是[Lambda* this, Scheduler& s]。编译器会尝试用这两个参数构造promise_type，但你的promise_type只接受单个Scheduler&参数，匹配失败后就会尝试调用默认构造函数，最终报错。

有两种可行的解决方式：

方式1：修改promise_type构造函数，兼容Lambda的隐含this指针 #

给promise_type添加一个模板构造函数，忽略Lambda的this指针，只传递需要的Scheduler&参数：

struct ReturnObject::promise_type {
    // 原构造函数保留，供普通函数使用
    promise_type(Scheduler &s) {
        // 将协程句柄注册到调度器s
    }

    // 模板构造函数：忽略第一个参数（Lambda的this），传递第二个参数给原构造函数
    template<typename Unused>
    promise_type(Unused&&, Scheduler &s) : promise_type(s) {}

    // 其他成员不变
    ReturnObject get_return_object() {
        return {};
    }

    std::suspend_always initial_suspend() noexcept {
        return {};
    }

    std::suspend_always final_suspend() noexcept {
        return {};
    }

    void return_void() {}
    void unhandled_exception() {}
};

这样编译器会优先匹配模板构造函数，忽略Lambda的this指针，将Scheduler&传递给真正的构造逻辑。

方式2：特化std::coroutine_traits，指定promise的构造规则 #

通过特化标准库的std::coroutine_traits，告诉编译器如何处理Lambda协程的参数传递：

#include <coroutine>

struct Scheduler {};

struct ReturnObject {
    struct promise_type;
};

struct ReturnObject::promise_type {
    promise_type(Scheduler &s) {
        // 将协程句柄注册到调度器s
    }

    // 其他成员不变
    ReturnObject get_return_object() {
        return {};
    }

    std::suspend_always initial_suspend() noexcept {
        return {};
    }

    std::suspend_always final_suspend() noexcept {
        return {};
    }

    void return_void() {}
    void unhandled_exception() {}
};

// 特化std::coroutine_traits：针对ReturnObject返回类型，参数为Lambda指针+Scheduler&的情况
template<typename Lambda>
struct std::coroutine_traits<ReturnObject, Lambda*, Scheduler&> {
    using promise_type = ReturnObject::promise_type;

    // 自定义promise构造逻辑：只传递Scheduler&参数
    static promise_type promise_ctor(Lambda*, Scheduler& s) {
        return promise_type(s);
    }
};

这种方式更精准，不会影响其他场景下的promise_type构造。

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