嵌套類中的類實例化

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 （這在其自己外的模板參數不同， class A ）的函數“ operator[]的” class B ？

提前謝謝了。

Answer 1

把一個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

Answer 2

應該夠添加一個typename前A<T, N_i...>和template前B< Ts... >

我的意思是

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;
      }

      // ...
  };
}

ps：也應該與C ++ 11一起工作； 不僅是C ++ 14