Konzept für eine Klasse mit verschachtelten Typen

Question

Ich schreibe ein Konzept, das eine Klasse erfordert eine ValueType Typ alias haben und haben eine statische Funktion Check die ValueType nimmt und void.

Hier ist, was ich bisher:

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

Das funktioniert nicht mit dem folgenden Fehler kompiliert: error: expected ')' before 'value'.

Answer 1

Hier ist eine Lösung, die ich gefunden, die Predicate in zwei getrennten Konzepte in Aufspalten besteht:

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

template <typename T> 
concept bool Predicate() 
{ 
    return requires(T object) 
    { 
     typename T::ValueType; 
     requires HasCheck<T>(); 
    }; 
} 

wandbox example

---

Alternativ können Sie die Kette die requires Klauseln mit &&:

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

wandbox example

Answer 2

Sie sind über compicating das Problem:

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