为何在此处使用uintptr_t类型进行强制转换？

代码上下文 #

struct arguments {
    uint32_t threads;
    uint32_t size;
};

void *run_v1(void *arg) {
    uint32_t thread = (uintptr_t) arg;
    for (uint32_t j = 0; j < arguments.size; ++j) {
        size_t global_index = get_global_index(thread, j);
        char *string = get_string(global_index);
        hash_table_v1_add_entry(hash_table_v1, string, global_index);
    }
    return NULL;
}

...
int main () {
    ...
    for (uintptr_t i = 0; i < arguments.threads; ++i) {
        int err = pthread_create(&threads[i], NULL, run_v1, (void*) i);
        if (err != 0) {
            printf("pthread_create returned %d\n", err);
            return err;
        }
    }
   ...
}

参考规范 #

uintptr_t是一种无符号整数类型，具备以下特性：任何有效的void指针均可转换为此类型，再转换回void指针后，结果与原指针相等

为什么必须用uintptr_t转换，而非直接用uint32_t？ #

• 平台兼容性：不同架构的指针宽度存在差异，32位系统中指针为32位，64位系统中为64位。uintptr_t是标准专门定义的、宽度与指针完全匹配的无符号整数类型，能保证在任何平台上都完整存储指针的值。
• 避免截断风险：uint32_t是固定32位宽度，在64位系统中转成void*时高位会被补0；如果线程索引超出32位能表示的范围（虽少见但需考虑通用性），或后续逻辑依赖完整的指针宽度，就会出现错误。
• 标准合规性：uintptr_t是标准唯一保证的、可在整数与指针间安全互转的类型，来回转换后值保持一致。

这种写法是否属于未定义行为？ #

严格来说，C标准仅保证“有效void*转uintptr_t再转回void*结果一致”，但将整数转void*属于实现定义行为（并非未定义行为）。在POSIX兼容系统（如Linux、BSD）中，这种用法被明确支持：只要整数是uintptr_t的有效值，转成void*再转回uintptr_t，结果与原整数完全一致。

这种写法是工程实践中的常用技巧，因为pthread_create仅接受void*类型参数，传递简单整数时用uintptr_t中转是最稳妥的方式，在所有POSIX平台上都安全。

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