请考虑以下代码:
#include <vector> struct A { explicit A(int i_) : i(i_) {} int i; }; int main() { std::vector<int> ints; std::vector<A> As(ints.begin(),ints.end()); }
上面应该编译吗?由于构造函数被明确标记,我的感觉是它不应该.
Microsoft Visual C同意,给出一个明确的错误消息:无法从’int’转换为’const A’; struct’A’的构造函数声明为’explicit’
但是,使用Comeau’s online compiler,代码编译成功.
哪个是对的?
编辑:
有趣的是,将向量更改为set(在添加运算符<到A之后)会导致两个编译器都出错. 但是,改变向量< int>映射< int,int>和矢量< A>映射< A,A>导致两个编译器都接受代码!
解决方法
我查看了GCC的STL实现,它应该有类似的行为.这就是原因.
>向量的元素由通用函数模板初始化,该模板接受任何两种类型X和V并调用new(p)X(v),其中v是V(我有点解释).这允许显式转换.
>集合或映射的元素由_tree< T,...>的私有成员函数初始化.特别期望T const&要传入.此成员函数不是模板(超出模板的成员),因此如果初始值不能隐式转换为T,则调用失败. (我再次简化代码.)
在使用范围初始化容器时,标准不要求显式转换工作或隐式转换不起作用.它只是说范围被复制到容器中.对你的目的肯定是模棱两可的.
考虑到几周前像the one I had这样的问题,他们已经完善了标准,因此存在令人惊讶的这种模糊性.