C++函数中const形参与非const形参

关于C++函数中形参、实参const问题，比较绕，在此特意总结归纳一下：

先看一个例子：

void swap1( int *x,  int *y){

	int temp=*x;
	*x=*y;
	*y=temp;

}

int main(){

int a=10;

int b=9;

int *p=&a;

int *q=&b;

swap1(p,q);

cout<<a<<" "<<b;

}

在这里，我们都知道最后的结果肯定是a=9;b=10；

原因简单说下，传值有引用传值和非引用传值。在这里是非引用形参中的指针形参，传质过程其实也就是复制对应的实参进行初始化，因为复制的新指针和之前的指针对应的都是同一个变量，所以对复制的副本指针进行swap操作也就是对之前指针对应的变量进行swap操作。所以在这种情况下swap是成功的。同理，如果形参不是指针只是个变量的话，那么显然经过参数传值复制之后就会产生新的变量。对新的变量的任何操作都会和之前的变量无任何关联。所以该种情况的swap是不成功的。（不清楚的可以看下C++primer P200，说的很清楚。）

然后，后面有意思的是，因为C++中存在const变量。那么如果形参是const变量的话又该出现什么情况呢？这将是我们接下来讨论的内容。。。

我们应该知道，被const定义的变量不能更改它的值。

然后，我们先看个小例子：

#include<iostream>
#include<string>
using namespace std;

void fun(const string s){
aa="demo";
cout<<s<<endl;
}
int main(){

string ss="HelloWorld";
fun(ss);

}

我们发现，fun函数的形参是const的 ，而最后传过来的形参是非const的，在这种情况下，我们发现运行是有问题的，因为复制的副本string是const类型的，

所以我们无法对该string进行更改。当然，如果形参没有const的话，那是没有问题的。

我们也可以定义const string ss，使得形参实参都是const，那么结果是显而易见的。

所以我们得出一个结论：当形参是const化的时候，实参非const和const都是可以的，同时，形参在函数体里面是不能改变值的。

我们再看个引用形参的例子：

#include<iostream>
#include<string>
using namespace std;

void fun(string &s){
s="aa";
cout<<s<<endl;
}
int main(){

const string ss="HelloWorld";
fun(ss);
cout<<ss<<endl;
}

这时我们发现，编译时通过不了的。因为fun函数中使用的实际参数（实参）是const的，而形参不是，所以这种 情况下，如果形参在函数体中对数据进行更改就会破坏实参的

const性，所以这种情况下，编译肯定是过不了的。相反，如果实参是非const的，而形参是const的，这种情况下是可以正常通过的，当然在函数体中不能对形参进行赋值操作。

扩展开来，当形参是指针时候，同理，情况也是一样的。

原因在于实参的传递方式不同，函数中的形参是普通形参的时，函数只是操纵的实参的副本，而无法去修改实参，实参会想，你形参反正改变不了我的值，那么你有没有const还有什么意义吗？引用形参和指针形参就不同了，函数是对实参直接操纵，没有const的形参时实参的值是可以改变的，所以如果实参是const的话，那肯定是不被容许的。