有一个这样的问题:
- 形参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的表达式
这只会使值通过这个标识符是只读的,但是可能会被其他的方式修改
最常用的地方是函数的形参,因为函数只能通过参数名获取到这个值,所以至少在这个函数中是不会被修改的