、デフォルトのテンプレートパラメータとして、ネストされたテンプレートクラスのインスタンス化は、他のパラメータ

Question

Iてきた次のテンプレートクラス&サンプルクラスに応じて設定する方法：

template<typename A, typename B, typename C = typename A::Nested<B>> 
struct X 
{ 
    X() 
    { 
     std::cout << "A is : " << A::who() << std::endl; 
     std::cout << "B is : " << B::who() << std::endl; 
     std::cout << "C is : " << C::who() << std::endl; 
    } 
}; 

struct Bsample 
{ 
    static const char* who() { return "Bsample"; } 
}; 

struct Asample 
{ 
    template<typename B> 
    struct Nested; 
    template<> 
    struct Nested<Bsample> 
    { 
     static const char* who() { return "Asample::Nested<Bsample>"; } 
    }; 
    static const char* who() { return "Asample"; } 
}; 

vc14を使用して、上記のコードはうまくコンパイルして生成インスタンス化のための予期される振る舞いは、デフォルトテンプレートパラメータC〜Asample::Nested<Bsample>のX<Asample, Bsample>です。 GCC 5.1でコンパイルするとき

はしかし、私は次のエラーを取得する：

prog.cpp:4:65: error: expected '>' before '<' token 
template<typename A, typename B, typename C = typename A::Nested<B>> 
                   ^

私は、template、typenameを使用して、テンプレートパラメータCのデフォルト値を宣言するために、いくつかの組み合わせを試してみました...しかし、しませんでしたこのコードをGCCでコンパイルすることに成功しました。

このコードをC++標準に準拠させ、GCCでコンパイルするにはどうすればいいですか？ヘルプ

EDITため

ありがとう：TartanLlamaから受け入れ答えに加えてTartanLlama

から受け入れ答えのほかには、私はまた、テンプレートパラメータのbraketsを終了する間に空白（スペース）を挿入する必要がありました：

template<typename A, typename B, typename C = typename A::Nested<B> > 
//          blank (space) added here^

そうでない場合は、GCCは（オプション-std=c++11が指定されていない）、次のエラーを発行します。

あなたがここに typename と templateの両方が必要

error: spurious '>>', use '>' to terminate a template argument list 
template<typename A, typename B, typename C = typename A::template Nested<B>> 
                      ^

Answer 1

：

template<typename A, typename B, typename C = typename A::template Nested<B>> 

templateはA::Nestedがテンプレートであるよりも、言う、とtypenameはA::Nested<B>名前タイプと言います。

またAsample定義のうち、Asample::Nestedの専門を移動する必要があります。

template<typename A, typename B, typename C = typename A::template Nested<B>> 
struct X 
{ 
    // ... 

：

struct Asample 
{ 
    template<typename B> 
    struct Nested; 

    static const char* who() { return "Asample"; } 
}; 

template<> 
struct Asample::Nested<Bsample> 
{ 
    static const char* who() { return "Asample::Nested<Bsample>"; } 
}; 

Live demo

Answer 2

あなたはテンプレートであるNestedコンパイラに指示する必要がありますいずれにせよ、あなたのコードは異なるエラーのためにコンパイルされません：

error: explicit specialization in non-namespace scope 'struct Asample' 
    template<> 

名前空間のスコープでNestedを特化する必要があります。