C++系统学习之六:函数

发布日期:2019-01-20

1、函数基础

  典型的函数定义包括:返回类型、函数名、由0个或多个形参组成的列表以及函数体。

2、参数传递

  形参初始化的机理和变量初始化一样。

  有两种方式:引用传递和值传递

2.1 传值参数

  当形参是非引用类型时,形参初始化和变量初始化一样,将实参的值拷贝给形参。

指针形参

  当执行指针拷贝操作时,拷贝的是指针的值,拷贝之后,两个指针是不同的指针。但通过指针可以修改它所指的对象。

2.2 传引用参数

使用引用避免拷贝

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

使用引用形参返回额外信息

2.3 const形参和实参

  当用实参初始化const形参时会忽略顶层const。因此,当形参有顶层const时,传给它常量对象或者非常量对象都是可以的。

void fun1(const int i){.......}void fun2(int i){.....}

  上述两个函数不能算是重载,两个函数是一样的,程序会报错,fun2重复定义了fun1.

指针或引用形参与const

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

尽量使用常量引用

2.4 数组形参

数组有两个重要的特性:

不允许拷贝使用数组时会转换成指针

尽管不能以值传递的方式传递数组,但是可以将形参写成类似数组的形式

void print(const int*)void print(const int[])void print(const int[10])以上三种形式的声明等价

NOTE:当函数不需要对数组元素执行写操作的时候,数组形参应该是指向const的指针。只有当函数确实要改变元素值的时候,才把形参定义成指向非常量的指针。

当数组作为函数形参时,因此应该提供一些额外信息来确定数组的确切尺寸,管理数组形参有三种常用的技术:

使用标记指定数组长度

  要求数组本身包含一个结束标记。例如C风格字符串以空字符结尾。

使用标准库规范

  传递指向数组首元素和尾元素的指针。

void print(const int *begconst int *end){ while(beg!=end) { cout<<*beg++<<endl } } int arr[2]={01}print(begin(arr)end(arr))

显式传递一个表示数组大小的形参

  专门定义一个表示数组大小的形参。

void print(const int ia[] size_t size)int j[]={01}print(j end(j)-begin(j))

数组引用形参

  形参可以是数组的引用,此时,引用形参绑定到对应的实参上,也就是绑定到数组上。

void print(int (&arr)[10]){ for(auto elem:arr) { cout<<elem<<endl }}形参是数组的引用,维度是类型的一部分

NOTE:arr两端的括号必不可少

f(int &arr[10]) //错误,将arr声明成了引用的数组f(int (&arr)[10]) //正确,arr是具有10个整数的整型数组的引用

传递多维数组

  数组第二维的大小都是数组类型的一部分,不能省略。传递多维数组传递的是指向数组的指针,实际还是指向首元素的指针。(多维数组就是数组的数组,数组的首元素还是数组,所以是指向数组的指针)。

void print(int (*matrix)[10]int size) matrix是一个指针,指向有10个整数的数组

也可以用:

void print(int matrix[][10]int size)  matrix和上面一样的意义

2.5 含有可变形参的函数

C++提供两种方法:

实参类型相同,可以传递一个名为initializer_list的标准库类型

initializer_list形参

lnitializer_list和vector一样都是模板类型,不同的是initializer_list对象中的元素永远是常量值,不能改变。

void error_msg(initializer_list<string> ls){for (auto beg = ls.begin() beg != ls.end() ++beg){cout << *beg << " "}cout << endl}

error_msg({ "hello" })error_msg({ "hello!" "world!!" })  //注意值的传递要放在花括号里

省略符形参

  省略符形参是为了便于C++程序访问某些特殊的C代码而设置的。通常,省略符形参不应用于其他目的。省略符形参只能出现在形参列表的最后一个位置。

实参类型不同,使用可变参数模板

3、返回类型和return语句

3.1 无返回值函数

  返回类型是void类型的函数

3.2 有返回值函数

值是如何被返回的

  返回一个值的方式和初始化一个变量或形参的方式完全一样:返回的值用于初始化调用点的一个临时量,该临时量就是函数调用的结果。

 不要返回局部对象的引用或指针

返回类类型的函数和调用运算符

auto sz=getstring().size() //getstring返回的string对象再调用size函数

 引用返回左值

调用一个返回引用的函数得到左值,其他返回类型得到右值。

 列表初始化返回值

函数可以返回花括号包围的值的列表。

vector<string> process(){ return {"ni""hao"}}

 递归

如果一个函数调用了它自身,不管这种调用是直接还是间接的,都称该函数为递归函数。

int factorial(int val){ if(val>1) return factorial(val-1)*val return 1}求1x2x3x4......

 3.3 返回数组指针

因为数组不能被拷贝,所以函数不能返回数组。不过,函数可以返回数组的指针或引用。

最直接的方法是使用类型别名

typedef int arrT[10]using arrT=int[10]

 声明一个返回数组指针的函数

int arr[10] //arr是一个含有10个整数的数组int *p1[10] //p1是一个含有10个整型指针的数组int (*p2)[10]=&arr //p2是一个指针,其指向一个有10个整数的数组

 如果要定义一个返回数组指针的函数,则数组的维度必须跟在函数名字之后,并且函数的形参列表应该先于数组的维度。

