向pthread_create传递无参函数是否存在未定义行为？

你的代码存在未定义行为，虽然GCC用-Wall -Wextra编译没警告，但不符合C标准的要求，具体原因如下：

1. 函数签名不兼容的本质 #

pthread_create要求的线程函数签名是void *(*)(void *)，而你定义的void *f()在C标准中属于参数列表不确定的函数（注意：C语言里f()不等于f(void)，后者才是严格的无参函数）。这种情况下，f的函数指针类型和pthread_create期望的类型完全不兼容。根据C标准，将不兼容的函数指针类型转换后调用，属于未定义行为——程序可能正常运行，也可能崩溃、出现不可预测的结果，完全依赖具体平台的实现。

2. 为什么GCC没给出警告？ #

-Wall -Wextra并没有覆盖所有类型不匹配的检查，要检测这种函数指针不兼容的问题，需要开启更严格的警告选项，比如-Wpointer-type-mismatch或者-Wpedantic。加上这些选项后，编译器会明确提示：

warning: passing argument 3 of ‘pthread_create’ from incompatible pointer type

3. 运行正常只是平台巧合 #

在大多数常见的x86/AMD64平台上，调用约定允许传递多余的参数而不影响程序运行——pthread_create会给线程函数传递一个void*参数，但你的f()不接收这个参数，栈上的冗余数据不会被访问，所以看起来运行正常。但这不是标准保证的行为，换用其他平台（比如某些嵌入式系统）或者不同的调用约定，就可能出现栈错误、程序崩溃等问题。

4. 正确的写法 #

必须让线程函数的签名严格符合pthread_create的要求，即使你不需要使用传入的参数，也要声明它：

#include <pthread.h>
#include <stdio.h>

void *f(void *arg)
{
    (void)arg; // 显式忽略参数，避免未使用变量的警告
    printf("hey\n");
    return NULL;
}

int main()
{
    pthread_t th;
    if (pthread_create(&th, NULL, f, NULL) == 0) {
        pthread_join(th, NULL);
    }
}

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