constexpr end istream (sentinel) 迭代器有什么意义？

Question

N2976 建议将constexpr 添加到标准库中的某些位置。它指出 iostreams 不适用于 constexpr 除了结束迭代器。所以istream_iterator 和istreambuf_iterator 被赋予constexpr 默认构造函数，仅此而已。例如，您可以在libstdc++ implementation 中看到constexpr 在整个文件中只出现一次。引发此更改的 LWG 是 #1129。它说：

istream_iterator 和 istreambuf_iterator 应该支持字面量 哨兵价值观。默认构造函数经常用于 终止范围，并且很容易成为 istreambuf_iterator 和 istream_iterator 迭代值时 类型。 [其余省略]

这对我来说没有多大意义。谁能给我举个例子来说明他们的意思吗？

N3308 是另一篇提到但未解释该问题的论文：

一些istream_iterator<T> 构造函数必须是 constexpr 如果T 是文字类型。目的是让 现有的将T类型内联存储到的实现技术 继续工作。 [libstdc++ 这样做，_Tp _M_value] 但是，它 实际上排除了这种技术：默认和复制构造函数 的T 不需要标记constexpr，如果不是，则 istream_iterator<T> 构造函数无法实例化为 constexpr.

上面解释了琐碎的复制构造函数和析构函数，但没有解释为什么默认构造函数被标记为 constexpr。

此外，在在线 GCC 5.2.0 上进行测试时，我复制了 libstdc++ 的实现。唯一的变化是我从istream_iterator() 中删除了 constexpr。在这两种情况下，组件都是相同的。

With constexpr

Without constexpr

Answer 1

这里是一个流迭代器的末端用作标记值的示例：

// istream_iterator example
#include <iostream>     // std::cin, std::cout
#include <iterator>     // std::istream_iterator

int main () {
  double value1, value2;
  std::cout << "Please, insert two values: ";

  std::istream_iterator<double> eos;              // end-of-stream iterator
  std::istream_iterator<double> iit (std::cin);   // stdin iterator

  if (iit!=eos) value1=*iit;

  ++iit;
  if (iit!=eos) value2=*iit;

  std::cout << value1 << "*" << value2 << "=" << (value1*value2) << '\n';

  return 0;
}

http://www.cplusplus.com/reference/iterator/istream_iterator/istream_iterator/

将其声明为constexpr 允许编译器将创建流尾迭代器的调用折叠成常量，而不是每次都调用一个函数。否则它可能必须在循环的每次迭代中都这样做。