クラスのインスタンス

Question

私は次のような問題があります。

template< typename T, size_t N, size_t... N_i > 
struct A 
{ 
    // nested class 
    template< typename... Ts > 
    class B 
    { 
     //... 

     A<T, N_i...>::B<Ts...> operator[](size_t i) 
     { 
     A< T, N_i...>::B<Ts...> res{ /* ... */ }; 

     return res; 
     } 

     // ... 
    }; 
}; 

は残念ながら、コンパイラは「A < T, N_i...>::B <Ts...> res{ /* ... */ };」のエラーを生成します。誰も私がclass Bのインスタンス化を返す方法を知っていますか（彼の外側のテンプレート引数ではです）、 "operator[]"はclass Bですか？

事前に感謝します。

Answer 1

A<T, N_i...>とB<Ts...>前template前typenameを追加する十分なはずです。

私は

template< typename T, size_t N, size_t... N_i > 
struct A 
{ 
    // nested class 
    template< typename... Ts > 
    class B 
    { 
     //... 

     typename A<T, N_i...>::template B<Ts...> operator[](size_t i) 
     { 
     typename A< T, N_i...>::template B<Ts...> res{ /* ... */ }; 

     return res; 
     } 

     // ... 
    }; 
} 

P.sを意味する：C++ 11にも動作するはずです。 C++だけでなく14

Answer 2

戻り値の型の完全な型の前にtypenameを置くことは、あなたが得ているエラーを修正するものです。ただし、Bの後にB型が常にその型の「現在の」インスタンス化を参照した後に、テンプレートパラメータを配置しないでください。

#include <stdio.h> 
using namespace std; 

template< typename T, size_t N, size_t... N_i > 
struct A 
{ 
    // nested class 
    template< typename... Ts > 
    class B 
    { 
     //... 

     typename A<T, N_i...>::B operator[](size_t i) 
     { 
     typename A< T, N_i...>::B res{ /* ... */ }; 

     return res; 
     } 

     // ... 
    }; 
}; 

https://godbolt.org/g/hsB4pW