第六章 函数(下)
-
在含有return语句的循环后面应该也有一条return语句
-
不要返回局部对象的引用或指针,当函数结束时临时对象占用的空间也就随之释放掉了,所以两条return语句都指向了不再可用的内存空间。
-
如果函数返回指针、引用或类的对象,我们就能使用函数调用的结果访问结果对象的成员。
-
我们能为返回类型是非常量引用的函数的结果赋值
-
C++11新标准规定,函数可以返回花括号包围的值的列表
-
如果函数返回的是内置类型,则花括号包围的列表最多包含一个值
-
如果控制到达了main 函数的结尾处而且没有return语句,编译器将隐式地插入一条返回0的return语句
-
因为数组不能被拷贝,所以函数不能返回数组。
-
我们把函数的返回类型放在了形参列表之后,所以可以清楚地看到func函数返回的是一个指针,并目该指针指向了含有10个数的数组。
auto func(int i) -> int(*)[10]
-
不允许两个函数除了返回类型外其他所有的要素都相同。
-
一个拥有顶层const的形参无法和另一个没有顶层const的形参区分开来;另一方面,如果形参是某种类型的指针或引用,则通过区分其指向的是常量对象还是非常量对象可以实现函数重载,此时的const是底层的
-
重载对作用域的一般性质并没有什么改变:如果我们在内层作用域中声明名字,它将隐藏外层作用域中声明的同名实体。在不同的作用域中无法重载函数名
-
一旦某个形参被赋予了默认值,它后面的所有形参都必须有默认值。
-
尽量让不怎么使用默认值的形参出现在前面,而让那些经常使用默认值的形参出现在后面。
-
局部变量不能作为默认实参。除此之外,只要表达式的类型能转换成形参所需的类型,该表达式就能作为默认实参
-
一般来说,内联机制用于优化规模较小、流程直接、频繁调用的函数
-
constexpr函数的返回类型及所有形参的类型都得是字面值类型,而且函数体中必须有且只有一条return语句
-
和其他函数不一样,内联函数和constexpr函数可以在程序中多次定义(头文件)
-
当应用程序编写完成准备发布时,要先屏蔽掉调试代码。这种方法用到两项预处理功能:assert和NDEBUG。
-
assert是一种预处理宏(preprocessor marco) 首先对 expr 求值,如果表达式为假(即0),assert输出信息并终止程序的执行。如果表达式为真(即非0),assert什么也不做。
-
assert 宏定义在cassert头文件中。如我们所知,预处理名字由预处理器而非编译器管理
-
assert的行为依赖于一个名为NDEBUG的预处理变量的状态。如果定义了NDEBUG,则assert什么也不做。默认状态下没有定义NDEBUG,此时 assert 将执行运行时检查。
-
我们使用变量输出当前调试的函数的名字。编译器为每个函func数都定义了__func__,它是const char 的一个静态数组,用于存放函数的名字
-
我们无法把 const 对象、字面值常量或者需要进行类型转换的对象传递给普通的引用形参
-
当我们想把数组作为函数的形参时,有三种可供选择的方式:一是声明为指针,二是声明为不限维度的数组,三是声明为维度确定的数组。实际上,因为数组传入函数时实参自动转换成指向数组首元素的指针,所以这三种方式是等价的
-
引用类型的优势主要是可以直接操作所引用的对象以及避免拷贝较为复杂的类类型对象和容器对象。因为 initializer list 对象的元素永远 是常量值,所以我们不可能通过设定引用类型来更改循环控制变量的内容。只有当initializer list对象的元素类型是类类型或容器类型(比如string)时,才有必要把范围 for 循环的循环控制变量设为引用类型。
-
如果引用所引的是函数开始之前就已经存在的对象,则返回该引用是有效的:如果引用所引的是函数的局部变量,则随着函数结束局部变量也失效了,此时返回的引用无效。
当不希望返回的对象被修改时,返回对常量的引用 -
函数指针
第七章 类 (上)
- 类的基本思想是数据抽象(data abstraction)和封装(encapsulation)。数据抽象是种依赖于接口(interface)和实现(implementation)分离的编程(以及设计)技术。类的接口包括用户所能执行的操作:
- 类的实现则包括类的数据成员、负责接口实现的函数体以及定义类所需的各种私有函数。
- 成员函数的声明必须在类的内部,它的定义则既可以在类的内部也可以在类的外部。作为接口组成部分的非成员函数,例如add、read和print等,它们的定义和声明都在类的外部。
- 成员函数通过一个名为this的额外的隐式参数来访问调用它的那个对象
- 因为 this 的目的总是指向“这个”对象,所以 this 是一个常量指针,我们不允许改变this中保存的地址。
- C++语言的做法是允许把const 关键字放在成员函数的参数列表之后,此时,紧跟在参数列表后面的const表示this是一个指向常量的指针。像这样使用const的成员函数被称作常量成员函数
- 常量对象,以及常量对象的引用或指针都只能调用常量成员函数
- 类本身就是一个作用域
- 编译器分两步处理类:首先编译成员的声明,然后才轮到成员函数体(如果有的话)。
- 我们无须使用隐式的this指针访问函数调用者的某个具体成员,而是需要把调用函数的对象当成一个整体来访问
- 一般来说,如果非成员函数是类接口的组成部分,则这些函数的声明应该与类在同一个头文件内。
- 第一点,read和print分别接受一个各自10类型的引用作为其参数,这是因为I0类属于不能被拷贝的类型,因此我们只能通过引用来传递它们
- 一般来说,执行输出任务的函数应该尽量减少对格式的控制,这样可以确保由用户代码来决定是否换行。
- 我们用1hs的副本来初始化sum。默认情况下,拷贝类的对象其实拷贝的是对象的数据成员
- 无论何时只要类的对象被创建,就会执行构造函数。
- 构造函数的名字和类名相同。和其他函数不一样的是,构造函数没有返回类型;除此之外类似于其他的函数,构造函数也有一个(可能为空的)参数列表和一个(可能为空的)函数体
- 当我们创建类的一个const对象时,直到构造函数完成初始化过程,对象才能真正取得其“常量”属性。因此,构造函数在const对象的构造过程中可以向其写值。
- 如果我们的类没有显式地定义构造函数,那么编译器就会为我们隐式地定义一个默认构造函数
- 因此,含有内置类型或复合类型成员的类应该在类的内部初始化这些成员,或者定义一个自己的默认构造函数
- 我们把新出现的部分称为构造函数初始值列表(constructorinitialize list),它负责为新创建的对象的一个或几个数据成员赋初值。构造函数初始值是成员名字的一个列表,每个名字后面紧跟括号括起来的(或者在花括号内的)成员初始值
- 当某个数据成员被构造函数初始值列表忽略时,它将以与合成默认构造函数相同的方式隐式初始化
- 构造函数不应该轻易覆盖掉类内的初始值,除非新赋的值与原值不同。如果你不能使用类内初始值,则所有构造函数都应该显式地初始化每个内置类型的成员。
- 与其他几个构造函数不同,以istream 为参数的构造函数需要执行一些实际的操作。
- 当我们在类的外部定义构造函数时,必须指明该构造函数是哪个类的成员
- 管理动态内存的类通常不能依赖于上述操作的合成版本
- 不过值得注意的是,很多需要动态内存的类能(而且应该)使用vector对象或者string对象管理必要的存储空间。使用vector或者string的类能避免分配和释放内存带来的复杂性。
- struct和class的默认访问权限不太一样:如果我们使用struct关键字,则定义在第一个访问说明符之前的成员是public的:相反,如果我们使用class关键字,则这些成员是private的。出于统一编程风格的考虑,当我们希望定义的类的所有成员是public的时,使用struct;反之,如果希望成员是private的,使用class。
- 类可以允许其他类或者函数访问它的非公有成员,方法是令其他类或者函数成为它的友元(friend)
- 友元声明只能出现在类定义的内部,但是在类内出现的具体位置不限
- 友元的声明仅仅指定了访问的权限,而非一个通常意义上的函数声明。如果我们希望类的用户能够调用某个友元函数,那么我们就必须在友元声明之外再专门对函数进行一次声明。
- 为了使友元对类的用户可见,我们通常把友元的声明与类本身放置在同一个头文件中(类的外部)。
- 一些编译器允许在尚无友元函数的初始声明的情况下就调用它。不过即使你的编译器支持这种行为,最好还是提供一个独立的函数声明。这样即使你更换了一个有这种强制要求的编译器,也不必改变代码
- 类还可以自定义某种类型在类中的别名
- 用来定义类型的成员必须先定义后使用,这一点与普通成员有所区别
- 定义在类内部的成员函数是自动inline的
- 我们可以在类的内部把inline作为声明的一部分显式地声明成员函数,同样的,也能在类的外部用inline关键字修饰函数的定义
- 虽然我们无须在声明和定义的地方同时说明inline,但这么做其实是合法的。不过,最好只在类外部定义的地方说明inline,这样可以使类更容易理解。
- 可变数据成员(mutable data member)永远不会是const,即使它是const对象的成员。因此,const成员函数可以改变一个可变成员的值。
- 当我们提供一个类内初始值时,必须以符号=或者花括号表示
- 一个 const 成员函数如果以引用的形式返回*this,那么它的返回类型将是常量引用
- 非常量版本的函数对于常量对象是不可用的,所以我们只能在一个常量对象上调用const成员函数。另一方面,虽然可以在非常量对象上调用常量版本或非常量版本,但显然此时非常量版本是一个更好的匹配。
- 即使两个类的成员列表完全一致,它们也是不同的类型。对于一个类来说,它的成员和其他任何类(或者任何其他作用域)的成员都不是一回事儿。
- 不完全类型只能在非常有限的情景下使用:可以定义指
- 类还可以把其他的类定义成友元,也可以把其他类(之前已定义过的)的成员函数定义成友元。此外,友元函数能定义在类的内部,这样的函数是隐式内联的。向这种类型的指针或引用,也可以声明(但是不能定义)以不完全类型作为参数或者返回类型的函数。