コンセプトから型を取り出す方法は？

Question

は、私はコンセプトを持っていると言う：短い形式の概念を使用している場合

template < typename Group > concept bool GGroup = 
    requires() { typename Group::Inner; }; 

は、どのように私はタイプInnerを取得することができますか？

void doSomething(const GGroup& group) 
{ 
    // an ugly alternative 
    using Inner = typename std::decay_t<decltype(group)>::Inner; 

    //// could be something like: 
    // using Inner = GGroup::Inner; 
    // or 
    // using Inner = underlyingtype(GGroup)::Inner; 
} 

Answer 1

コンセプトTSの短い形式の欠点は、概念化されたパラメータのタイプ名に名前を付けることだけではできないということです。あなたはそれを得るためにdecltypeを使用しなければなりません。

だから、トレードオフを持っている：あなたは、あなたの実際のコードでdecltype以上の犠牲に明示template宣言を避けることができますいずれか、または明示的なテンプレート宣言を犠牲にしてdecltypeを避けることができます。