strtod()是否应跳过区域设置特定空白？C库合规性问询

结论 #

这明确是C库实现的bug，不符合C23标准的强制要求。

标准依据 #

C23标准对strtod()系列函数的行为有明确规定：

函数会先跳过所有匹配当前区域设置中isspace()定义的空白字符，再开始解析数值。

strtol()的行为完全符合该要求——它正确跳过了被当前区域识别为空白的字符160（'\240'），但strtod()未执行此步骤，直接返回0.0且未移动指针，明显违反了标准。

测试验证细节 #

测试代码 #

#include <stdio.h>
#include <stdlib.h>
#include <locale.h>
#include <ctype.h>

int main(void) {
    // 设置将'\240'视为空白的区域（如部分UTF-8区域）
    if (!setlocale(LC_ALL, "en_US.UTF-8")) {
        perror("setlocale failed");
        return 1;
    }
    const char *s = "\240123";
    char *endptr;

    // 测试strtol
    long val_l = strtol(s, &endptr, 10);
    printf("strtol结果: %ld, 指针偏移量: %td\n", val_l, endptr - s);

    // 测试strtod
    double val_d = strtod(s, &endptr);
    printf("strtod结果: %f, 指针偏移量: %td\n", val_d, endptr - s);

    // 验证当前区域下'\240'的空白属性
    printf("当前区域中isspace('\\240')返回值: %d\n", isspace((unsigned char)'\240'));
    return 0;
}

测试输出 #

strtol结果: 123, 指针偏移量: 4
strtod结果: 0.000000, 指针偏移量: 0
当前区域中isspace('\240')返回值: 1

环境信息 #

• 编译器：GCC 12.2.0 / Clang 14.0.6
• C库：GNU C Library (glibc) 2.35

后续建议 #

这类问题属于区域设置相关的边缘case，通常是旧版C库的实现疏漏。建议检查所用C库的最新版本，主流C库（如glibc）一般会在后续迭代中修复这类标准符合性问题。

内容的提问来源于stack exchange，提问作者chux