C语言中参数传递

C语言中参数传递

二． 参数传递

函数的形参的初始化和变量的初始化一样，如果形参具有非引用类型，则复制实参的值，如果形参为引用类型，则它是实参的别名。

1． 非引用实参

普通的非引用类型的函数通过复制对应的实参实现初始化。当用实参副本初始化形参时，函数并没有调用所传递的实参本身，因此不会修改实参的值。

注解：非引用形参表示对应实参的局部副本，对这类行参的修改仅仅改变了局部副本的值，一旦函数执行结束，这些局部变量的值也就没有了。

a. 指针形参

指针形参与其他非引用类型的行参一样，如果将新指针赋给行参，主调函数使用的实参指针的值没有改变。事实上被复制的指针只影响对指针的赋值。指针形参是const类型还是非const类型，将影响函数调用所使用的实参。

b. const行参

在调用函数时，如果该函数使用非引用的非const形参，则既给该函数传递const实参也可传递非const的实参(因为改变形参不影响const的实参，所以const实参不会被改变)。如果将形参定义为非引用的const类型，则在函数中，不可以改变实参的局部副本，由于实参是以副本的形式传递，因此传递给函数形参既可是const也可是非const对象。

注意：尽管函数的形参是const，但是编译器却将该行参声明视为普通的int型。 void fcn(const int i);

void fcn(int i);

为了兼顾C语言，认为这两种定义并不区别。

c. 复制实参的局限性

不适合复制实参的情况包括：

当需要在函数中修改实参的值时

当需要以大型对象作为实参传递时，对实际的应用而言，复制对象所付出的时间和存储空间代价往往很大。

但没有办法实习对象的复制时

对于以上几种情况，有效的办法是将形参定义为引用或指针。

2． 引用实参

与所有引用一样，引用形参直接关联到其所绑定的对象，而并非这些对象的副本。定义引

C语言中参数传递

用时，必须用与该引用绑定的对象初始化该引用。引用形参以完全相同的方式工作。每次调用函数时，引用形参被创建并与相应的实参关联。

a. 使用引用形参返回额外的信息

函数只能返回单个值，但有时候函数有不止一个的内容需要返回。这时候我们可以通过函数传递一个额外的引用实参，用于返回额外的信息。

b. 利用const引用避免复制

对于大型对象复制效率太低了，有些类型甚至无法复制，利用const引用就可以避免复制，引用形参是引用，所以不复制实参，又因为形参是const引用，所以不能使该引用来修改实参。

c. 更灵活的指向const的引用

如果函数具有普通的非const引用形参，则不能通过const对象进行调用，因为函数可以修改传来的参数，但这样就违背了实参的const特性。

int incr(int &val)

{

return ++val;

}

int main()

{

short v1=0;

const int v2=42;

int v3=incr(v1); //error, v1不是整型

v3=incr(v2); //error, v2使const对象

v3=incr(0); //error, 字面值不是左值

v3=incr(v1+v2); //error, 加法不能作为左值

int v4=incr(v3); //ok, v3是一个非const的整型值

}

问题的关键是非const引用形参只能与完全相同的非const对象关联。

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

C语言中参数传递

d. 传递指向指针的引用

实现两个指针的交换：

void ptrswap(int* &v1, int* &v2)

{

int* temp=v2;

v2=v1;

v1=temp;

}

行参int* &val的定义从右向左理解：v1是一个引用，与指向int型对象的指针相关联。也就是说，v1只是传递进ptrswap函数的任意指针的别名。

3． vector和其他容器类型的行参

最佳实践：通常，函数不应该有vector或其他标准容器库类型的实参。调用含有普通的非引用vector行参的函数将会复制vector的每一个元素。从避免复制vector的角度出发，应考虑将形参声明为引用类型。

4． 数组形参

a. 数组形参的定义

数组会被自动转换为指针,通常，将数组形参直接定义为指针要比数组语法更好，这样就明确的表示，函数操纵是指向数组元素的指针，而不是数组本身。

当编译器检查数组形参关联的实参时，他只会检查实参是不是指针，指针的类型和数组元素的类型是否匹配，而不会检查数组的长度。

b. 数组实参

和其他类型一样，数组形参可定义为引用或非引用类型，大部分情况下，数组以普通的非引用类型传递，此时数组会转换为指针。

最佳实践：当不需要修改数组形参的元素时，函数应该将形参的定义为指向const对象的指针。

c. 通过引用传递数组

与其他类型一样，数组形参可以声明为数组的引用，如果形参是数组的引用，编译器不会将数组实参转化为指针，而是传递数组的引用本身，在这种情况下，数组的大小成为形参和实参的一部分。编译器检查数组实参的大小与形参的大小是否匹配。

void print(int (&arr)[10]) ; //形参是一个数组的引用，数组的大小确定

C语言中参数传递

int main()

{

int i=0,j[2]={0,1};

int k[10]={0,1,2,3,4,5,6,7,8,9};

print(&i); //error,参数不是10个整型元素的数组

print(j)；// error，参数不是10个整型元素的数组

print(k); //ok, 参数是10个整型元素的数组。

}

注解：&arr两本的括号是必须的，因为下标操作具有更高的优先级

f(int &arr[10]) //error,arrs是一个含有10个引用的数组

f(int (&arr)[10]) //ok, arr 是一个引用，他和一个含有10个元素的数组关联

d. 多维数组的传递

C＋＋没有多维数组，所谓多维数组实际就是指数组的数组。除了第一维以外的所有维的长度都是元素类型的一部分。

5． 传递给函数的数组的处理

任何数组的处理程序都要保证程序停留在数组的边界内。

a. 使用标准库规范，传递指向数组的第一个元素和最后一个元素的下一个位置的指针。这中技术风格由标准库的技术启发而得。

b. 显式传递表示数组大小的形参

void print(const int ia[], size_t size);

6. main：处理命令行选项

7．含有可变形参的函数

在无法列举出传递给函数的所有实参的类型和数目时，可以使用省略符形参。省略符暂停了类型检查机制。它们的出现告诉编译器，当调用函数时，可以有0或多个实参，而实参的类型未知。

两种省略形参的形式

void foo(param_list, …);

void foo(…);

本文来源：https://www.bwwdw.com/article/zg8e.html