函数原型中声明的结构体：返回型可用参数型为何不可用？

一、两种结构体声明差异的原因 #

这个差异本质是C标准对函数返回类型和参数类型中结构体声明的作用域规则不同导致的：

1. 返回类型中的struct foo：
   在C语言中，当你在函数返回位置声明struct foo时，这个结构体的标识符会被自动提升到函数声明所在的作用域（比如文件全局作用域）。也就是说，struct foo pos();这句声明等价于先在全局作用域声明struct foo;，再声明函数struct foo pos();。所以后续main()里能直接定义struct foo类型的变量接收返回值。
2. 参数类型中的struct point：
   而参数列表里声明的struct point，其作用域仅限于参数列表内部，外部代码（包括main()）无法访问这个类型的标识符。当你尝试在main()中创建struct point的对象传给bar()时，编译器找不到该类型的定义，自然编译失败。

需要补充的是，C的规则和C不同——C中无论返回类型还是参数类型里的结构体声明，都会将标识符提升到外围作用域，但你遇到的情况显然是符合C标准的测试结果，这也是David R. Tribble文档中提到的C/C++不兼容点之一。

二、这类结构体声明方式的适用场景 #

• 隐藏内部实现细节：如果某个结构体仅作为特定函数的返回值使用，不需要外部代码知道其具体成员，用这种方式可以避免暴露类型结构，相当于一种简单的封装。
• 避免污染全局作用域：对于只在单个函数返回值中用到的临时简单结构体，不需要在全局或其他作用域声明，减少不必要的标识符冲突。
• 遗留代码兼容：一些早期的C项目中会使用这种写法，维护这类代码时需要遵循原有规则。

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