scanf处理unsigned int与size_t溢出输入的行为差异及全类型问询

在使用scanf处理超大整数输入时，不同无符号整数类型的溢出行为存在明显差异：当输入超出unsigned int范围时会被截断，而64位系统中输入超出size_t范围时会被设置为该类型的最大值。以下是具体分析：

测试代码与现象 #

测试代码 #

#include <stdio.h>

int main() {
    unsigned int num1;
    size_t num2;

    printf("Enter a large number for unsigned int: ");
    scanf("%u", &num1);
    printf("Stored value (unsigned int): %u\n", num1);

    printf("Enter a large number for size_t: ");
    scanf("%zu", &num2);
    printf("Stored value (size_t): %zu\n", num2);

    return 0;
}

示例输入 #

For unsigned int: 12345678901234567890
For size_t: 123456789012345678901234567890

示例输出 #

• unsigned int：得到与输入不符的截断后小值（实际为输入值对2^32取模的结果）
• size_t：存储为64位无符号整数最大值18446744073709551615

行为差异的核心原因 #

这种差异本质是C标准未定义无符号整数输入溢出的处理逻辑，不同库实现选择了不同的处理策略：

1. unsigned int的截断行为
   多数C库（如GNU C库）对%u格式的溢出输入采用模运算截断：将输入值对2^N取模（N为目标类型的位数，32位系统中unsigned int是32位），保留低N位作为存储值。这符合C标准中无符号整数本身溢出的定义（无符号整数溢出时自动取模）。

2. size_t的最大值填充行为
   对于size_t对应的%zu格式符，部分库实现（如GNU C库）会将超出范围的输入转换为该类型的最大值，同时设置errno为ERANGE标识范围错误。这是库开发者为了提供更直观的溢出反馈而选择的实现策略。

scanf处理整数溢出的通用规则 #

根据C11及后续标准，scanf对整数输入的溢出处理遵循以下规则：

1. 无符号整数类型（unsigned int、unsigned long、size_t等） #

当输入值超出目标类型的可表示范围时，行为是未定义的。常见的库实现处理方式包括：

• 截断低N位（对2^N取模）
• 将变量设置为类型的最大值
• 设置errno为ERANGE并返回转换失败状态

2. 有符号整数类型（int、long、int64_t等） #

同样，输入超出范围时行为未定义。常见处理方式包括：

• 截断后按有符号整数规则解析（可能产生负数）
• 设置为类型的最大值或最小值
• 触发errno=ERANGE

3. 错误检测提示 #

scanf的返回值仅表示成功转换的输入项数量，不会直接标识溢出。若需要检测溢出，需在调用scanf前将errno置0，调用后检查errno是否为ERANGE。例如：

#include <stdio.h>
#include <errno.h>

int main() {
    size_t num;
    errno = 0;
    scanf("%zu", &num);
    if (errno == ERANGE) {
        printf("Input exceeds size_t range\n");
    }
    return 0;
}

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