11302

题目

设计一个函数 int parse_u32(const char* s, uint32_t* out);：

1. 当 s == NULL 或 out == NULL 时，选择 assert 还是返回错误？说明理由。
2. 当字符串不是合法数字或超出范围时，返回什么错误信息（错误码/errno）？说明理由。

解析

空指针参数通常表示调用方违反函数契约；字符串内容非法则可能来自用户输入，属于可恢复错误。

答案

一种设计是：

1. 对 s != NULL 和 out != NULL 使用 assert；
2. 对格式错误返回 EINVAL；
3. 对超出 uint32_t 范围返回 ERANGE；
4. 成功时返回 0，并把结果写入 *out。

示意代码：

#include <assert.h>
#include <errno.h>
#include <stdint.h>
#include <stdlib.h>

int parse_u32(const char* s, uint32_t* out) {
    assert(s != NULL);
    assert(out != NULL);

    char* end;
    errno = 0;
    unsigned long value = strtoul(s, &end, 10);

    if (end == s || *end != '\0') {
        return EINVAL;
    }
    if (errno == ERANGE || value > UINT32_MAX) {
        return ERANGE;
    }

    *out = (uint32_t)value;
    return 0;
}