一、非引用形参
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对象初始化,也不能用字面值或产生右值的表达式实参初始化。