Collection
Chapter 1 数据类型¶
指针¶
注意区分
int* p1, p2; int *p1, *p2;
方括号数组表示法 / 指针表示法
new & delete¶
- 使用delete[]释放new[]申请的内存
- 不要释放已经释放的内存
- 对空指针使用delete是安全的。
Vector, Array¶
中括号语法不检查下标越界,成员函数at()检查下标越界
Chapter 2 循环和关系表达式¶
使用术语“顺序”代替“顺序点”。
延时循环:
int sec; cin >> sec; clock_t start = clock(); clock_t delay = sec * CLOCKS_PER_SEC; while (clock() - start < delay) continue; cout << "Done." << endl;
范围循环:
for (int x : {3, 5, 7, 9, 11}) { cout << x << endl; }
Chapter 3 分支语句和逻辑运算符¶
生产环境中的bool表达式 value == varible
Chapter 4 函数¶
容忍逻辑上无法自圆其说的观点正是人类思维活动的特点
内联函数¶
两者其一:在函数声明前附加inline,在函数定义前附加inline;可将内联函数放置于头文件中;同一个函数的所有内联定义都必须相同。
函数参数与临时变量、引用参数和const¶
仅当参数为const引用时,才不生成临时变量。
函数模板¶
template <typename T> void swap(T &a, T &b) { };
实例化是编译器为函数模板生成具体代码的过程,具体化是编写函数模板的过程。
显式实例化在函数原型声明中以template
修饰,显示具体化在函数原型中以template<>
修饰。
显式具体化和显式实例化
// 非模板形式 void swap(job &a, job &b) { }; // 模板形式 template <typename T> void swap(T &a, T &b) { }; // 显式具体化形式 template <> void swap(job &a, job &b) { }; template <> void swap<job>(job &a, job &b) { }; // 显式实例化声明 template void swap<int> (int, int);
编译器确认可行函数的过程:完全匹配和最佳匹配、提升转换、标准转换、用户定义转换。“最具体”指找到可行函数需要的转换最少。
decltype¶
用于确认变量的类型:
template <typename T1, typename T2> void ft(T1 x, T2 y) { decltype(x+y) xpy = x + y; }
结合后置返回类型声明函数的返回类型:
template <typename T1, typename T2> auto h(T1 x, T2 y) -> decltype(x + y) { /* 函数体 */ };
decltype确认类型的顺序¶
- 对于没有使用括号的标识符,与标识符的类型相同
- 对于函数调用,与函数的返回值类型相同
- 对于左值,为指向其类型的引用
- 对于表达式,与表达式的类型相同
double xx; decltype((xx)) w; // double & decltype(xx) u; // dooble
Chapter 5 内存模型和名称空间¶
自给自足原则,包含防护原则
包含防护(guarding)¶
#ifndef THIS_HEADER_H_ #define THIS_HEADER_H_ // 类的定义 #endif // THIS_HEADER_H_
存储持续性¶
- 自动储存持续性
- 静态存储持续性 自动默认初始化为0(零初始化)
- 线程存储持续性 thread_local
- 动态存储持续性 new/delete
编译期间执行常量表达式初始化,运行期间执行动态初始化。
作用域与链接性¶
内部链接性在翻译单元内共享,外部链接性在翻译单元之间共享,无链接性为局部变量
- 文件作用域
- 函数原型作用域
register¶
显式地指明变量的储存性是自动的。
extern¶
单定义规则 在多个文件中使用到外部变量的情况下,只需在一个文件中包含该变量的定义,但在其他文件中要使用extern关键字来声明它。
static¶
修饰变量时,在文件作用域中表示内部链接性,在局部声明中表示静态储存持续性。
修饰函数时,可将函数的链接性设置为内部;静态函数将覆盖外部定义。
const¶
在全局变量中,用const修饰,等同于用const static进行修饰,表示内部连续性。
使用extern关键字修饰const表示外部连续性,此时所有用到该变量的翻译单元都必须使用extern关键字标记,同时只有一个文件可对其初始化。
其他关键字¶
- cv-限定符 const和volatile
- mutable 即使一个结构或类是const的,某个成员也可以被修改
mutable
的示例
struct K { mutable int i = 12; int x = 12; }; int main() { const K k; k.i = 32; // 可行 k.x = 43; // 不可行 }
语言链接性¶
C语言链接性
extern "C" void spaff(int);
C++语言链接性
extern void spaff(int); extern "C++" void spaff(int);
动态储存分配¶
new¶
单值变量的列表初始化
int *pin = new int{ 6 };
new失败时引发std::bad_alloc
异常,在旧的标准中返回空指针。
定位new运算符(placement new)¶
手动指定分配的内存起点,而不是在堆中自动管理。不跟踪已使用哪些内存,不能使用delete
释放(因为delete
只能释放自动分配的内存)。
char buf[200]; int *p = new(buf) type_name;
名称空间¶
区分声明区域,潜在作用域和作用域。
命名空间可以是全局的,也可以从属于另一个命名空间。
命名空间是开放的。任何人都可以往名称空间中加入新的内容。
区分未限定的名称和限定的名称。
using¶
using Jill::fetch; // using声明 using namespace std; // using编译指令
若使用using声明,局部名称将隐藏全局名称,但仍可使用作用域解析操作符。
using编译指令是可传递的。
可以通过使用未命名的名称空间来实现链接性为内部的静态变量。未命名的名称空间于全局变量类似,但不能使用using声明或using编译指令使它在其他位置可用。
例如,
static int counts; int other(); int main() {}; int other() {};
它采用命名空间的实现如下
namespace { int counts; } int other(); int main() {}; int other() {};
内联名称空间¶
自动将内层的标识符放至外层作用域
namespace X { inline namespace Y { void foo(); } // namespace Y } // namespace X
一个利用内联名称空间实现的实用的功能如下
// V98.h namespace V98 { void f(); // 实现基本功能 } // V99.h inline namespace V99 { void f(); // 改良实现 } // Mine.h namespace Mine { #include "V98.h" #include "V99.h" } // main.cpp #include "Mine.h" using namespace Mine; int main() { f(); // 默认版本,V99版 V98::f(); // V98版 V99::f(); // 可以通过完整方式访问 }
Chapter 6 类与对象¶
注意到定义于类声明中的函数都成为内联函数,也可以在类声明之外定义成员函数,使之成为内联函数,只需要有一处inline
标记。
class Stock { private: void set_tot(); } inline void Stock::set_tot() { ... }
构造函数和析构函数¶
- explicit 禁用构造器形参的隐式类型转换
Stock stock("Nano Element", 2, 3); Stock stock = ("Nano Element", 2, 3); // 可能会创建临时变量 Stock stock {"Nano Element", 2, 3};
可以使用列表初始化;
可以利用std::initialize_list
实现任意长度的初始化列表。
类作用域¶
像下面这样定义常量是不可行的,因为类的定义只是描述了对象的形式,并没有创建对象,也就没有存放值的空间。
class Backery { private: const int Months = 12; double cost[Months]; }
做法是为类声明一个枚举类型,或者使用static来修饰
class Backery { private: enum {Month = 12}; // 并不会创建类数据成员,即对象实例中不包含枚举 double cost[Months]; }
class Backery { private: static const int Months = 12; double cost[Months]; }
利用作用域内枚举,或称强类型枚举可以防止名称冲突
// 可能产生名称冲突 enum egg {Small, Medium, Large, Jumbo}; enum t_shirt { Small, Medium, Large, Jumbo}; // 下列枚举的作用域为类 enum class egg {Small, Medium, Large, Jumbo}; enum struct t_shirt {Small, Medium, Large, Jumbo}; // 此处class关键子与struct关键字是等效的 egg choice = egg::Small;
传统枚举值可以隐式转换为整型,而作用域类枚举不能隐式转换为整型,亦无法与整数比较,可指定底层枚举类型。
enum class : short pizza { Small, Medium, Large, XLarge };
Chapter 7 使用类¶
不要返回指向局部变量和临时对象的引用。
运算符重载¶
class Time { public: Time opearator +(const Time&) const; } Time opearator +(double, const Time&) const;
- 重载后的运算符至少有一个是用户定义的操作类型
- 重载运算符不会改变结合性和优先级
- 只能重载现有运算符
- 不能重载sizeof运算符、成员运算符、成员指针运算符、作用域解析运算符、三元条件运算符、RTTI运算符以及强制类型转换运算符
- 下列运算符只能通过成员函数重载:赋值运算符、函数调用运算符、下标运算符、通过指针访问类成员的运算符(->)
重载运算符需要小心二义性。
注意重载自增操作符时,默认重载的是前缀自增操作符,重载后缀自增操作符需要使用Type& operator ++(int)
形式的声明。
友元¶
友元函数、友元类、友元成员函数
重载二元运算符常常需要友元
创建友元函数¶
- 将函数放置在类声明中,并使用friend修饰
- 定义函数时,不使用friend修饰
即使友元函数在类中声明,但它不是类成员函数,不能通过成员运算符来调用。即使友元函数不是成员函数,但它与成员函数的访问权限相同。
只要在类外访问类的私有数据,就需要友元。
类的自动转换和强制类型转换¶
自动转换在不兼容的类型中不发生。
- 由其他类型转换:接受一个参数的构造函数可以作为转换函数。explicit可以用于指定显式强制类型转换。
- 转换成其他类型:
operator int()
operator double()
explicit可以用于指定显式强制类型转换。
类成员静态函数¶
this指针无效,可以使用类名访问,也可以使用对象访问。
Chapter 8 类和动态内存分配¶
“开始时还是正常的,但逐渐变得异常,最终导致了灾难性的后果。”
不能在类中初始化静态成员变量(声明只是描述如何分配内存,但不分配内存);静态数据成员为const整型或枚举型除外。
特殊成员函数¶
- 默认构造函数
Time() = default;
- 默认析构函数
- 复制构造函数
Time(const Time &);
逐个复制数据成员 - 赋值运算符
- 地址运算符
静态类成员函数,不能通过对象进行调用。
在构造函数中使用new¶
如果使用new来初始化指针成员,则应该在析构函数中使用delete;new和delete必须相互兼容
返回对象¶
编程陷阱预防:返回const对象
// 如果为force的类型定义了operator +() net = force1 + force2; force1 + force2 = net;
定位new运算符¶
定位new运算符不能与常规delete运算符配合使用, 从而删除对象时需要显式调用对象的析构函数。
嵌套声明¶
在类中嵌套结构或类声明,可以使作用域仅限于类中。
成员初始化列表和类内初始化¶
类中定义的const常量,可以初始化,但不能给它赋值。
只有构造函数可以使用成员初始化列表语法。
使用成员初始化列表的例子:
Queue::Queue(int qs) : qsize(qs) { front = rear = NULL; items = 0; }
成员初始化列表初始化的对象不仅仅限于常量;但常量和被声明为引用的类成员也必须使用成员初始化语法。
C++11的类内初始化允许初始化以更直观的形式初始化:
class Classy { int mem1 = 10; const int mem2 = 20; }
Chapter 9 类继承¶
派生¶
派生类需要添加自己的构造函数。
创建派生类对象之前,首先创建基类对象。创建的过程如同烙饼需要从里层开始。在派生类的构造函数中,如果不调用基类的构造函数,程序使用基类默认构造函数。派生类构造函数中通过成员初始化列表将必要参数传递给基类构造函数。
析构对象的顺序与创建对象的顺序相反,先析构派生类对象,再析构基类对象,如同吃烙饼从外层吃起。析构函数的调用是自动的。
派生类对象可以使用基类的非私有方法。可以使用作用域解析运算符指定执行的方法。
基类指针或引用可以不进行显式类型转换而指向或是引用派生类对象。也就是说可以利用基类指针数组方便地管理基类和派生类。将派生类指针或引用转换为基类指针或引用称为向上强制转换(upcasting),在共有继承关系中无需显式类型转换,相反的过程称为向下强制转换,需要显式类型转换。
虚方法¶
如果不使用virtual
,程序根据引用类型或者指针类型选择方法;如果使用virtual
,根据引用或指针指向的对象的具体类型来选择方法。
方法在基类中被声明为virtual
,在派生类中自动生成为虚方法。
virtual
只用于类声明的定义中,而没有用于方法定义中。
virtual
方法和基类指针/引用的特性,使得创建一个基类指针数组来管理基类和派生类对象十分方便。
建议析构函数声明为虚函数:除非类不用于基类。如果析构函数不是虚函数,则只调用对应于指针类型的析构函数。如果析构函数是虚的,将调用对应类型的析构函数,并自动调用基类对象的析构函数。
有关虚函数的注意事项:
- 构造函数 不能是虚函数,定义为虚函数没有任何意义。
- 析构函数 工程上必须是虚函数。通常应该给基类提供一个虚析构函数,即使它不需要析构函数。
- 友元不会是虚函数 因为友元不是成员函数。只有成员函数可以成为虚函数。
- 如果没有重新定义 如果在派生类中没有重新定义虚函数,则使用该函数的基类版本。
- 重新定义将隐藏同名的所有基类函数 重新定义继承的方法不是重载,无论参数列表是否相同,该操作将隐藏所有同名的基类方法。经验方法:一、如果重新定义继承的方法,则应确保与原函数的类型相同;如果返回类型是基类引用或者指针,则可以修改为指向派生类的引用或指针,称为“返回类型协变”。此例外仅适用于返回值,不适用于参数。二、如果基类声明被重载了,则应该在派生类中重新定义所有基类版本。
静态联编和动态联编¶
- 函数名联编(binding) 将源代码中的函数调用解析为具体的函数代码块。
- 静态联编/早期联编(static binding / early binding) 在编译期间进行的联编。
- 动态联编/晚期联编(dynamic binding / late binding) 在运行时选择正确的虚方法。
抽象基类¶
纯虚函数:未实现的函数。
class BaseEllipse { public: virtual double Area() const = 0; // 纯虚函数定义 }
当类的生命包含纯虚函数时,不能创建该类的对象。纯虚函数可以有定义,因为所有派生类的方法可以与基类一致,则可以在基类中统一定义。
继承和动态内存分配¶
派生类不使用new,不需要为派生类定义构造函数、析构函数或复制构造函数。
派生类中使用new,需要为派生类定义构造函数、析构函数和赋值构造函数。在复制构造函数中,可以使用语法Base::operator =(hs)
派生类型¶
- 公有继承 基类的公有成员成为派生类的公有成员,保护成员成为派生类的保护成员,只能通过基类接口访问私有成员,能够隐式向上转换。
- 保护继承 基类的公有成员和私有成员成为派生类的保护成员,只能通过基类接口访问基类私有成员。只能在派生类中隐式向上转换。
- 私有继承 基类的公有成员和保护成员成为派生类中的私有成员,只能通过基类接口访问基类私有成员,不能隐式向上转换。
Chapter 10 C++中的代码重用¶
using重新定义访问权限¶
使用保护继承和私有继承时,若要让基类的方法在派生类外可用,可以在派生类的公有部分添加声明:
class MyClass : private BaseClass { public: using BaseClass::min; ... }
Chapter 11 多重继承¶
注意需要使用public修饰符限定每一个基类。
多重继承带来的问题是:从不同的基类中继承同名方法,从相关基类中继承同一个类的多个实例。
有多个实例¶
使用类型转换来指定要使用的对象。
Worker * pw1 = (Waiter *) &ed; // the Worker in the Waiter Worker * pw2 = (Singer *) &ed; // the Worker in the Singer
虚基类¶
使用Virtual关键字使从多个基类相同的类中派生时,只继承一个基类对象。
class Singer : virtual public Worker {... }; class Waiter : virtual public Worker {... }; class SingerWaiter : public Singer, public Waiter {... };
使用虚基类要求在必要时显式地调用公有基类的构造函数,自动信息传递不起作用。因为自动传递信息时从两条路径传递到基类。这样的语法对于非虚基类是非法的,但对于虚基类则必须这样做。
// 不合法的 SingerWaiter(const Worker &wk, int p = 0, int v = Singer::other) : Waiter(wk, p), Singer(wk, v) { }; // 合法的 SingerWaiter(const Worker &wk, int p = 0, int v = Singer::other) : Worker(wk), Waiter(wk, p), Singer(wk, v) { };
有多个方法¶
使用作用域解析操作符澄清名称引用。
newhire.Worker::show();
类模板¶
template <class T> class Stack { // details omitted } template <class T> Stack<T>::Stack() { // details omitted } template <class T> Stack<T>::function(int arg1) { // 在类外需要使用完整的类型声明 // details omitted }
注意模板必须与特定的模板实例化请求一起使用, 最通用的办法是将模板的信息放置在一个头文件hpp
中(定义与实现不要分离)。
在工程实践中也可以分离定义,前提是要求将使用到的模板显式实例化。
非类型参数¶
非类型参数(或称表达式参数)可以是整型、枚举、引用或者指针。
template <class T, int n> class Array { private: T ar[n]; // ... }; template <class T, int n> T& Array<T,n>::function() { // ... }
模板多功能性¶
递归使用模板¶
Array<ArrayK<int, 5>, 10> twodee;
使用多个类型参数¶
template <class T1, class T2> ...
默认类型模板参数¶
template <class T, class T2 = int> class Typo {..};
模板的具体化¶
- 隐式实例化
- 显式实例化
- 显式具体化
Chpater 12 异常处理¶
头文件 <stdexcpet>
Chpater 13 输入输出工具¶
cin
¶
getline(buf, num)
丢弃换行符get(buf, num)
换行符留在输入队列中get()
读取一个字符clear()
fail(), eof()
检测到EOF后,cin的failbit和eofbit都置1;
get()(不是getline())读取空行后设置失效位(failbit),需要使用cin.clear()
恢复。
get(), getline()输入行的字符比指定容量多时,将设置失效位
cin.get(name, ArSize).get();
宽字符输出 cout
, wcout
¶
put()
setf(ios_base::fixed, ios_base::floatfield);
IO符号 flags
¶
setioflags(ios_base::fixed|ios::showpoint)
setprecision(2)
文件IO fstream
¶
ofstream fout = open(name); fout.close();
IO格式更改与恢复¶
fmtflags fmt = cout.flags(); cout.flags(fmt);
运算符、表达式和语句¶
基本运算符¶
=
+
-
*
/
%
++
--
(C中没有幂运算符)- 整数的除法总是截尾,并且是趋零截尾。因此,正数的模是正数,负数的模是负数。
自增/自减操作符¶
由于不能保证在语句执行过程中何时自增,在下列情况不要使用自增/自减运算符:
- 变量多次出现在同一个表达式里
- 变量出现在同一个函数的多个参数中
关系运算符¶
- 大于(>)、小于(<)、大于或等于(>=)、小于或等于(<=)、等于(==)和不等于(!=)。
- 不能使用关系运算符比较字符串。
- 只能使用“>”或“<”来比较浮点数。
- 如果关系表达式为真,值为1;反之,值为0。
- 如果比较的双方有一方是常量,可以把常量放在左边,有助于发现错误。
5 == canoes
逻辑真与假¶
非零为真,零为假。
逗号运算符¶
逗号运算符“,”标志了一个顺序点,保证被它分开的表达式从左到右计算。逗号表达式的值是右边成员的值。
逗号“,”也被用作分隔符。
与、或、非¶
- && 与
- || 或
- ! 非
可以使用iso646.h
改变拼写逻辑运算符的方法:
- and 与
- or 或
- not 非
关系运算符优先级高于逻辑运算符。非运算符的优先级高于与运算符,或运算符优先级最低。与运算符和或运算符标志一个顺序点。
条件运算符 ?
¶
expression 1 ? expression2 : expression3