C++ Primer 面向对象程序设计 构造函数与拷贝控制 和其他类一样，位于继承体系中的类也需要控制当其对象执行一系列操作时发生什么样的行为，这些操作还是包括创建、拷贝、移动、赋值和销毁，当然如果你没有定义的，编译器还是会帮你合成一个版本的（你也可以把它定义为删除的，不让调用） 虚析构函数 为什么我们要把继承体系的析构函数定义为虚函数？如果我们delete一个Quote*类型的指针，则该指针有可能实际指向了一个Bulk_quote类型的对象，这样的话，编译器就必须要执行Bulk_quote的析构函数，所以我们要把整个继承体系的析构函数定义为虚函数： class Quote { public:...

C++ Primer 面向对象程序设计 继承中的类作用域 来一段很精彩的总结： 每个类定义自己的作用域，在这个作用域内我们定义类的成员。 当存在继承关系时，派生类的作用域嵌套在其基类的作用域内。 如果一个名字在派生类的作用域内无法正确解析，则编译器将继续在外层的基类作用域中寻找该名字的定义 我们看一段之前的书店折扣类的代码：Bulk_quote bulk; cout << bulk.isbn(); 我们来看看isbn是怎么解析的： 因为我们是通过Bulk_quote的对象来调用isbn的，所以首先在Bulk_quote中查找，没找到 因为Bulk_qu...

C++ Primer 面向对象程序设计 类型转换与继承 理解基类和派生类之间的类型转换是理解C++语言面向对象编程的关键所在 我们把基类的指针绑定到派生类对象上，这一行为也是指针和引用规则的一个例外哦，它还有一层极为重要的含义：当我们使用基类的引用或指针时，我们并不清楚它所绑定的对象的真实类型，可能是基类对象，也可能是派生类对象 静态类型与动态类型 我们在使用存在继承关系的类型时，必须要区分两个概念了： 静态类型：编译时知道，是变量声明时的类型或表达式生成的类型 动态类型：运行时才知，是变量或表达式表示的内存中的对象的类型 举个例子： double ret =...

C++ Primer 面向对象程序设计 这是时下非常流行的内容，要好好学习哦，笔试面试的时候会经常考察这方面的知识。 面向对象程序设计基于三个基本概念：数据抽象、继承和动态绑定。我们在第七章已经介绍了数据抽象的知识，就是那个类，这一章我们要学习剩下的两个：继承和动态绑定。 开始的时候，我觉得有了类不就可以面向对象了吗？只要把实际中的对象抽象成类，好好设计一下，自己去定义构造函数，拷贝构造函数，重载一些运算，提供一些好的函数工具，注意类类型转换不就好了吗？ 事实证明，我还是too naive了，有了继承和动态绑定，我们在编写面向对象的时候会更加强大。具体说呢，继承和动态绑定...

C++ Primer 重载运算与类类型转换 重载、类型转换与运算符 我们先来看看一个叫转换构造函数的东西，其实是老朋友了： string a = "haha"; Sales_data b; b.combine(a); //combine接受一个Sales_data对象，但是一个string也行，因为隐式转换了 其实编译器用这个string构造了一个临时的Sales_data对象，用的就是只接受一个string的构造函数，所以搞了个定义叫转换构造函数。 我也有点忘了，权当复习了。 好了，现在来学点新的： 转换构造函数和类型转换运算符共同定义了类类型转换，也叫用户定义的...

C++ Primer 重载运算与类类型转换 函数调用运算符 我们来做个很有意思的事情： struct absInt { int operator()(int val) const { return val < 0 ? -val : val; } }; 我们定义了一个类，里面重载了一个运算符()，用来返回绝对值，我们来调用试试： int i = -24; absInt a; int ui = a(i); //调用了operator() 看着像不像我们调用了一个函数如果类定义了调用运算符()，那么该类的对象叫作函数对象，因为可以调用这种对象，所以我...

C++ Primer 重载运算与类类型转换 这一章其实很简单，目的只有一个，让我们在使用自定义的类像内置类型一样自然，而且运算符的操作可以自己定义（通过重载） 基本概念 重载运算符就是函数名由关键字operator和其后要定义的运算符号共同组成 重载运算符函数的参数数量与该运算符作用的运算对象数量一样，例如对于+，左侧运算对象传递给第一个参数，右侧运算对象传递给第二个参数。当它是成员函数时，this绑定到左侧运算对象，成员运算符函数的参数数量比运算对象的数量少一个。 除了重载的函数调用运算符operator()之外，其他重载运算符不能有默认实参（其实主要还是要保持跟内置类型一致...

C++ Primer 拷贝控制 对象移动 我们一般会同时定义拷贝和移动两个操作，这样好处大大滴，以push_back函数为例： void push_back(const X&); //拷贝：可以绑定到任意类型的X（因为加了const） void push_back(X&&); //移动：只能绑定到类型为X的可修改的右值 区分移动和拷贝的重载函数通常有两个版本：一个接受const T&，另一个接受T&& 再来个具体的例子： class StrVec { public: void push_back(const string&amp...

C++ Primer 拷贝控制 对象移动 现在我们在赋值语句中要分清使用的是移动构造函数还是拷贝构造函数了，老规矩，谁更匹配谁上： StrVec v1, v2; v1 = v2; //拷贝赋值 StrVec getVec(istream &); //函数声明，返回非引用，即返回右值 v2 = getVec(cin); //移动赋值 这是在StrVec类中移动操作和拷贝操作都有的情况下，如果是下面这种情况呢： class Foo { public: Foo() = default; //强行合成默认构造函数 Foo(const Foo&); //自定义拷贝构造函...

C++ Primer 拷贝控制 对象移动 新标准引入了移动对象的概念，回忆一下，我们在赋值操作时，经常进行这样的操作，对象拷贝后就立即销毁，在这些情况下，移动而非拷贝对象会大幅度提升性能。 还有一个引入移动对象的原因：有些类型是不能被拷贝的，例如IO类和unique_ptr，在旧标准中我们无法在容器中保存它们，因为它们无法被拷贝，就不存在赋值之类的操作，但引入了移动操作后，我们就可以用容器保存它们。 标准库容器、string和shared_ptr类既支持移动也支持拷贝；IO类和unique_ptr类可以移动但不能拷贝 右值引用 为了支持移动操作，新标准引入了一种很难搞的新概念-右...

C++ Primer 拷贝控制 动态内存管理类 某些类需要在运行时分配可变大小的内存空间，这种类最好在底层使用标准容器库，例如我们的StrBlob类使用vector。但是，有些类需要自己进行内存分配，它基本就要定义自己的拷贝控制成员来管理所分配的内存。 我们在这一节将要实现标准库vector类的一个简化版本，它只能用于string，命名为StrVec。 StrVec类的设计 主要参照vector<string>来。我们将使用allocator来获得原始内存，由于它分配的内存是未构造的，我们将需要在添加新元素是用allocator的construct成员在原始内存中创建...

C++ Primer 拷贝控制 交换操作swap 除了定义拷贝控制成员外，管理资源的类通常还会定义一个swap函数用于交换两个元素，对于需要重排元素的算法尤其重要。比如我们来交换一下前面写的HasPtr（值拷贝版本）： HasPtr temp = v1; v1 = v2; v2 = temp; 这是很自然的一种写法，我们借助中间量temp来交换v1和v2，但是啊，有时候对象很大，你跑去拷贝交换对象很浪费，不如去交换指针更合算： string *temp = v1.ps; v1.ps = v2.ps; v2.ps = temp; 为自己的类编写swap函数 我们来为HasPtr类写个swap...

C++ Primer 拷贝控制 拷贝控制和资源管理 这部分我们主要介绍两个内容，通过定义不同的拷贝操作，使自定义的类的行为看起来像一个值或指针。 类的行为像一个值，意味着它应该也有自己的状态。当我们拷贝一个像值的对象时，副本和原对象是完全独立的，改变副本不会对原对象有任何影响，反之亦然。 行为像指针的类共享状态，当我们拷贝一个这种类的对象时，副本和原对象使用相同的底层数据，改变副本也会改变原对象，反之亦然。还记得我们的StrBlob类吗，为了实现它我们才使用了智能指针。 在我们使用过的标准库类中，标准库容器和string类的行为像一个值；shared_ptr类提供类似指针的行为；还...

C++ Primer 拷贝控制 拷贝、赋值与销毁 三/五法则 这一部分就是要告诉你，前面介绍的三个函数，如果你要自定义的话最好三个全都自定义了。 我们一共要学五个特殊的成员函数，现在已经学了三个了： 拷贝构造函数 拷贝赋值运算符 析构函数 C++允许我们定义任意个数的这些函数，我们的建议是这三个作为整体一起定义或者不定义。接下来就会解释为啥 需要析构函数的类也需要拷贝和赋值操作 当我们决定一个类是否需要自定义它的拷贝控制成员时，一个基本原则是确定它要不要析构函数，因为对析构函数的需求更明显（教材这么说的）。如果一个类需要一个析构函数，我们几乎可以肯定它也需要一个拷贝构造函数和...