对模板基构造函数的调用不明确

Question

以下代码

template<class T>
struct Bar
{
  Bar(T& myT){}
  Bar(const Bar&) = delete;
};

template<class T>
struct Foo: public T,
            public Bar<T>
{
    Foo(): Bar<T>(*this){}
};

class Baz{};

int main()
{
    Foo<Baz> myFoo;
    return 0;
}

给我这个错误：

error: call to constructor of 'Bar<Baz>' is ambiguous

我该如何解决这个问题？

（看起来很简单，我确信某处有重复，但我找不到它......我发现的所有关于“模糊构造函数”的问题都与重载的构造函数有关，这对我来说似乎不同。 )

Answer 1

已删除的构造函数参与重载决议。这是为了确保在程序尝试使用已删除的构造函数时编译确实失败。详情请见this answer。

C++11标准中的相关部分是8.4.3/2：

隐式或显式引用已删除函数（而不是声明它）的程序是格式错误的。

[ 注意：这包括隐式或显式调用函数并形成指针或指向成员的指针 到功能。它甚至适用于未潜在评估的表达式中的引用。如果一个函数 被重载，只有当函数被重载决议选择时才会被引用。 ——尾注]

您可以通过使构造函数调用明确来解决您的问题：

template<class T>
struct Foo: public T,
            public Bar<T>
{
    Foo(): Bar<T>(static_cast<T &>(*this)){}
};

Answer 2

Bar<Baz> 中有两个构造函数：

Bar(Baz& );
Bar(const Bar& );

第二个被删除的事实对于重载解决方案并不重要。您正在尝试从 Foo<Baz>&... 构建它.这是一个更简单的示例，没有演示相同问题的模板：

struct A { };
struct B { };

struct C : A, B { };

void foo(A& ) { }
void foo(B& ) { }

int main() {
    C c;
    foo(c); //  error: call of overloaded ‘foo(C&)’ is ambiguous
}

为了打破歧义，可以明确地告诉编译器使用哪个重载进行强制转换：

Foo(): Bar<T>(static_cast<T&>(*this)) {} // will call Bar(Baz&)