c++ - 为什么在定义这个 C++ 概念时会出错？

Question

我正在关注 Josh Lospinoso 的 C++ 速成类(class)，我正在尝试向我展示如何使用概念来约束方法参数的示例，并且还希望我使用 type_traits。但是，我收到错误消息，指出缺少参数列表并且类型说明符的组合无效。这是概念和方法:

template <typename T>
concept bool Averageable() {
    return std::is_default_constructible<T>::value && requires (T a, T b) {
        { a += b } -> T;
        { a / size_t{ 1 } } -> T;
    };
}

template <Averageable T>
T mean(const T* values, size_t length) {
    T result{};
    for (size_t i{}; i < length; i++) {
        result += values[i];
    }
    return result / length;
}

Answer 1

我认为您以错误的方式定义了您的概念。它应该是这样的:

template <typename T>
concept Averageable =
    std::is_default_constructible<T>::value && requires (T a, T b) {
        { a += b          } -> std::same_as<T>;
        { a / size_t{ 1 } } -> std::same_as<T>;
    };

DEMO