C++ 使用默认初始化的迭代器创建一个空的 std::string

Question

以下代码是否有效且定义明确？

auto start = std::string::const_iterator();
auto end = std::string::const_iterator();

auto output = std::string(start, end);

（预期的输出是一个空字符串。）

Answer 1

根据cppreference.com，一个随机访问迭代器，其中一个字符串迭代器是一个，meets all requirements of a bidirectional iterator。

此外，一个双向迭代器meets all requirements of a forward iterator。

最后，从 C++14 开始，前向迭代器 can be value-initialized 将与所有其他相同类型的值初始化前向迭代器进行比较：

值初始化的 LegacyForwardIterator 的行为类似于 一些未指定的空容器的结束迭代器：它比较 等于相同的所有值初始化的 LegacyForwardIterators 输入。

基于此，我相信至少在 C++14 中这是明确定义的。