奇异迭代器的赋值

Question

一个“奇异迭代器”是defined as an:

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

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

其次，我一直told here那个：

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

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

void* foo = nullptr;
auto bar = foo;

但是it runs fine。

---

我提出这个问题的更深层动机是在我有这样一个结构的情况下：

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

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

Foo unasigned;

assigned = unassigned;

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

Answer 1

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

答案是：肯定是的。在 UB 上工作就是 UB。

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

Answer 2

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

int foo = 0;
auto bar = foo;

但是，如果你这样做了，例如

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

那 将是 UB，因为您取消引用空指针。

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