#include <stdio.h>
test(char c);
int main(void)
{
    int g=1;
    printf("%d\n",test(g));
}
test(char c)
{
    return c+1;
}
 
有这么一段代码，尽管编译器提示了错误，但是程序仍然能够正常运行
 
 对于参数类型的不匹配，有一个解释是：函数调用时，将实参的值传递给形参，系统首先会自动隐式地把实参的值的类型转换为形参的类型，然后再赋值给形参。
 对于缺少被调函数的类型说明，但程序依然能够正常运行，实际上return在被调函数没有类型说明时默认返回int类型

说明：
 
       例如我在使用Unity的MenuItem特性时，报了错"特性实参必须是特性形参类型的常量表达式、typeof 表达式或数组创建表达式"
 
        
 
       
 
​​​​​​​       经过几次定位，原因是因为我的字符串不是用const定义的，对于特性来说，实参必须是常量值，而我定义的是变量；另外加readonly声明也是没有用的，原因可以参见：C#知识系列：readonly与const的区别
 
public static string CustomEidorMenu = "CustomEidorMenu";
public static readonly string CustomEidorMenu = "CustomEidorMenu";
 
​​​​​​​       经过试验下面的一行代码也是不行的，在C#中，只有"+"进行的字符串拼接字符串常量是可以在编译期间就确定的，其他的都是动态拼接
 
[MenuItem($"{EditorConfig.CustomEidorMenu}/window")]
 
 
 
所以解决方案如下，编译通过
 
public const string CustomEidorMenu = "CustomEidorMenu";
[MenuItem(EditorConfig.CustomEidorMenu + "/window")]
 
 

1、  模板定义以关键字template 开始，后接模板形参表，模板形参表是用尖括号括住的一个或多个模板形参的列表，形参之间以逗号分隔。模板形参表不能为空。
 
2、  模板形参可以是表示类型的类型形参，也可以是表示常量表达式的非类型形参。非类型形参跟在类型说明符之后声明。类型形参跟在关键字 class 或 typename 之后定义，例如，class T 是名为 T 的类型形参，在这里 class 和 typename 没有区别。
 
3、  使用函数模板时，编译器会推断哪个（或哪些）模板实参绑定到模板形参。一旦编译器确定了实际的模板实参，就称它实例化了函数模板的一个实例。实质上，编译器将确定用什么类型代替每个类型形参，以及用什么值代替每个非类型形参。推导出实际模板实参后，编译器使用实参代替相应的模板形参产生编译该版本的函数。编译器承担了为我们使用的每种类型而编写函数的单调工作。
 
4、  函数模板可以用与非模板函数一样的方式声明为 inline。说明符放在模板形参表之后、返回类型之前，不能放在关键字 template 之前。
 
5、  类模板也是模板，因此必须以关键字 template 开头，后接模板形参表。除了模板形参表外，类模板的定义看起来与任意其他类问相似。类模板可以定义数据成员、函数成员和类型成员，也可以使用访问标号控制对成员的访问，还可以定义构造函数和析构函数等等。在类和类成员的定义中，可以使用模板形参作为类型或值的占位符，在使用类时再提供那些类型或值。
 
6、  与调用函数模板形成对比，使用类模板时，必须为模板形参显式指定实参。
 
7、  用作模板形参的名字不能在模板内部重用。当然，正如可以重用函数形参名字一样，模板形参的名字也能在不同模板中重用。
 

 
 
8、  同一模板的声明和定义中，模板形参的名字不必相同。每个模板类型形参前面必须带上关键字 class 或 typename，每个非类型形参前面必须带上类型名字，省略关键字或类型说明符是错误的。
 
9、  除了定义数据成员或函数成员之外，类还可以定义类型成员。如果要在函数模板内部使用这样的类型，必须告诉编译器我们正在使用的名字指的是一个类型。必须显式地这样做，因为编译器（以及程序的读者）不能通过检查得知，由类型形参定义的名字何时是一个类型何时是一个值。
 

 

函数在定义的时候，可以定义“形参列表”，用于接收参数！形参列表就是定义一系列的参数，可以是变量或函数指针。形参变量用于接收函数调用的时候，传递过来的数据。
 
这里我们先讲解形参是变量的知识，后续再讲解形参是函数指针的知识。
 
根据函数的定义格式如下：
 
返回数据类型 函数名(形参列表)
 
{
 
函数体
 
}
 
那么，形参列表是变量的时候，就是如同定义变量一样，如下：
 
返回数据类型 函数名(数据类型名 变量名)
 
如果要定义多个参数变量，定义格式如下：
 
返回数据类型 函数名(数据类型名 变量名1, 数据类型名 变量名2, … 数据类型名 变量名N)
 
可以看到，形参列表就是定义多个变量的列表，定义情况有：
 
(1) 如果不定义形参列表，函数形参可以使用void关键字修饰；
 
(2) 如果只定义1个变量，可以如同定义变量一样，末尾不需要用引号“;”结束；
 
(3) 如果定义多个变量，在定义不同变量之间是有逗号“,”分隔开；
 
注意：虽然可以在形参列表中定义多个参数，但是，在编写程序的时候，要考虑函数模块之间的“耦合性”和“扩展性”。不要传递太多的参数。如果项目需求改动，需要修改某个参数，就会导致函数接口的改动，函数接口的改动对程序的改动很大，这种操作应该极力避免。
 
当学习到结构体之后，我们可以把多个参数封装到一个结构体中，函数的参数只需要传递一个结构体变量就OK了。那么，当有数据需要改动，只需要修改结构体的定义和数据，函数的接口不需要修改，那么，函数模块之间的耦合性就降低，提高程序函数模块之间的扩展性。这就是函数模块扩展性好的一个表现形式，也是定义函数时需要思考的注意点。
 
举例说明形参列表的定义如下：
 
void func1(int a); //表示func1函数接收一个int类型的参数
 
void func2(int a, int b, int c)//表示func2函数接收3个int类型的参数
 
那么，调用函数的时候，有：
 
(1) func1(8); 此时，调用func1函数，在参数中填入8这个数值，那么，就把8这个数值传递给形参变量a。等价于：
 
int a = 8;
 
所以，就是把8整数值赋给形参变量a；
 
(2) func2(6, 7, 8); 此时，调用func2函数，在参数列表中填入6, 7, 8这个数值，那么，就会按顺序把数值6赋给形参变量a，把数值7赋给形参变量b，把数值8赋给形参变量c。等价于：
 
int a = 6;
 
int b = 7;
 
int c = 8;
 
所以，就是按顺序，把调用func2函数时的参数，设置到形参变量。
 
那么，下面编写程序测试，看看怎么样使用定义函数的“形参列表”，测试代码如下：
 
 
 
 
程序运行结果如下：
 
 
 
 
可以看到，调用func1(10); 的时候，把实参10这个数值，传递给func1()函数的形参变量a；所以，在func1()函数中输出形参变量a的值，就是10这个数值。
 
同理，func2(6, 7, 8); 函数的调用，是把实参6, 7, 8分别赋给func2()函数的形参变量 a, b, c。等效于：
 
int a = 6;
 
int b = 7;
 
int c = 8;
 
所以，func2()函数的形成变量a, b, c分别得到6, 7, 8这些数值。
 
韦凯峰 Linux C/C++ 程序设计教程，Linux 系统编程，Openwrt 系统开发，微信:13926572996,QQ:1523520001,博客:www.mylinux.vip