c++ - 为什么这个 stringstream 在解析成 double 时会失败？

Question

我有以下代码:

#include <string>
#include <iostream>
#include <sstream>

int main()
{
        size_t x, y;
        double a = std::stod("1_", &x);
        double b = std::stod("1i", &y);

        std::cout << "a: " << a << ", x: " << x << std::endl;
        std::cout << "b: " << b << ", y: " << y << std::endl;

        std::stringstream s1("1_");
        std::stringstream s2("1i");

        s1 >> a;
        s2 >> b;

        std::cout << "a: " << a << ", fail: " << s1.fail() << std::endl;
        std::cout << "b: " << b << ", fail: " << s2.fail() << std::endl;
}

我想解析一个 double 并在遇到无效字符时停止。在这里，我尝试解析 "1_" 和 "1i"，它们都应该给我 double with 值:1。

这是我的输出:

a: 1, x: 1
b: 1, y: 1
a: 1, fail: 0
b: 0, fail: 1

因此 stod 函数按预期工作，但 stringstream 方法没有。标准库中的两种标准 double 解析方法会给出不同的结果对我来说毫无意义吗？

为什么stringstream方法在解析时会失败:"1i"?

编辑:

这似乎给某些人带来了不同的结果。我的编译器信息如下:

Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 9.1.0 (clang-902.0.39.1)
Target: x86_64-apple-darwin17.5.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

编辑2:

这是 libc++ 的一个错误，还是规范只是含糊不清什么才算是 double 的有效解析？

Answer 1

这是一个 libc++ bug .每[facet.num.get.virtuals] bullet 3.2 , 如果一个字符被允许作为在阶段 1 中确定的转换说明符的输入字段的下一个字符(%g for double)，则该字符才应该被累积。累积 1 后，不允许 i，因此阶段 2 应该终止。

libc++ 不加区别地累积字符，直到它到达非原子字符(它还扩展了原子以包括 i，这是解析 inf 所必需的)。