템플릿 별칭, 템플릿 전문화 및 템플릿 템플릿 매개 변수

Question

템플릿 별칭과 템플릿 전문화 조합을 사용하여 템플릿 매개 변수의 기본 템플릿을 결정하고 싶습니다. 다음 코드는 gcc 4.8, 6.2.1에서는 제대로 컴파일되지만 3.5, 3.8에서는 컴파일되지 않습니다.

#include <iostream> 

template <typename T> struct First {}; 

template <typename T> struct Second {}; 

template <template <typename> class F, typename T> struct Foo {}; 

template <typename T> struct Foo<First, T> 
{ 
    void f() { std::cout << __PRETTY_FUNCTION__ << std::endl; } 
}; 

template <typename T> struct Foo<Second, T> 
{ 
    void f() { std::cout << __PRETTY_FUNCTION__ << std::endl; } 
}; 

template <typename F, typename T> struct Resolution {}; 

template <typename T> struct Resolution<First<T>, T> 
{ 
    template <typename P> using type = First<P>; 
}; 

template <typename T> struct Resolution<Second<T>, T> 
{ 
    template <typename P> using type = Second<P>; 
}; 

int main() 
{ 
    Foo<Resolution<First<int>, int>::type, float> my_foo; 
    my_foo.f(); // main.cpp:34:12: error: no member named 'f' in 'Foo<Resolution<First<int>, int>::type, float>' 

    return 0; 
} 

어떤 행동 양식이 표준을 따르고 있습니까?

Answer 1

답변 : 이것은 T.C에서 설명한대로 C++ 표준 코어 언어의 알려진 버그입니다. 의견에. http://wg21.link/cwg1286