如何在C++20 Concept中用另一个Concept约束模板成员函数？

问题分析 #

你尝试在Concept D中约束类型T的模板方法m，要求m的模板参数满足Concept E且返回float，但原写法中{ template <E e> p_t.m<E>() } -> std::same_as<float>;不符合C++语法，导致编译报错。这是因为requires表达式中不能直接声明模板参数，必须通过合法的表达式间接表达约束。

修正后的实现方案 #

先优化Concept E的写法（用概念组合简化代码），再通过嵌套requires或引入满足E的变量来约束模板方法m：

1. 定义Concept E #

#include <concepts>
#include <type_traits>

template <typename T>
concept E = std::default_initializable<T> &&
            std::copy_constructible<T> &&
            std::move_constructible<T> &&
            requires {
                // 要求T有嵌套类型x，且x可转换为int
                typename T::x;
                requires std::is_convertible_v<typename T::x, int>;
            };

2. 定义Concept D #

通过引入满足E的类型变量，检查对任意满足E的类型调用m的返回值是否为float：

template <typename T>
concept D = requires(T p_t) {
    // 约束：对于所有满足E的类型，p_t.template m<该类型>()必须合法且返回float
    requires requires(E auto e) {
        { p_t.template m<std::decay_t<decltype(e)>>() } -> std::same_as<float>;
    };
};

3. 测试示例 #

// 满足E的类型
struct GoodE {
    using x = int;
};

// 不满足E的类型（x无法转换为int）
struct BadE {
    using x = void*;
};

// 符合D约束的类
struct CompliantD {
    template <E T>
    float m() { return 3.14f; }
};

// 不符合D约束的类（返回类型不是float）
struct BadDReturn {
    template <E T>
    int m() { return 42; }
};

// 不符合D约束的类（m的模板参数未被E约束）
struct BadDUnconstrained {
    template <typename T>
    float m() { return 0.0f; }
};

// 验证约束
static_assert(D<CompliantD>);
// static_assert(D<BadDReturn>); // 编译错误：返回类型不匹配
// static_assert(D<BadDUnconstrained>); // 编译错误：m的模板参数未满足E约束

原理说明 #

• 在Concept D的requires子句中，requires(E auto e)引入了一个满足E的任意类型变量e，通过std::decay_t<decltype(e)>获取其类型，以此作为m的模板参数。
• 外层的requires确保对于所有满足E的类型，调用p_t.template m<...>()都是合法的，且返回值严格匹配float。

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