使用std :: initializer_list构造函数而不产生歧义？

Question

我有一个叫做Shape的类，它可以从任何可迭代的类中被初始化，并且一个名为Array的类只包含一个Shape。但是，我得到一个编译错误，当我尝试初始化Array我无法解释：

class Shape 
{ 
public: 
    template<typename Iterator> 
    Shape(Iterator first, Iterator last) 
     : m_shape(first, last) {} 

    template <typename Iterable> 
    Shape(const Iterable& shape) 
     : Shape(shape.begin(), shape.end()) {} 

    template<typename T> 
    Shape(std::initializer_list<T> shape) 
     : Shape(shape.begin(), shape.end()) {} 

private: 
    std::vector<std::size_t> m_shape; 
}; 

class Array 
{ 
public: 
    Array(const Shape& shape) 
     : m_shape(shape) {} 
private: 
    Shape m_shape; 
}; 

int main() { 
    Shape s{0};  // ok 
    Array a1({1, 2}); // ok 
    Array a2({0}); // error 
} 

上的Shape第二构造出现编译错误：

prog.cxx:35:16: required from here 
prog.cxx:14:23: error: request for member ‘begin’ in ‘shape’, which is of non-class type ‘const int’ 
     : Shape(shape.begin(), shape.end()) {} 
       ~~~~~~^~~~~ 
prog.cxx:14:38: error: request for member ‘end’ in ‘shape’, which is of non-class type ‘const int’ 
     : Shape(shape.begin(), shape.end()) {} 
           ~~~~~~^~~ 

我不不要理解这里发生的事情。为什么调用Iterable构造函数而不是initializer_list<T>构造函数？ Shape构造函数与{0}和Array构造函数有什么区别？

Answer 1

代码格式不正确，但不是gcc声称它的原因。当你写：

Array a2({0}); 

我们确实在使用初始化{0}中的Array所有构造函数重载解析。

选项＃1：

Array(Shape const&); 

上，我们将递归到试图复制初始化Shape与{0}这最终调用std::initializer_list<int>构造模板由于列表初始化期间优惠待遇std::initializer_list。

但是，这只是一个选项。选项＃2是：

Array(Array&&); 

隐式移动构造函数。要检查这是否是候选人，我们看看我们是否可以初始化Array与{0}，基本上重新开始。在下一层中，我们看看我们是否可以用0初始化Shape（因为我们删除了一层），并且我们可以可以 - 这是您的可接受所有东西的构造器模板。这确实涉及两个用户定义的转换序列，但是that's ok for list-initialization。

因此，我们有两种选择：

• 选项＃1：{0} --> Shape
• 选项＃2：0 --> Shape --> Array

也不是比其他更好的，所以调用的是模糊的。

---

简单的解决方法是向您的构造函数模板添加一个约束，使其实际上是一个范围。无论如何，这通常是很好的做法，因为你不希望is_constructible_v<Shape, int>为真...