int (*func(int aint b))[10]

 此函数返回的是一个指向有10个整数数组的指针。

 使用尾置返回类型

任何函数的定义都能使用尾置返回,但是这种形式对于返回类型比较复杂的函数最有效,比如返回类型是数组的指针或引用。

尾置返回类型跟在形参列表后面并以一个->符号开头。为了表示函数真正的返回类型跟在形参列表之后,我们在本应该出现返回类型的地方放置一个auto。

auto func(int i)->int (*)[10]

 使用decltype

4、函数重载

如果同一作用域内的几个函数名字相同但形参列表不同,称为函数重载。注意必须是形参列表不同,仅仅只是返回类型不同不可以称为重载。

重载和const形参

顶层const不影响传入函数的对象。一个拥有顶层const的形参无法和另一个没有顶层const的形参区分开来。

int f1(int i)int f1(const int i) //不构成重载,重复声明了f1int f2(int *i)int f2(int *const i) //不构成重载,重复声明了f2

但底层const不同,可以构成重载

int f1(int &i)int f1(const int &i) //重载,新函数int f2(int *i)int f2(const int *i) //重载,新函数

NOTE:最好只重载那些确实非常相似的操作。

const_cast和重载

const_cast在重载函数的情景中最有用。

const string &shorterString(const string &s1 const string &s2){return s1.size() <= s2.size() ? s1 : s2}string &shorterString(string &s1 string &s2){auto &r = shorterString(const_cast<const string&>(s1) const_cast<const string&>(s2))return const_cast<string&>(r)}

4.1 重载与作用域

如果在内层作用域中声明名字,它将隐藏外层作用域中声明的同名实体。

void func(){ }int main(){ int func=0 func() //错误,此时func是int类型的变量,不是函数,隐藏了外层的函数定义 return 0;}

5、特殊用途语言特性

  默认实参、内联函数和constexpr函数。

5.1 默认实参

一旦某个形参被赋予了默认值,它后面的所有形参都必须有默认值。

string screen(int i=10 int a=1 stirng s=" ")

使用默认实参调用函数

在调用函数的时候省略该实参就可以。

默认实参声明

在给定的作用域中一个形参只能被赋予一次默认实参。

默认实参初始值

局部变量不能作为默认实参。除此之外,只要表达式的类型能转换成形参所需的类型,该表达式就能作为默认实参。

5.2 内联函数和constexpr函数

调用函数一般比求等价表达式的值要慢一些。

内联函数可避免函数调用的开销

在函数的返回类型前面加上关键字inline。

一般来说,内联机制用于优化规模较小、流程直接、频繁调用的函数。

constexpr函数

constexpr函数是指能用于常量表达式的函数。

定义constexpr函数要遵循:函数的返回类型及所有形参的类型都得是字面值类型,而且函数体中必须有且只有一条return语句。

constexpr int new_sz(){ return 42}constexpr int foo=new_sz() //foo是一个常量表达式

为了能在编译过程中随时展开,constexpr函数被隐式地指定为内联函数。

NOTE:constexpr函数不一定返回常量表达式。

把内联函数和constexpr函数放在头文件内

和其他函数不一样,内联函数和constexpr函数可以在程序中多次定义。不过,对于某个给定的内联函数或者constexpr函数来说,它的多个定义必须完全一致。因此,内联函数和constexpr函数通常定义在头文件中。

5.3 调试帮助

两项预处理功能:assert和NDEBUG

assert预处理宏

assert宏常用于检查“不能发生”的条件。

assert(expr)

 如果expr为假,assert输出信息并终止程序执行,如果为真,assert什么也不做。

 NDEBUG预处理变量

assert的行为依赖于一个名为NDEBUG的预处理变量的状态。如果定义了NDEBUG,则assert什么也不做,默认情况下没有定义NDEBUG。

可以使用#define语句定义NDEBUG,从而关闭调试状态。

 6、函数指针

函数指针指向的是函数而非对象。和其他指针一样,函数指针指向某种特定类型。函数的类型由它的返回类型和形参类型共同决定,与函数名无关。

int func(int a string s)

该函数的类型是int(int string).要想声明一个可以指向该函数的指针,只需要用指针替换函数名即可。

int (*p)(int string )  //未初始化

 NOTE:*p的括号必须加上

使用函数指针

当把函数名作为一个值使用时,该函数自动地转换成指针。

int (*p)(int string )=func

 可以使用函数指针直接调用该函数,而不需要解引用该指针。

指向不同函数类型的指针之间不存在相互转换,可以给函数指针赋值nullptr和0,表示指针没指向任何一个函数。

 重载函数的指针

如果定义了指向重载函数的指针,编译器通过指针类型决定选用哪个函数,指针类型必须与重载函数中的某一个精确匹配。

函数指针形参

和数组类似,虽然不能定义函数类型的形参,但是形参可以是指向函数的指针。可以直接把函数作为实参使用,此时它会自动转换成指针。

返回指向函数的指针

将auto和decltype用于函数指针类型

注意将decltype用于函数名时,返回的是函数类型,而非指针类型,如果要表示函数指针,需要自己加上*。

 

1 0 9)