无法使用统一初始化复制std :: vector <std :: function <void()>>.它是否正确？

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 :: function,编译器无法知道你是否需要initializer_list构造函数或其他构造函数.

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

另一方面,Visual Studio(2012年11月CTP)并没有抱怨这一点.但是此时initializer_list支持不是很好,所以它可能是一个bug.

Answer 1

这是LWG 2132,它还不是一个缺陷报告,但有明确的共识(和实施经验)来解决它.标准说std::function构造函数将接受任何类型,因为初始化列表构造函数总是优于其他构造函数(如果它是可行的),您的代码会尝试std::initializer_list<std::function<void()>>使用从对象初始化的单个元素构造向量a.然后导致错误,因为虽然你可以构造一个std::function<void()>从a结果对象不可调用.

换句话说,问题是std::function有一个无约束的模板构造函数允许从任何类型转换.这会导致您的情况出现问题,因为如果可行,初始化列表构造函数优先于其他构造函数,而无约束function构造函数意味着始终可以initializer_list<function<void()>>从任何类型创建,因此初始化列表构造函数始终可行.

建议的2132解决方案阻止std::function从不可调用类型构造a ,因此初始化列表构造函数不可行,vector而是调用复制构造函数. 我为GCC 4.8实现了该解决方案,它已经在Clang的libc ++库中实现了.

Answer 2

我看不出有什么理由不应该编译,gcc(版本4.8.0 20121111)和clang(版本3.3(trunk 171007))编译代码.也就是说,"统一初始化"远非统一:在调用构造函数时,肯定会出现无法使用大括号的情况.