const形参和实参

当形参是const时,必须要注意关于顶层const的讨论。如前所述,顶层const的作用于对象本身:

const int ci=42;  //不能改变ci,const是顶层的

int i=ci;   //正确:当拷贝ci时,忽略了它的顶层const

int *const p=&i;  //const是顶层的,不能给p赋值

*p=0;    //正确:通过p改变对象的内容是允许的,现在i变成了0

和其他初始化过程一样,当用实参初始化形参时会忽略掉顶层const。换句话说,形参的顶层const被忽略掉了。当形参有顶层const时,传给它的常量对象或者非常量对象都是可以的

void fcn(const int i){  /*fcn能够读取i,但是不能向i写值*/}

调用fcn函数时,既可以传入const int也可以传入int。忽略掉形参的顶层const可以产生意想不到的结果

void fcn(const int i) {/*fcn能够读取i,但是不能向i写值*/}

void fcn(int i)  {/*....*/}//错误:重复定义了fdn(int)

在C++语言中,允许我们定义若干具有相同名字的函数,不过前提是不同函数的形参列表应该有明显的区别。因为顶层const被忽略了,所以在上面的代码中传入两个fcn函数的参数可以完全一样。因此第二个fcn是错误的,尽管形式上由差异,但实际上它的形参和第一个fcn的形参没什么不同。

 

指针或引用形参与const

形参的初始化方式和变量的初始化方式是一样的,所以回顾通用的初始化规则有助于理解下面的知识。我们可以使用非常量初始化一个底层的const对象,但是反过来不行;同时一个普通的引用必须用同类型的对象初始化

int i=42;

const int *cp=&i;  //正确:但是cp不能改变i

const int &r=i;   //正确:但是r不能改变i

const int &r2=42;   //正确

int  *p=cp;    //错误:p的类型和cp的类型不匹配

int &r3=r;    //错误:r3的类型和r的类型不匹配

int  &r4=42;  //错误:不能用字面值初始化一个非常量引用

将同样的初始化规则应用到参数传递上可得如下形式:

int i=0;

const int ci=i;

string::size_type ctr=0;

void reset(int &i);

reset(&i);  //调用形参类型是int *的reset函数

reset(&ci);  //错误:不能用指向const int对象的指针初始化int *

reset(i);   //调用参数类型是int&的reset函数

reset(ci);  //错误:不能把普通引用绑定到const对象ci上

reset(42);  //错误:不能把普通引用绑定到字面值上

reset(ctr); //错误:类型不匹配,ctr是无符号类型

//find_char的第一个形参是对常量的引用

find_char("hello world",'o',ctr);//可以绑定到字面值常量上

要想调用引用版本的reset,只能使用int类型的对象,而不能使用字面值、求值结果为int的表达式、需要转换的对象或者const int类型的对象。类似的,要想调用指针版本的reset只能使用int*。

另一方面,我们能传递一个字符串字面值作为find_char的第一个实参,这是因为改函数的引用形参是常量引用,而C++允许我们用字面值初始化常量引用。

 

尽量使用常量引用

把函数不会改变的形参定义成(普通的)引用是一种比较常见的错误,这么做带来给函数的调用者一种误导,即函数可以修改它的实参的值。此外,使用引用而非常量引用也会极大地限制函数所能接受的实参类型。就像刚刚看到的,我们不能把const对象、字面值或者需要类型转换的对象传递给普通的引用形参

 

时间: 2024-11-02 00:31:46

const形参和实参的相关文章

c语言-此程序为何当选择1的时候没有矩阵输出,好像是形参与实参的关系错了,求解释,求改正。

问题描述 此程序为何当选择1的时候没有矩阵输出,好像是形参与实参的关系错了,求解释,求改正. // juzhen 2.cpp : Defines the entry point for the console application. // #include "stdafx.h" #include "stdlib.h" typedef struct mat { int nRow; /* 行数 / int nCol; / 列数 / int pData; /* 指向矩?

java-关于形参和实参问题,,,,,

