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 numbers
9
1
Press 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;
	else
		cout << 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對象初始化，也不能用字面值或產生右值的表達式實參初始化。