为类成员函数约束coroutine_traits时兼容lambda的问题

核心问题是类相关的coroutine_traits特化没有足够的约束，导致编译器尝试对lambda这类不完全类型执行std::is_base_of检查，直接触发编译错误。要解决这个问题，需要通过**SFINAE（替换失败不是错误）**机制，给类成员函数的特化加上严格的匹配条件，让lambda自动匹配通用特化。

具体解决方案 #

1. 实现/使用「完整类型判断」Trait #

如果使用C20，直接用std::is_complete；如果兼容C17及更早版本，自己实现一个判断类型是否完整的Trait，避免对不完全类型（比如lambda）执行is_base_of检查：

template<typename T, typename = void>
struct is_complete : std::false_type {};

template<typename T>
struct is_complete<T, std::void_t<decltype(sizeof(T))>> : std::true_type {};

template<typename T>
constexpr bool is_complete_v = is_complete<T>::value;

2. 给类成员函数的coroutine_traits特化加约束 #

修改你的类相关特化，通过std::enable_if添加双重约束：

• 调用者类型（即成员函数所属类）是完整类型
• 调用者类型是目标类（或其派生类）

示例代码如下：

// 通用特化：供lambda、普通函数等非类成员场景使用
template<typename R, typename... Args>
struct coroutine_traits<MyTask<R>, Args...> {
    using promise_type = GenericPromise<R>;
};

// 类成员函数特化：仅匹配MyClass或其派生类的成员函数，且类型完整
template<typename R, typename DerivedClass, typename... Args>
struct coroutine_traits<MyTask<R>, DerivedClass*, Args...>,
    std::enable_if_t<
        is_complete_v<DerivedClass> && std::is_base_of_v<MyClass, DerivedClass>,
        void
    >> {
    using promise_type = MyClassPromise<R>;
};

如果你的特化只需要匹配MyClass本身（不需要支持派生类），可以简化为：

template<typename R, typename... Args>
struct coroutine_traits<MyTask<R>, MyClass*, Args...> {
    using promise_type = MyClassPromise<R>;
};

这种情况下lambda根本不会匹配到这个特化，自然不会触发错误。

3. 关键原理说明 #

lambda的类型是编译器生成的匿名不完全类型，当编译器尝试匹配类成员特化时，is_complete_v<DerivedClass>会返回false，触发SFINAE规则——这个特化会被编译器排除，转而匹配通用版coroutine_traits，彻底避免对lambda执行std::is_base_of检查。

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