请考虑以下代码:
#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这样的问题,他们已经完善了标准,因此存在令人惊讶的这种模糊性.
原文地址:https://www.jb51.cc/c/119225.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。