템플릿 함수를 템플릿으로 된 중첩 클래스의 친구로 선언하는 방법은 무엇입니까?

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 함수 템플릿입니다 컴파일러에게, 친구 선언하기 전에 템플릿 함수를 선언 할 필요가 템플릿을 <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