问题描述 关于形参和实参问题,,,,, 1.我将实参传递给形参,实参会随着形参改变而改变吗? 2.将实参传递给形参,该方法在多线程里启动.这样我若实参改变,线程里的形参变吗? 3.以上的问题,基于基本类型和非基本类型都一样吗?? 记得基本类型不是值传递,实体类是引用传递... 糊涂了.求助 解决方案 1,如果你传递的是值的话,变量的值不会变,如果你传递的是引用的话(相当于地址),地址指向的内容就会改变 2,道理一样 3,非基本类型会改变吧,比如你传递字符串,改变实参的值,形参也会改变 解决方案二

我想用指针作为函数形参,实参为数组 实现数组元素反序存放。可是只能交换前五个

问题描述 我想用指针作为函数形参,实参为数组 实现数组元素反序存放.可是只能交换前五个 #include using namespace std; void invert(int A,int); int main() { int A[10],n; cout<<"Please input 10 number:"< for(n=0;n cin>>A[n]; invert(A,10); return 0; } void invert(int *A,int n)

C++形参与实参的区别实例解析_C 语言

本文以实例阐述了C++中形参与实参的区别,有助于读者加深对于C++形参与实参的认识. 形参出现在函数定义中,在整个函数体内都可以使用, 离开该函数则不能使用.实参出现在主调函数中,进入被调函数后,实参变量也不能使用. 形参和实参的功能是作数据传送.发生函数调用时, 主调函数把实参的值传送给被调函数的形参从而实现主调函数向被调函数的数据传送. 1.形参变量只有在被调用时才分配内存单元,在调用结束时, 即刻释放所分配的内存单元.因此,形参只有在函数内部有效. 函数调用结束返回主调函数后则不能再使用该

《像计算机科学家一样思考Python》——3.8 形参和实参

3.8 形参和实参 我们已经看到,有些内置函数需要传入参数.比如,当调用math.sin时,需要传入一个数字作为实参.有的函数需要多个实参:math.pow需要两个,分别是基数(base)和指数(exponent). 在函数内部,实参会被赋值给形参.下面的例子是一个用户自定义的函数,接收一个实参: def print_twice(bruce): print bruce print bruce 这个函数在调用时会把实参的值赋到形参bruce上,并将其打印两次. 这个函数对任何可以打印的值都可用.

php中函数的形参与实参的问题说明_php技巧

当实参个数<形参个数 时php会发出警告,因为php的解释机制会认为,有参数被定义了却没有被使用,那很可能会影响函数的功能.所以会发出警告.然而,当 实参个数>形参个数 时,php是不会报错的,它只会取前面的几个参数,多余的则将会丢弃. 在PHP中编写函数,一般情况下调用函数的时候,改变的值都是形参而不是实参.但是如果在形参中加入地址符时候就会改变实参的值,为什么? 请看下面的例子: 复制代码 代码如下: <?php //编写一个函数swap(),测试该函数的实参值无改变 functio

函数中指针和引用的形参和实参

#include <iostream> using namespace std; void change(int *a,int &b,int c)//指针作形参,前面加*号,引用作形参前面加&号. { c=*a; b=3; *a=2; } int main() { int a=1,b=2,c=3; change(&a,b,c);//指针作实参,前面加取地址符&,引用作实参,前面不加符号 cout<< a<< b<< c<

实参-关于const函数形参的引用问题

问题描述 关于const函数形参的引用问题 c++中,const引用的形参可以不用复制实参,那么非const引用形参是否要复制实参呢?什么情况下形参要复制实参呢?复制的具体含义是什么? 解决方案 首先看函数调用时形参数据会被拷贝至寄存器或者调度栈内,引用的形参和实参关系,形参和实参都指向同一块内存区域,引用相当于指针,实参将其地址复制给形参,再看非引用形参和实参,则是值拷贝.const 只是告诉编译器函数调度中其修饰参数只读. 解决方案二: 复制不复制是编译器的事情,只要保证const修饰的参数

java 实参和形参的区别

打个比方:方法就像城门,而形参则规定了什么人可以通过(对方法来说就是调用).城门张贴了通行规定:1.男性能通过,女性不可以(类似于条件1)2.必须是活人(死人类似于方法中传入null).根据此规定,如果是活的男人的话,无论是大人小孩青年老人病人.爷爷儿子孙子兄弟都可以进入此门(甚至公狗也可以),任何非男性生物均不能通过.反应到方法上来,比如有这样一个方法:public void doSometing(Object obj),Object相当于所有物体,在方法中进行判断此物体是否为雄性类似于张贴通