C语言中函数名的特殊含义及未带括号引用的异常输出问题

先看一段常规的C语言示例代码：

#include <stdio.h>

int x;

int func(int a){
    x++;
    return a;
}

int main(){
    int a = 1;
    int n = func(a);
    printf("x = %d, n = %d", x, n);
    return 0;
}

该代码运行结果符合预期，将输出x = 1, n = 1。

若对上述代码做小幅修改，调整main函数内的函数调用语句，修改后的代码如下：

#include <stdio.h>

int x;

int func(int a){
    x++;
    return a;
}

int main(){
    int a = 1;
    int n = func;
    printf("x = %d, n = %d", x, n);
    return 0;
}

修改后的代码未正确书写函数调用格式，但编译器未抛出错误，程序运行后输出结果为x = 0, n = 4199760，与预期不符。

核心疑问：

• 该程序运行过程中出现了什么问题？
• C语言中的函数名是否具备特殊含义？

异常来自C语言函数名的隐式转换规则，以及缺失函数调用运算符导致的函数逻辑未执行，具体说明如下：

C语言函数名的特殊语义 #

根据C标准，除了作为sizeof、单目&运算符的操作数两种特殊场景外，所有表达式上下文中的函数名都会自动隐式退化为指向对应函数的指针：单独书写func时，它代表的是func函数在进程内存空间中的入口地址，等价于&func；只有当函数名后紧跟()函数调用运算符时，程序才会跳转到该地址执行函数内部逻辑，处理传入参数、生成返回值。

编译器未报错的原因 #

语句int n = func;的本质是将函数指针类型的值赋值给int类型变量：

• 早期C标准（如C89）默认允许指针与整数类型的隐式转换，不做强制类型校验
• 现代GCC、Clang等编译器在默认编译配置下，仅会抛出“指针与整数类型不匹配”的警告，不会直接终止编译；只有开启-Wall -Werror这类严格编译选项时，才会将这类警告判定为错误，拦截编译流程

异常输出的逻辑 #

输出结果完全匹配错误代码的实际执行路径：

• 代码全程没有触发func函数调用，函数内部的x++语句从未执行。C语言中全局变量默认初始值为0，因此输出x = 0是必然结果。
• 变量n存储的是func函数的内存入口地址，将地址按十进制整数格式打印就得到了4199760这个值。如果系统开启了地址随机化（ASLR），每次程序运行得到的这个数值都会变化，不是固定常量。

正确调用写法 #

要触发函数执行，必须在函数名后补充括号与对应参数，即第一版代码中的写法：

int n = func(a);

该语句才会真正跳转执行func的内部逻辑，完成x自增，将传入参数a的值作为返回值赋值给n，最终得到预期的x = 1, n = 1输出。

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