c++ - 具有嵌套类型的类的概念

Question

我正在编写一个概念，要求类具有 ValueType 类型别名，并具有静态函数 Check，它采用 ValueType 和返回 void。

这是我目前所拥有的:

template <typename T>
concept bool Predicate()
{
    return requires(T object)
    {
        typename T::ValueType;
        requires (T::ValueType value)
        {
            {T::Check(value)} -> void;
        };
    };
}

编译时不会出现以下错误:error: expected ')' before 'value'。

Answer 1

你把问题复杂化了:

template <typename T>
concept bool Predicate = requires(typename T::ValueType obj) {
    { T::Check(obj) } -> void;
};