无法使用统一初始化复制std::vector

Question

以下代码无法在 GCC 4.7.2 或 Clang 3.2 中编译：

#include <vector>
#include <functional>

int main()
{
   std::vector<std::function<void()>> a;
   std::vector<std::function<void()>> b{a};
}

问题在于编译器将尝试使用initializer_list创建b，而显然它应该只是调用复制构造函数。然而，这似乎是期望的行为，因为标准说initializer_list构造函数应该优先。

此代码适用于其他 std：：vector，但对于 std：：函数，编译器无法知道您是需要initializer_list构造函数还是另一个构造函数。

似乎没有办法解决这个问题，如果是这种情况，那么你永远不能在模板化代码中使用统一初始化。这将是一个巨大的耻辱。

另一方面，VisualStudio（2012年11月CTP）对此并不抱怨。但是initializer_list支持目前还不是很好，所以可能是个bug。

Answer 1

我看不出有什么理由不让gcc(版本4.8.0 20121111)和clang(版本3.3(主干171007))编译代码。也就是说，“统一初始化”远非统一:在调用构造函数时，肯定会出现不能使用大括号的情况。

Answer 2

这是LWG 2132，它还不是一个缺陷报告，但有明确的共识(和实施经验)来修复它。该标准规定< code>std::function的构造函数将接受任何类型，因此，如果可行的话，初始化列表构造函数总是优先于其他构造函数，所以您的代码尝试从< code>std::initializer_list构造一个向量

换句话说，问题在于std：：function有一个不受约束的模板构造函数，允许从任何类型进行转换。这在你的情况下会导致一个问题，因为初始值设定项列表构造函数在可行的情况下比其他构造函数更可取，而无约束函数构造函数意味着总是可以创建initializer_list

对2132建议的解决方案阻止从不可调用的类型构造< code>std::function，因此初始值设定项列表构造函数不可行，而是调用< code>vector复制构造函数。我为GCC 4.8实现了这个解决方案，它也已经在Clang的libc库中实现了。