模板上下文中的“不明确的基类”错误

Question

我有这个函数模板：

template <class TemplateArgument, template<class> class TemplateType>
TemplateArgument f(const TemplateType<TemplateArgument>& arg)
{
    return TemplateArgument();
}

这样使用，编译失败：

struct A {};
template <typename T> struct S {};
template <typename T> struct B : public S<T> {};

struct C : public B<A> {};

int main()
{
    f(C());
    return 0;
}

错误信息是：

<source>: In function 'int main()':

<source>:15:10: error: no matching function for call to 'f(C)'

     f(C());

          ^

<source>:2:18: note: candidate: template<class TemplateArgument, template<class> class TemplateType> TemplateArgument f(const TemplateType<TemplateArgument>&)

 TemplateArgument f(const TemplateType<TemplateArgument>& arg)

                  ^

<source>:2:18: note:   template argument deduction/substitution failed:

<source>:15:10: note:   'const TemplateType<TemplateArgument>' is an ambiguous base class of 'C'

     f(C());

          ^

发生在 GCC（任何版本）和 clang（任何版本）中。 MSVC 不会发生这种情况。现场演示：https://godbolt.org/g/eWxeHJ

为什么会出现这个错误？我没有看到任何歧义，“歧义基类”错误通常发生在多重继承情况下，不是吗？ 如何使我的代码编译（正确推断模板参数）？

请注意，我无法编辑 A、B、C、S 类及其相互关系，我只能编辑我的函数 f() 以正确接受这些类。

Answer 1

编译器不确定是否将args 类型推断为B<A> 或S<A>。我不确定这个具体案例，但众所周知，MSVC 违反了标准，尤其是在涉及模板时。

至于您的功能，您需要通过显式转换为适当的基数自行解决这种歧义：

f((const B<A> &)C());

或通过显式指定模板参数：

f<A, B>(C());

通常，只要语言中存在任何歧义，编译器永远不会自动解决它，因为这只是对用户究竟想要什么的猜测，在某些情况下可能是正确的，而在其他情况下可能完全错误。