c语言相关性匹配_C语言传参的类型匹配

有一个这样的问题：

形参const char *p和实参char *c可以匹配

形参const char**p和实参char**c不可以匹配

注：argument和parameter：严格而言，parameter指形参，argument指实参

ANSI C：

"每个实参都应该有一个类型，以便将其值赋给一个对象，这个对象具有相对应形参的类型的非限定版本"

含义：传参相当于赋值，函数的形参将具有实参的非限定版本的数据，具体形参是否有限定类型有怎样的限定类型由函数的形参列表指定，实参只负责传值

"赋值操作应满足下列之一：

...

两个操作数都是指针，分别指向两个相匹配的类型的限定或非限定版本，而且左操作数指向的类型必须有右操作数指向类型的所有限定符

..."

含义：ANSI C定义了几种有效的赋值方式，上面描述了指针向赋值的情况。右操作数有的限定符左操作数也一定要有

解释：

"const float*"不是限定类型而是非限定类型，类型为指向限定类型的指针

所以"const char**"是一个指向 指向限定类型的指针，是指向非限定类型的指针

"const char**"和"char**"都是指向非限定类型的指针，但是是不同的非限定类型

虽然他们两个指向的非限定类型本身可以作为类型进行匹配，但是这两个非限定类型的指针不能匹配，因为类型的解析不会递归的进行

const：

const的含义只是意味着这个标识符不能被用来执行赋值操作，但是如果是指针(const type * p)的话，就是不能对*p执行赋值操作

所以const修饰的并不是常量，不能用在如结构体元素的大小相关声明，某些编译器的数组声明，case的表达式

这只会使值通过这个标识符是只读的，但是可能会被其他的方式修改

最常用的地方是函数的形参，因为函数只能通过参数名获取到这个值，所以至少在这个函数中是不会被修改的