这个嵌套模板基类是否有歧义？

Question

此代码用于在 Clang 3.8 中编译，在 VS 2017 中仍可编译，但在 Clang 3.9 中开始发出错误。

template <typename D, typename ... I>
struct impl : I ...
{};

template <typename D, typename ... I>
void f(impl<D, I...> const&)
{}

struct A : impl<A> {};
struct B : impl<B, A> {};

int main()
{
    f(A());
    f(B()); // Error
}

Clang 3.9 说

<source>:15:5: error: no matching function for call to 'f'
    f(B());
    ^
<source>:6:6: note: candidate template ignored: failed template argument deduction
void f(impl<D, I...> const&)
     ^

所有三个编译器都在运行： https://godbolt.org/g/OKFpPl

我希望f(A()) 推断D = A, I... = <> 和f(B()) 推断D = B, I... = A，然后可以将其推断为impl 的一个实例。我的最终目标是检测impl 的参数包中的类型，它们本身就是impl 的实例。我是不是走错了路？

Answer 1

不确定但是...

您的B 类继承自impl<B, A>，后者继承自impl<A>。

所以B 继承自几个不同的impl<D, I...> 基类，所以类型推导是不明确的（D == B 和I... == <A> 或D == A 和I... == <>）。

所以我认为clang 3.8是错的，3.9是对的。

我的最终目标是检测 impl 参数包中的类型，它们本身就是 impl 的实例。我是不是走错了路？

是的，你做错了（我认为）。