テンプレート関数をテンプレート付きネストされたクラスのフレンドに宣言するには？

Question

getは、outer<T>::inner<U>の専用コンストラクタにアクセスできる囲みスコープ内の関数を作成するにはどうすればよいですか？私はinnerを作ることによって、クラスの外にそれを宣言しようとしている

template <typename T> 
struct outer { 
    template <typename U> 
    class inner { 
     inner() {} 
    public: 
     friend inner get(outer&) { 
      return {}; 
     } 
    }; 
}; 


int main() { 
    outer<int> foo; 
    outer<int>::inner<float> bar = get<float>(foo); 
} 

はtemplate <typename V, typename W> friend inner<V> get(outer<W>&);持っているが、それはどちらか動作しませんでした。私はinnerを作ることによって、クラスの外にそれを宣言しようとしている

Answer 1

はあなたがgetが関数テンプレートであるコンパイラに伝えるために、friend宣言の前にテンプレート関数を宣言する必要がありますテンプレート<typename V, typename W> friend inner<V> get(outer<W>&);

を持っています。例えば総額で

// definition of outer 
template <typename T> 
struct outer { 

    // forward declaration of inner 
    template <typename U> 
    class inner; 
}; 

// declaration of get 
template <typename V, typename W> 
typename outer<W>::template inner<V> get(outer<W>&); 

// definition of inner 
template <typename T> 
template <typename U> 
class outer<T>::inner { 
    inner() {} 
    public: 
    // friend declaration for get<U, T> 
    friend inner<U> get<U>(outer<T>&); 
}; 

// definition of get 
template <typename V, typename W> 
typename outer<W>::template inner<V> get(outer<W>&) { 
    return {}; 
} 

LIVE