複数のテンプレート継承を使用したテンプレートのインスタンス化

Question

基本クラスを期待するテンプレート関数に（複数の）派生クラスを渡すときのテンプレートのインスタンス化のルールは何ですか？例えば： - 1とGCC 6.2コンパイラエラー（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 2015プリント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