C语言函数原型是否转换实参？带static/restrict形参的编译问询

1. 函数原型会对实际参数进行类型转换吗？ #

当然会，函数原型的核心作用之一就是帮编译器做合法的隐式类型转换，同时严格检查参数类型是否匹配。具体来说：

• 当调用有原型声明的函数时，如果实参和形参类型兼容，编译器会自动把实参转换成形参的类型。举个例子：
  • 声明double calculate(double x);，调用calculate(5)时，编译器会把int类型的5转换成double类型的5.0再传入；
  • 把char/short这类小整数自动提升为int（如果形参是int），把float自动转换成double（如果形参是double）；
  • 兼容的指针类型也会自动转换，比如char*可以直接传给void*形参。
• 如果实参和形参类型完全不兼容（比如把int传给char*形参），编译器会直接报错，不会强行转换。
• 额外提一句：如果没有函数原型（老C风格的写法），编译器会做默认参数提升，但这种方式容易出问题，现代C代码一定要用函数原型。

2. 形参的static/restrict关键字会改变实参的属性吗？ #

先纠正你例子里的一个错误：static int param2这种写法是不合法的——C标准里static不能用来修饰普通的非数组形参，它的合法用法只有在数组形参中，比如void process(int arr[static 10])，用来告诉编译器传入的数组至少有10个元素。

回到你的核心问题：不管是restrict还是合法使用的static，都不会把你的实参变量“变成”带有这些修饰的变量，它们本质是给编译器的优化提示或约束：

• 对于restrict指针形参：它是在告诉编译器，在这个函数内部，这个指针是访问它指向的内存的唯一途径（没有其他指针会同时修改这块内存）。编译器会基于这个提示做优化（比如减少不必要的内存读写），但你的实参指针my_var1本身不会被标记为restrict，这个约束只在函数调用的上下文里生效。
• 对于数组形参的static：它只是给编译器一个保证——传入的数组足够大，编译器可以放心地做数组访问的优化，但实参数组的存储类型（比如是否是static存储的全局数组）不会被改变。

简单说：这些关键字是函数接口的一部分，用来约束函数的使用方式或给编译器优化空间，不会改变你传入的变量本身的任何属性。

内容的提问来源于stack exchange，提问作者S.Buzzoni