在函数重载中使用标签

Question

为什么 X 中的方法测试不明确，如何解决这个问题？

struct A{};
struct B{};

template<typename T>
struct I { void test(T){} };
struct X : public I<A>, I<B> {};

int main(int argc, const char *argv[])
{
    X x;
    x.test(A());
    return 0;
}

编译错误：

In function ‘int main(int, const char**)’:
error: request for member ‘test’ is ambiguous
error: candidates are: void I<T>::test(T) [with T = B]
error:                 void I<T>::test(T) [with T = A]

Answer 1

test 是不明确的，因为它是 X 的两个基类的成员。虽然两个函数并不匹配，但名称匹配。

使用显式转发修复：

struct X : public I<A>, I<B> {
    template <typename T>
    void test(T t) { I<T>::test(t); }
};

Answer 2

使用 using:

struct A{};
struct B{};

template<typename T>
struct I { void test(T){} };
struct X : public I<A>, I<B> 
{
    using I<A>::test;
    using I<B>::test;
};

int main(int argc, const char *argv[])
{
    X x;
    x.test(A());
    return 0;
}

gcc 错误 request for member 'test' is ambigacy 在这里并不是最好的，我们可以更好地看到 clang: member 'test' found in 错误的含义不同类型的多个基类

Answer 3

由于 X 乘法继承自 I 和 I，因此对 test() 的调用为模糊的。您可以这样做来显式声明您所指的是哪个父级：

struct A{};
struct B{};

template<typename T>
struct I { void test(T){} };
struct X : public I<A>, I<B> {};

int main(int argc, const char *argv[])
{
    X x;
    x.I<A>::test(A());
    return 0;
}