微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

C显式构造函数和迭代器

请考虑以下代码
#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 举报,一经查实,本站将立刻删除。

相关推荐