C++ const

一、非引用形参
1、普通的非引用类型的参数通过复制对应的是实参实现初始化。当用实参副本初始化形参时，函数并没有访问调用所传递的实参本身，因此不会修改实参的值。
在函数调用时，如果该函数使用的是非引用非const形参，则既可以给函数传递const实参，也可以传递非const的实参。这种情况下，无论是const，还是非const的传递，在该调用函数内都可以对形参进行赋值等操作，即可以改变该形参的值。因为函数调用符（即()：圆括号）里面定义的形参为非const，所以可以进行操作。又因形参只是从实参那里复制的，即是实参副本，对其的操作对实参没有影响。故……

#include<iostream>using namespace std;int f(int a, int b){a += b;return a;}int main(){const int a = 3, b = 6;cout << "Enter two numbers" << endl;cout << f(a, b) << endl;cout << f(0, 1) << endl;return 0;}Enter two numbers91Press any key to continue

程序是可以运行并产生正确结果的。

2、在函数调用时，如果使用的是非引用的const形参，则既可以给函数传递const实参，也可以传递非const实参。在这种情况下，无论是cons，还是非const的传递，其传递的形参都具有const特性，因此在函数体内，任何操作都不可以改变其形参的值。

二、引用形参：当引用做形参时，函数形参不是实参的副本，而相当于实参本身，直接访问实参。
与所有引用一样，引用形参直接关联到其所绑定的对象，而并非这些对象的副本。引用只是表明了一个对象的别名，对其的任何操作都相当于对该对象的操作。在函数中，引用的作用有二：1、使用引用形参返回额外的信息;       2、利用const引用避免复制：在向函数传递大型对象时，需要需要使用引用形参。
eg：
//在容器中查找指定数的首出现位置和出现的总次数

#include<iostream>#include<vector>using namespace std;vector<int>::iterator find_val(vector<int>::iterator beg, vector<int>::iterator end, int val, vector<int>::size_type &occur){vector<int>::iterator po = end;for(; beg != end; ++beg){if(val == *beg){if(po == end)po = beg;++occur;}}return po;}int main(){vector<int> ivec;int ival;cout << "Enter some numbers(5000 to end):" << endl;while(cin >> ival && ival != 5000)ivec.push_back(ival);cout << "Enter the number which you want to seek:" << endl;cin >> ival;//要查找的数vector<int>::size_type occur = 0;//指定数出现的次数vector<int>::iterator po;po = find_val(ivec.begin(), ivec.end(), ival, occur);if(po == ivec.end())cout << "No this number!!!" << endl;elsecout << ival << " first occur in the " << (po - ivec.begin() + 1)  << " position and it occurs " << occur << " times" << endl;return 0;}

1、非const引用形参，此时只能与完全同类型的非const对象关联。（注意：调用这样的函数时，传递一个右值或具有转换的类型的对象同样是不允许的）

int incr(int &val)return ++val;int main(){short v1 = 0;const int v2 = 42;int v3 =  incr(v1);//错误：v1不是int型数据v3 = incr(v2);//错误：v2 是const型数据v3 = incr(0);//错误：0是一个右值，v3 = incr(v1+v2);//表达式不产生一个左值}

所以：应该将不需要修改的引用形参定义为const应用。普通的非const引用形参在使用时不太灵活。这样的形参既不能用const对象初始化，也不能用字面值或产生右值的表达式实参初始化。