这是 main() 的有效定义吗

Question

C11 标准声明：

5.1.2.2.1 程序启动

1. 程序启动时调用的函数名为main。实现没有声明这个函数的原型。它应使用int 的返回类型定义并且不带参数：

   int main(void) { /* ... */ }
   

   或带有两个参数（此处称为argc 和argv，尽管可以使用任何名称，因为它们是声明它们的函数的本地名称）：

   int main(int argc, char *argv[]) { /* ... */ }
   

   或等价物； ¹⁰⁾，或以其他一些实现定义的方式。

---

¹⁰⁾ 因此，int 可以替换为定义为int 的typedef 名称，或者argv 的类型可以写为char ** argv，等等。

我们将忽略这部分：或以其他实现定义的方式。因为我只对与上述两个示例等效的定义感兴趣。

这是否是 main 的有效定义，因为 char* a[4] 和 char** 是等价的：

int main(int argc, char* argv[4]){/*...*/}

VLA 数组怎么样，我们假设printf 将返回一个正整数值：

int main(int argc, char* argv[printf("Hello there!")]){/*...*/}

Answer 1

是的，这都包含在“或等价物”中。关于重命名参数或使用typedefed 类型的脚注只是示例。

我最喜欢的变种是

int main(int argc, char* argv[argc+1]){/*...*/}

因为它拥有关于所有main 函数语义的最多信息。

Answer 2

int main(int argc, char* argv[4]){/*...*/}  

是main 的有效签名。编译器将忽略char argv[4] 中的4，它等效于char argv[] = char **argv。第二个签名也是如此。