여러 템플릿 상속을 사용한 템플릿 인스턴스화

Question

(다중) 파생 클래스를 기본 클래스를 예상하는 템플릿 함수에 전달할 때 템플릿 인스턴스화 규칙은 무엇입니까? 예를 들면 : - 1 6.2 GCC 컴파일러 에러 (Demo)를 제공

#include <iostream> 

template <int x> 
struct C {}; 

struct D : C<0>, C<1> {}; 

template <int x> 
void f (const C<x> &y) { std::cout << x << "\n"; } 

int main() 
{ 
    f (D()); 
} 

MSVC 2,015 인쇄 0 3.8 연타. 심지어 SFINAE - 멀리 모든 오버로드를 제외한 당신이 경우에, 결과는 여전히 다를 것이다 :

#include <iostream> 

template <int x> struct C {}; 

template<> 
struct C<0> { using type = void; }; 

struct D : C<0>, C<1> {}; 

template <int x, typename = typename C<x>::type> 
void f (const C<x> &y) { std::cout << x << "\n"; } 

int main() 
{ 
    f (D()); 
} 

가 지금은 MSVC로 컴파일하고 C<0> 및 C<1>를 교환 할 경우에만 그 소리가 컴파일됩니다. 문제는 MSVC가 첫 번째 기본, clang - last 및 gcc 오류를 너무 일찍 인스턴스화하려고 시도한다는 것입니다. 어느 컴파일러가 옳은가?

Answer 1

GCC 5.4 :

/tmp/gcc-explorer-compiler11685-58-1h67lnf/example.cpp: In function 'int main()': 
13 : error: no matching function for call to 'f(D)' 
f (D()); 
^ 
9 : note: candidate: template<int x> void f(const C<x>&) 
void f (const C<x> &y) { std::cout << x << "\n"; } 
^ 
9 : note: template argument deduction/substitution failed: 
13 : note: 'const C<x>' is an ambiguous base class of 'D' 
f (D()); 
^ 
Compilation failed 

날 것으로 보인다 C < 0>와 C < 1 일 이후> 똑같이 전문화되어, 올바른 결과가 될 수 있습니다. GCC 6.2

그 소리 3.8.1에 대한

같은 결과를 내보기에 컴파일러의 버그 인을 컴파일합니다.

갱신 :

나는 실제 사용 사례를 모르지만 나는이 당신을 위해 작동 할 수 있는지 궁금했다 :

#include <utility> 
#include <iostream> 

template<class T> 
struct has_type 
{ 
    template<class U> static auto test(U*) -> decltype(typename U::type{}, std::true_type()); 
    static auto test(...) -> decltype(std::false_type()); 
    using type = decltype(test((T*)0)); 
    static const auto value = type::value; 
}; 

template <int x> struct C {}; 

template<> 
struct C<0> { using type = int; }; 

template<int...xs> 
struct enumerates_C : C<xs>... 
{ 
}; 

struct D : enumerates_C<0, 1> {}; 

template<int x, std::enable_if_t<has_type<C<x>>::value>* = nullptr> 
void f_impl(const C<x>& y) 
{ 
    std::cout << x << "\n"; 
} 

template<int x, std::enable_if_t<not has_type<C<x>>::value>* = nullptr> 
void f_impl(const C<x>& y) 
{ 
    // do nothing 
} 

template <int...xs> 
void f (const enumerates_C<xs...> &y) 
{ 
    using expand = int[]; 
    void(expand { 0, 
     (f_impl(static_cast<C<xs> const &>(y)),0)... 
    }); 
} 

int main() 
{ 
    f (D()); 
} 

예상 출력 (사과 연타 테스트) :

0