C++ Prime 中文版第五版第六章函数笔记

桃扇骨 2023-07-13 08:26 15阅读 0赞

1.函数的返回类型不能是数组类型或函数类型，但可以是指向数组或函数的指针。  
2.未初始化的内置类型局部变量将产生未定义的值。静态局部变量除外，初始化为0。  
3.如果一个函数永远也不会被用到，那它可以只有声明没有定义。  
4.熟悉C的程序员常常使用指针类型的形参访问函数外部的对象。在C++语言中，建议使用引用类型的形参替代指针。  
5.函数的参数使用引用避免拷贝。如果函数无需改变引用形参的值，最好将其声明为常量引用。还可以使用引用形参返回额外信息。  
6.当形参是const时，用实参初始化形参时会忽略掉顶层const。因此编译器认为函数void fcn(const int i)\{\}与函数void fcn(int i)\{\}是一样的。  
7.可以使用非常量初始化一个底层const对象，但反过来不行;一个普通的引用必须用相同类型的对象初始化。  
8.和其他使用数组的代码一样，以数组作为形参的函数也必须确保使用数组时不会越界。  
9.管理数组实参的第一种方法是要求数组本身包含一个结束标记(例如C风格字符串)。第二组方法是传递指向数组首元素和尾后元素的指针。第三种方法是定义一个表示数组大小的形参。  
10.void print(int (&arr)\[10\])\{\}&arr两端的括号必不可少。这样写只能将函数作用于大小为10的数组。  
11.int main(int argc, char \*argv\[\])\{…\}  
int main(int argc, char \**argv)\{…\}  
当使用argv中的实参时，一定记得可选的实参从argv\[1\]开始，argv\[0\]保存程序的名字，而非用户输入。  
12.C++11新标准提供了两种主要的方法编写不同数量实参的函数：如果所有的实参类型相同，可以传递一个名为initializer\_list的标准类型库;如果实参的类型不同，我们可以编写一个特殊的函数，也就是所谓的可变参数模板。  
13.initializer\_list形参：是一种标准库类型，用于表示某种特定类型的值的数组，initializer\_list类型定义在同名头文件中。它提供一下操作：  
initializer\_list lst;  
默认初始化：T类型元素的空列表  
initializer\_list lst\{a, b, c…\};  
lst的元素数量和初始值一样多;lst的元素是  
对应初始值的副本; 列表中的元素是const  
lst2(lst) 拷贝或赋值一个initializer\_list对象不会拷贝  
lst2=lst 列表中的元素;拷贝后，原始列表和副本共  
享元素  
lst.size()列表中的元素数量  
lst.begin()返回指向lst首元素的指针  
lst.end()返回指向lst尾元素下一位置的指针  
14.和vector一样，initializer\_list也是一种模板类型。  
不一样的是，initializer\_list对象的元素永远是常量，无法改变其值。  
15.省略符形参：为了便于C++程序访问某些特殊的C代码而设置的，这些代码使用了名为varargs的C标准库功能。省略符形参应该仅仅用于C和C++通用的类型，特别应该注意的是，大多数类类型的对象在传递给省略符形参是都无法正确拷贝。省略符形参只能出现在形参列表的最后一个位置，它的形式无外乎以下两种：  
void foo(parm\_list, …);  
void foo(…);  
16.一个返回类型是void的函数也能使用return语句的return expression;形式，而expression必须是另一个返回void的函数。强行令void函数返回其他类型的表达式将产生编译错误。  
17.在含有return语句的循环后面应该也有一条return语句，如果没有的话该程序就是错误的。很多编译器都无法发现此类错误。  
18.不要返回局部对象的引用和指针，函数完成后，它的存储空间会被释放掉，它的引用将指向不再有效内存区域。  
19.C++11新标准规定，函数可以返回花括号包围的值的列表。此处的列表用来对函数返回的临时量进行初始化。  
20.如果函数返回的是内置类型，则花括号包围的列表最多包含一个值，而且该值所占空间不应该大于目标类型的空间。如果函数返回的是类类型，由类本身定义初始值如何使用。  
21.main函数不能调用他自己。  
22.因为数组不能拷贝，所以函数不能返回数组。但可以返回数组的指针或引用。例如：  
typedef int arrT\[10\];//arrt是一个类型别名，表示  
//含有10个整数的数组  
arrt* func(int i);//func返回一个指向含有10个整  
//数的数组指针  
23.返回数组指针的函数形式如下：  
Type (\*function (parameter\_list))\[dimension\]  
Type表示元素类型，dimension表示数组的大小  
(*function(parameter\_list))两端的括号必须存在  
如果没有，返回的将是指针数组。  
24.尾置返回类型跟在形参列表后面并以->符号开头。为了表示函数真正的返回类型跟在形参列表之后，我们在本应该出现返回类型的地方放置一个auto: auto func(int i)->int (*)\[10\];

