テンプレートエイリアス、テンプレート特殊化テンプレートテンプレートパラメータ

Question

テンプレートエイリアスとテンプレート特殊化の組み合わせを使用して、テンプレートパラメータの基礎となるテンプレートを決定したいと考えています。以下のコードは、gcc 4.8、6.2.1では正常にコンパイルされますが、clang 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