关于C语言无复合语句函数定义的语法与链接问题问询

这问题戳中了C语言里几个容易混淆的边界：函数声明/定义的区别、编译器属性扩展，还有几乎被遗忘的旧式函数语法。我给你逐个拆解：

1. 无复合语句的“函数定义”其实是带编译器属性的函数声明 #

先看你写的第一行代码：

void __tu_finishme(const char *file, int line, const char *format, ...) tu_printflike(3, 4);

很多人会误以为这是函数定义，但按照C标准，函数定义必须包含复合语句（也就是{}包裹的函数体）——没有{}的话，这本质上是一个函数声明，只是额外带了编译器的属性扩展。

这里的tu_printflike(3, 4)是编译器（大概率是GCC/clang这类支持扩展的编译器）的属性，作用和GCC内置的__attribute__((format(printf, 3, 4)))类似：告诉编译器，第3个参数是printf风格的格式字符串，第4个参数是可变参数的起始位置，编译时会做参数类型检查，避免格式字符串和参数不匹配的错误。

因为这只是声明，编译器不会生成任何函数实体代码，它只是告诉编译器“这个函数存在，你可以放心调用它”。但链接阶段需要找到这个函数的实际实现（比如在某个库或者其他.c文件里），如果没找到，就会报链接错误——这就是你遇到的“链接器期望__tu_finishme已实现”的原因。

2. 带复合语句的才是真正的函数定义 #

再看第二个写法：

void __tu_finishme(const char *file, int line, const char *format, ...) { tu_printflike(3, 4); }

这里的{}明确了这是函数定义：编译器会为这个函数生成实体代码，链接器就不需要再找外部的实现了（除非你显式加了extern关键字，但默认函数是外部链接，不过这里自己实现了，所以符号会被本文件的定义覆盖）。

至于函数体里的tu_printflike(3,4)，大概率是一个宏——因为属性不能写在函数体里，所以这个宏应该是被定义为空，或者是某种编译期的断言/检查，不会生成实际代码。这也是为什么这个版本有“正常”链接属性：它是一个完整的函数实现，链接器能找到对应的符号。

3. 混合风格的函数定义：K&R旧式语法 #

最后看这个奇怪的写法：

void foo(const char* c) bar() { ha = hoo(); boo(ha); }

这是C语言早期（K&R C，也就是C89之前的标准）的旧式函数定义语法，现在已经被C99及以后的标准废弃，但很多编译器为了兼容老代码还是支持它。

拆解一下标准的K&R风格写法（你的例子是混合了现代原型和旧式语法的变体）：

// 标准K&R写法：先写函数名和参数标识符，再单独声明参数类型
void foo(c)
const char* c;
{
    ha = hoo(); boo(ha);
}

而你看到的bar()，其实是旧式语法里的参数标识符列表——如果是bar()，大概率是表示这个函数除了前面声明的c之外，没有其他参数（或者bar是某个被宏替换的参数名）。这种混合现代原型和旧式语法的写法其实不符合标准，是编译器兼容老代码的产物，不推荐在新代码里使用。

总结一下核心点：

• 区分函数声明（无{}，告诉编译器函数存在）和定义（有{}，生成函数实体）
• 编译器属性扩展通常写在声明或定义的末尾，用于给编译器额外的类型检查提示
• K&R旧式函数语法是历史遗留，尽量用现代的原型风格写函数定义

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