我正在寫一個概念,要求類有一個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'將簡約的修復。 –