10
Chcę określić podstawowy szablon parametru szablonu, używając kombinacji aliasu szablonu i specjalizacji szablonu. Poniższy kod kompiluje dobrze na gcc 4.8, 6.2.1, ale nie na clang 3.5, 3.8.Alias szablonu, specjalizacja szablonów i parametry szablonu szablonów
#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;
}
Jakie zachowanie jest zgodne ze standardem?
To jest [aktywny kluczowy problem] (http://wg21.link/cwg1286). –
@ t.c. który wygląda inaczej, pasujące szablony, a nie instancje szablonów? – Yakk
@Yakk To jest to samo; problemem jest dopasowanie 'Resolution, int> :: type' (która pomimo nazwy jest szablonem) przeciwko' First' w 'Foo ' częściowej specjalizacji. –