博览网 侯捷老师C++课程 第四周笔记

博览网 侯捷老师C++课程 第四周笔记

• 兼谈对象模型
• 目标：在基础上培养正规大气的编程风格、泛型编程、模板、对象之间的继承关系在内存中的结构等。
• 标准库STL采用模板。

转换函数 conversion function

• 从一种类型转换成另外一种类型，相互转换。
• 定义转换函数：函数不可以有参数，没有返回参数。operator 转换类型() const {return 类型}

- 转换函数注意合理性。

non-explicit-one-argument actor

• （一个实参就够了）非explicit的带一个实参的构造函数。从一个实参构建一个对象。可以把别的东西转换成对象。
• 转换函数和non-explicit-one-argument actor在一起的时候，会造成二义性，编译器会报错。
• explicit-one-argument ctor 明确的一参数构造函数，不要不同类型的转换。explicit大部分用在构造函数的前面。

pointer-like classes 关于智能指针

• 像指针的类，比指针再多一些东西。
• 智能指针shared_ptr
• 封装了一个真正的指针，指针所允许的动作该类都支持。*和->的操作。T& operator*()const { return *px; } T* operator->()const { return px; }
• 一个符号作用在对象上就消耗掉了，->符号除外，得到的指针对象继续用箭头符号。
• 关于标准库STL的迭代器。另外一种类似于指针的类。
• reference operator*()const { return (*node).data; }//reference 相当于T&
• pointer operator->() const { return &(operator*());} //pointer 相当于T*

function-like classes 仿函数

• 函数的特点，函数名称，小括号()-函数调用操作符，可以接受一个小括号作为操作符，那么就可以成为function-like。
• const T& operator()(const T& x) const {return x;}
• 一定会重载 （）操作。
• 标准库中，仿函数都会去继承奇特的base classes.

namespace 经验谈

• 尽可能使用命名空间，防止变量名和函数名的冲突。

class模板

• template<typename T> ……T抽象变量类型。

function模板

• template<typename T>函数定义

成员模板 member template

• 在模板类中存在一个新的模板，外面的模板是一个允许变化的东西，如果外部变化项确定，里面的变量又可以变化。
• 把两个继承类构成的pair放进一个有两个基类的pair中是可行的。反之不可以。
• 父类的指针可以指向子类的对象。up-cast。
• 智能指针模板为了实现up-cast，必须使用成员模板。

模板特化 specialization

• 泛化，在用的时候进行类型化。
• 设计模板之后，想绑定某种类型，就叫做特例化。指定了特定类型后编译器会根据参数选择相关代码。

partial specialization 偏特化

• 个数上的偏。模板有多个模板参数，对部分参数进行特例化
• 范围上的偏。从任意类型，特例化到指针这一种类型。

template temeplate parameter 模板模板参数

• template<typename T, template<typename T> class Container> class XCls{private: Container<T> c;……}
• XCls<string, list> mylst1; 错误
• template<typename T> using Lst=list<T, allocator<T>>>; XCls<string, Lst> mylst2; 正确

关于c++标准库

• 数据结构容器和算法。
• 多使用标准库，写小例子测试标准库。
• 测试是否支持c++11,cout<<__cplausplus <<endl;

三个主题（标准库中的新语法）

• 数量不定的模板参数
• auto关键字。auto自动确定变量类型。
• ranged-base for for（decl: coll）{statement}，注意传值和传引用。for（auto& elem： vec）{elem*=3;}

引用 reference

• int x = 0; int& r = x; sizeof(r) == sizeof(x); &x = &r;
• object和其引用的大小相同，地址也相同（全都是假象），java里面的变量都是引用。
• 编译器实现都是使用指针来实现引用，但是在使用时可以从逻辑上把引用当做原值来使用。
• 声明引用的时候一定要有初值。设置完以后不能再变化。指针可以变化。
• 引用的地址和原始类型的地址相同
• 引用通常不用再变量的声明，引用主要用于参数类型（传参数）和返回类型（返回参数）的描述。
• const是不是函数签名的一部分？是

析构和构造函数

继承关系下的构造和析构

• 继承类的构造函数首先调用父类的默认构造函数再执行自己。
• 继承类的析构函数先执行自己再执行父类的析构函数。

复合关系下的构造和析构

• 拥有者的构造函数先调用组件的默认构造函数，然后再执行自己。
• 拥有者析构函数先执行自己，然后才地哦啊用组件的析构函数。

继承加复合关系下的构造和析构

• 继承类的构造函数先执行基类的默认构造函数，然后调用组件的默认构造函数，然后再执行自己。Derived::Derived(……):Base(), Component(){};
• 继承类的析构函数首先执行自己，然后调用组件的析构函数，然后调用基类的析构函数。Derived::~Derived(……){……~Component(), ~BAse()}