基础语法之四：函数

1、函数传参

内置类型适合 pass by value，因为内置类型复制比寻址更快，类类型适合 pass by reference 类类型复制代价太高，更适合直接寻址；

例如：

 

2、数组参数

数组有两个特殊的性质：一、不能复制数组；二、是使用数组名字时，数组名会自动转化为指向其第一个元素的指针。

 

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

// ok: parameter is a reference to an array; size of array is fixed

void printValues(int (&arr)[10]) { /* ... */ }

int main()

{

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

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

printValues(&i); // error: argument is not an array of 10 ints

printValues(j); // error: argument is not an array of 10 ints

printValues(k); // ok: argument is an array of 10 ints

return 0;

}

 

3、可变形参

当需要传递给省略符形参时，大多数类类型对象都不能正确地复制。

省略符形参有下列两种形式：

void foo(parm_list, ...);

void foo(...);

 

4、重载

• 不能使用不同返回类型构成重载；
• 不能使用const或者非const 某类型形参 构成重载；
• 能使用const或者非const 某类型的引用或指针形参 构成重载；

例如：

 

5、函数指针

例如返回指向函数的指针：

函数可以返回指向函数的指针，但是，正确写出这种返回类型相当不容易：

// ff is a function taking an int and returning a function pointer

// the function pointed to returns an int and takes an int* and an int

int (*ff(int))(int*, int);

阅读函数指针声明的最佳方法是从声明的名字开始由里而外理解。