我正在写一个概念,要求类有一个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'
。
啊... C++ 20 ...好... – rustyx
'需要requires'和'typename'将简约的修复。 –