奇异迭代器的赋值-解网

问：

“奇异迭代器”被定义为：

不与任何序列关联的迭代器。空指针以及默认构造的指针（包含不确定值）是单数

我的问题 1 是：默认构造的迭代器是否被视为“奇异迭代器”？

对于奇异值，大多数表达式的结果都是未定义的;唯一的例外是销毁包含奇异值的迭代器，将非奇异值分配给包含奇异值的迭代器，以及对于满足 DefaultConstructible 要求的迭代器，使用值初始化的迭代器作为复制或移动操作的源。

问题 2 是：使用“未定义”的结果是否构成未定义行为？如果这是真的，这似乎是未定义的行为：

void* foo = nullptr;
auto bar = foo;

我问这个问题的更深层次的动机是，我有一个这样的结构：

struct Foo {
    vector<int*>::const_iterator;
};

我想知道这样做是否是未定义的行为，其中值构造对象：assignedFoo

Foo unasigned;

assigned = unassigned;

如果问题 1 和 2 的答案是“是”，那么通过调用默认赋值运算符，我将引入未定义的行为:(

C++ 迭代器赋值运算符 default-constructor singular

该段落对迭代器提出了一般要求，即，它们不需要支持具有超出指定值的奇异值的操作。具体迭代器类型（如指针）可能会提供额外的保证。对于，它是一种实现定义的类型，您不能假设它所做的任何事情都超出了标准的要求。vector<int*>::const_iterator

答：

0赞 CinCout 9/24/2015 #1

问题 2 是：使用“未定义”的结果是否构成未定义行为？

答案是：绝对是的。在 UB 上工作是 UB。

它似乎对您来说运行良好，因为它是未定义的。它可以做任何事情，包括按预期工作，以及不按预期工作。

0赞 Some programmer dude 9/24/2015 #2

关于第二个问题的示例，它工作正常，因为并且定义明确，因为您实际上并没有取消引用指针。变量已初始化，您所要做的就是使用另一个初始化的变量初始化一个变量。这与例如没有什么不同foofoo

int foo = 0;
auto bar = foo;

但是，如果您这样做，例如

int* foo = nullptr;
auto bar = *foo;

这将是 UB，因为您取消了对空指针的引用。

此外，未定义的行为是，嗯，未定义......它可能看起来运行良好，但实际上并非如此。

奇异迭代器的赋值