很奇怪的过载故障

Question

我遇到了一个非常奇怪的过载故障。我能够隔离问题，但我无法终其一生找出问题所在。

代码如下

#include <vector>
#include <iostream>

template<class X>
class Foo
{
public:
  Foo(const std::initializer_list<X> &A){}
  Foo(size_t n){}
};

class Bar
{
public:
  Bar() = default;
  Bar(const Foo<size_t> &A, bool a=true, bool b=true){};
};

int main()
{
  Bar A({1,2});
}

编译结果在

$ clang++ -std=c++14 so.cpp

so.cpp:21:11: error: call to constructor of 'Bar' is ambiguous
      Bar A({1,2});
          ^ ~~~~~
so.cpp:12:11: note: candidate is the implicit move constructor
    class Bar
          ^
so.cpp:12:11: note: candidate is the implicit copy constructor
so.cpp:16:7: note: candidate constructor
      Bar(const Foo<size_t> &A, bool a=true, bool b=true){};
      ^
1 error generated.

解决问题的两件事是：

• 正在删除Foo(size_t n)。
• 将构造函数更改为Bar(const Foo<size_t> &A)。

显然我想保留所有功能。所以：出了什么问题？我该如何解决？

Answer 1

出了什么问题？

Bar A({1,2});

可以解释为：

Bar A(Bar{Foo<std::size_t>(1), (bool)2 /*, true*/ });

或

Bar A(Foo<std::size_t>{1,2} /*, true, true*/);

如此模棱两可的称呼。

我该如何解决？

这取决于您期望的结果，例如添加 explicit 可能会有所帮助。

制作explicit Foo(size_t n) 将只允许：

Bar A(B{Foo<std::size_t>(1), (bool)2 /*, true*/ });