代码之家 › 专栏 › 技术社区 › Emile Cormier

向STL算法传递空范围(相同的迭代器)是否会导致定义的行为?

iterator stl c++

Emile Cormier · 技术社区 · 15 年前

考虑以下事项:

std::vector<int> vec(1); // vector has one element
std::fill(vec.begin(), vec.begin(), 42);
std::fill(vec.begin()+1, vec.end(), 43);
std::fill(vec.end(), vec.end(), 44);

将所有的 std::fill 上面的用法会导致定义的行为?我能保证vec不会被修改吗?我倾向于认为“是”,但我想确保标准允许这样的使用。

2 回复 | 直到 15 年前

AnT stands with Russia 15 年前

不,如果不会导致未定义的行为。

本标准规定 空迭代器范围 在24.1/7版本中,没有任何地方提到向 std::fill 算法导致未定义的行为。

事实上,这正是人们从一个经过深思熟虑的实现中所期望的。对于自然处理EMTPY范围的算法,对调用者强制检查空范围的要求将是一个严重的设计错误。

JonM 15 年前

虽然我不认为在标准中特别禁止它,但我会说不。标准要求迭代器范围的类型为 [first, last) 其中包括 first 包括但不包括 last . 传递相同的值 第一 和 最后的 这个定义没有逻辑意义,因为它既包括也不包括,所以我希望得到未定义的行为。

编辑: 清理了我的初始响应,并添加了以下内容:在刷完我的 mathematical interval notation ,我发现了 [x,x) 定义为空集。所以我上面的回答是错误的——我不会期望得到未定义的行为。

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前