variadicクラスにテンプレートフレンド関数を宣言する方法

Question

クラス宣言の内側と外側の両方で、variadicクラスのフレンドにテンプレート関数をどのように宣言しますか？

たとえば、これは私がクラス宣言の中に書くと思いますが、定義されていない参照エラーが発生しています。

#include <tuple> 
#include <vector> 

namespace ns 
{ 
    template<class...> 
    class Example; 

    template<class A, class... Bs> 
    std::vector<A>& get(Example<Bs...>& pExample); 

    template<class... As> 
    class Example 
    { 
    private: 
     std::tuple<std::vector<As>...> mVectors; 

    public: 
     explicit Example(std::size_t pCapacity) 
       : mVectors(std::vector<As>(pCapacity)...) 
     {} 

     template<class B> //Error: undefined reference to `std::vector<int,std::allocator<int> >& ns::get<int, int, float>(ns::Example<int, float>&) 
     friend std::vector<B>& get(Example<As...>& pExample) 
     { 
      return std::get<std::vector<B>>(pExample.mVectors); 
     } 
    }; 
} 

Answer 1

フレンド機能はテンプレートパラメータを継承しません。

#include <tuple> 
#include <vector> 

namespace ns 
{ 
    template<class... As> 
    class Example; 

    template<class B, class... As> 
    std::vector<B>& get(Example<As...>& pExample); 

    template<class... As> 
    class Example 
    { 
    private: 
     std::tuple<std::vector<As>...> mVectors; 

    public: 
     explicit Example(std::size_t pCapacity) 
      : mVectors(std::vector<As>(pCapacity)...) 
     {} 

     template<class B, class... Cs> // <---- 
     friend std::vector<B>& get(Example<Cs...>& pExample) 
     { 
      return std::get<std::vector<B>>(pExample.mVectors); 
     } 
    }; 
} 

int main() 
{ 
    ns::Example<int,short,char> e(10); 
    auto v = ns::get<int>(e); 
} 

Live example