参数传递(一)

每次调用函数时都会重新创建它的形参,并用传入 的实参对形参进行初始化。

形参的类型决定了形参和实参交互的方式。如果形参是引用类型,将绑定到对应的实参上;否则将实参的值拷贝后赋给形参。

当形参是引用类型时,我们说它对应的实参被引用传递或函数被传引用调用。

引用形参也是它绑定的对象的别名(引用形参是它对应的实参的别名)

当实参的值被拷贝给形参时,形参和实参是两个相互独立的对象,这样的实参被值传递或者函数被传值调用。

当初始化一个非引用类型的变量时,初始值被拷贝给变量。同时对变量的改动不会影响初始值。传值参数的机理完全一样,函数对形参做的所有操作都不会影响实参。

指针的行为和其它非引用类型一样。当执行指针拷贝操作时,拷贝的是指针的值。拷贝之后的两个指针是不同的指针。

因为指针可以间接的访问它所指的对象,所以通过指针可以修改它所指对象的值。

指针案例


指针形参

引用的操作实际上是作用在引用所引的对象上。引用形参的行为与之类似,通过使用引用的形参,允许函数改变一个或多个实参的值。

引用形参

引用形参绑定初始化它的对象。

拷贝大的类类型对象或者容器对象比较低效,甚至有的类类型根本就不支持拷贝操作。当某种类型不支持拷贝操作时,函数只能通过引用形参访问该类型的对象。

当函数无须修改引用形参的值最好使用常量引用。

一个函数只能返回一个值,但有时函数需要同时返回多个值,引用形参为我们一次返回多个结果提供了有效的途径。

引用实参

当调用 find_char 函数时,须传入三个实参:作为查找范围的一个 string对象、要找的字符以及一个用于保存字符出现次数的 size_type 对象。

string 为 s ,size_type 为 o

当调用完成后,若 string 对象中确实存在 o 。那么 ctr 值就是 o 出现的次数 ,index 指向 o 第一次出现的位置。否则 string 对象中没有 o ,index 等于 s.size() 而 ctr 等于 0 。

当形参是 const 时:

const

当使用实参初始化形参时会忽略掉顶层 const 。

当形参有顶层 const 时,传给它常量对象或非常量对象都是可以的:void fcn (const int i ){/* fcn 能够读取 i ,但是不能向 i 写 值 */}

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

const函数

可以定义若干具有相同名字的函数,不过前提是不同函数的形参列表应该有明显的区别。因为顶层的 const 被忽略掉了,所以在上面的代码中传入两个 fcn 函数的参数可以完全一样。

形参的初始化方式和变量的初始化方式是一样的。

可以使用非常量初始化一个底层 const 对象,但是反过来不行,同时一个普通的引用必须用同类的对象初始化。

初始化
参数传递上的初始化

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

想要调用指针版本的 resrt 只能使用 int* 。

把函数不会改变的形参定义成引用是一种比较常见的错误,这么做带给函数的调用者一种误导,即函数可以修改它的实参的值。

使用引用而非常量引用也会极大地限制函数所能接受的实参类型。

你可能感兴趣的:(参数传递(一))