1.      int odd[] = {1,3,5,7,9};
              int even[] = {0,2,4,6,8};
              decltype(odd) *arrPtr(int i)
              {
                  return (i%2) ? &odd : &even;
              }

arrPtr使用关键字decltype表示它的返回类型是指针，并且该指针所指的对象与odd类型一致，指向一个含有5个整数的数组指针。decltype并不负责把数组类型转换成对应的指针，所以arrPtr要想返回指针还必须在函数声明时加一个\*符号。  
26.如果形参是某种类型的指针或引用，则通过区分指向的是常量对象还是非常量对象可以实现函数重载，此时的const是底层的。当我们传递一个非常量对象或者指向非常量对象的指针时，编译器会优先选用非常量版的函数。  
27.当调用重载函数时有三种可能的结果:

1.  找不到实参最佳匹配的函数，并生成调用该函数的代码。
2.  无匹配。
3.  二义性调用。  
    28.一旦函数某个形参被赋予了默认值，它后面的所有形参都必须有默认值。函数调用时实参按其位置解析，默认实参负责填补函数调用缺少的尾部实参。  
    29.在给定的作用域中，一个形参只能被赋予一次默认实参。换句话说，函数的后续声明只能为之前那些没有默认值的形参添加默认实参，而且该形参右侧的形参必须都有默认值。  
    30.局部变量不能作为默认实参。除此之外，只要表达式的类型能转换成形参的类型，该表达式就能作为默认实参。  
    31.内联函数可避免函数调用的开销。  
    32.constexpr函数是指能用于常量表达式的函数。定义constexpr函数的方法与其他函数类似，不过要遵循几项约定:函数的返回类型及所有形参的类型都是字面值类型，而且函数体中必须有且只有一条return语句。  
    33.constexpr函数被隐式的指定为内联函数。  
    34.constexpr函数体内也可以包含其他语句，只要这些语句在运行时不执行任何操作就行。比如空语句、类型别名以及using声明。  
    35.对于内联函数和constexpr函数来说，它的多个定义必须完全一致，因此，内联函数和constexpr函数通常定义在头文件中。  
    36.constexpr函数不一定返回常量表达式，允许constexpr函数的返回值并非一个常量，实际调用时返回常量。  
    37.assert是一种预处理宏，所谓预处理宏其实就是一个预处理变量。  
    assert(expr);  
    首先对expr求值，如果表达式为假，assert输出信息并终止程序的执行。如果表达式为真，assert什么也不做。assert宏定义在cassert头文件中，无需提供using声明。  
    38.C++编译器定义了\_ *func* \_输出当前调试的函数的名字，预处理器还定义了另外四个对于程序调试很有用的名字:  
    \_ *FILE* \_存放文件名的字符串字面值  
    \_ *LINE* \_存放当前行号的整型字面值  
    \_ *TIME* \_存放文件编译时间的字符串字面值  
    \_ *DATE* \_存放文件编译日期的字符串字面值  
    39·实参类型与形参类型越接近，匹配越好。  
    40.实参类型转换的等级排序:  
    1.精确匹配，包括以下情况  
    实参和形参类型相同  
    实参从数组或函数类型转换成对应的指针类型  
    向实参添加顶层const或者从实参删除顶层const  
    2.通过const转换实现的匹配  
    3.通过类型提升实现的匹配  
    4.通过算数类型转换实现的匹配  
    5.通过类类型转换实现的匹配  
    41.bool (*pf)(const string &, const string &);pf两边的括号必不可少。  
    42.当我们把函数名作为一个值使用时，该函数自动地转换成指针。bool b1=pf(“hello”, “goodbye”);等价于bool b2=(pf)(“hello”, “goodbye”);  
    43.和数组类似，虽然不能定义函数类型的形参，但是形参可以是指向函数的指针。虽然不能返回一个函数，但是能返回指向函数的指针。然而，我们必须把返回类型写成指针形式，编译器不会自动地将函数返回类型当成对应的指针。  
    using F = int(int, int); //F是函数类型，不是指针  
    using PF = int ()(int*, int);PF是指针类型  
    PF f1(int); //PF 是指向函数的指针，f1是返回指向函数的指针  
    也可以使用尾置返回类型的方式声明一个返回函数指针的函数:  
    auto f1(int)->int (*)(int*, int);