实际上,函数的形参和实参对于const的限制不需要保持一致,如:
第一种情况
void func1(const int n){ ... }
int a;
func1(a); //可以
分析:形参被设为const,我们可以理解为函数宣布”在我的函数范围内这个参数的值不能被修改“,至于函数范围之外实参会不会被修改,函数不在乎,也管不着
第二种情况
void func2(int n){ ... }
const int b;
func2(b); //可以
分析:实参已经是const,照理说函数内一样不能修改。但应注意:int型的函数传参是值传递而非引用传递,
函数内即便修改也修改的是实参的一份拷贝,与实参的const属性并不冲突
当参数是整型数组或指针时,第二种情况又不太一样了
void func(int n[]){ ... }
const int a[] = { ... };
func(a[]); //可以
int * const pa = a; //pa是常量指针
func(pa); //可以
分析:与整型不同的是,整形数组或指针的传参是引用传递。因此在这种情况下,函数内被修改会影响到实参的值,与实参的const意愿相孛。但是,编译器对这种情况不会检测,能正常编译通过
因此,将const数组或常量指针传参给参数未声明const属性的函数,可能会改变实参的值,千万注意