赋值运算符

对于许多重要的实用类来说，仅有默认的赋值运算符函数是不够的，还需要用户根据实际需要自己对赋值运算符进行重载，已解决遇到的问题。指针悬挂就是这方面的一个典型问题。 1、指针悬挂问题   在某些特殊情况下，如类中有指针类型时，使用默认的赋值运算符函数会产生错误。例如， 例 1：关于浅层赋值的例子。 #include<iostream> #include<string.h> ...

拷贝消除（Copy Elision）是编译器的一个优化技术，它可以在许多情况下消除不必要的拷贝构造。你的代码中的可以在很多情况下通过拷贝消除或移动语义来避免多余的拷贝构造和赋值操作。现代编译器在优化代码时会自动做这些优化，而不会显式地调用赋值运算符或拷贝构造函数。成员变量的初始化顺序是按声明顺序来的，和构造函数中初始化列表中的顺序无关。这意味着，如果你先使用size初始化data，而size尚未初始化时就会导致错误的行为。在size为0时会创建一个空数组，并不会为任何元素进行初始化。解决方法。

在C++11新标准中，我们可以通过提供noexcept说明（noexcept specification）指定某个函数不会抛出异常。其形式是关键字noexcept紧跟在函数的参数列表后面，用以标识函数不会抛出异常： void recoup(int) noexcept; // 不会抛出异常 void alloc(int); // 可能抛出异常 对于一个函数来说，noexcep

模板参数与作用域 模板参数遵循普通的作用域规则。一个模板参数名的可用范围是在其声明之后，至模板声明或定义结束之前。与任何其他名字一样，模板参数会隐藏外层作用域中声明的相同名字。但是，与大多数其他上下文不同，在模板内不能重用模板参数名。 由于参数名不能重用，所以一个模板参数名在一个特定模板参数列表中只能出现一次。模板声明 模板声明必须包含模板参数。与函数参数相同，声明中的模板参数的名字不必与定义

类似拷贝构造函数，移动构造函数的第一个参数是该类类型的一个引用。不同于拷贝构造函数的是，这个引用参数在移动构造函数中是一个右值引用。与拷贝构造函数一样，任何额外的参数都必须有默认实参。 除了完成资源移动，移动构造函数还必须确保移后源对象处于这样一个状态——销毁它是无害的。特别是，一旦资源完成移动，源对象不再指向被移动的资源——这些资源的所有权已经归属新创建的对象。 与构造函数不同，移动构造函数不

下标运算符必须是成员函数。如果一个类包含下标运算符，则它通常会定义两个版本：一个返回普通引用，另一个是类的常量成员并且返回常量引用。

要想处理构造函数初始值抛出的异常，我们必须将构造函数写成函数try语句块（function try block）的形式。函数try语句块使得一组catch语句既能处理构造函数体（或析构函数体），也能处理构造函数的初始化过程（或析构函数的析构过程）。template <typename T> Blob<T>::Blob(std::initializer_list il) try : data(std

派生类必须通过使用类派生列表（class derivation list）明确指出它是从哪个（哪些）基类继承而来的。 派生类必须将其继承而来的成员函数中需要覆盖的那些重新声明。 如果一个派生是公有的，则基类的公有成员也是派生类接口的组成部分。此外，我们能将公有派生类型的对象绑定到基类的引用或指针上。 派生类中的虚函数 派生类经常（但不总是）覆盖它继承的虚函数。如果派生类没有覆盖其基类中的某

一个特例化版本就是模板的一个独立的定义，在其中一个或多个模板参数被指定为特定的类型。定义函数模板特例化 当我们特例化一个函数模板时，必须为原模板中的每个模板参数都提供实参。为了指出我们正在实例化一个模板，应使用关键字template后跟一个空尖括号对（<>）。空尖括号指出我们将为原模板的所有模板参数提供实参：// compare的特殊版本，处理字符数组的指针 template <> int com

新标准库中定义了一种移动迭代器（move iterator）适配器。一个移动迭代器通过改变给定迭代器的解引用运算符的行为来适配此迭代器。一般来说，一个迭代器的解引用运算符返回一个指向元素的左值。与其他迭代器不同，移动迭代器的解引用运算符生成一个右值引用。我们通过调用标准库的make_move_iterator函数将一个普通迭代器转换为一个移动迭代器。此函数接受一个迭代器参数，返回一个移动迭代器。原迭

如果类重载了函数调用运算符，则我们可以像使用函数一样使用该类的对象。因为这样的类同时也能存储状态，所以与普通函数相比它们更加灵活。 函数调用运算符必须是成员函数。一个类可以定义多个不同版本的调用运算符，相互之间应该在参数数量或类型上有所区别。 如果类定义了调用运算符，则该类的对象称作函数对象。 函数对象常常作为泛型算法的实参。

每个类定义自己的作用域，在这个作用域内我们定义类的成员。当存在继承关系时，派生类的作用域嵌套在其基类的作用域之内。如果一个名字在派生类的作用域内无法正确解析，则编译器将继续在外层的基类作用域中寻找该名字的定义。在编译时进行名字查找 一个对象、引用或指针的静态类型决定了该对象的哪些成员中可见的。即使静态类型与动态类型可能不一致（当使用基类的引用或指针时会发生这种情况），但是我们能使用哪些成员仍然是由

通常，输出运算符应该主要负责打印对象的内容而非控制格式，输出运算符不应该打印换行符。 输入输出运算符必须是非成员函数 与iostream标准库兼容的输入输出运算符必须是普通的非成员函数，而不能是类的成员函数。否则，它们的左侧运算对象将是类的一个对象。输入运算符必须处理输入可能失败的情况，而输出运算符不需要。 在执行输入运算符时可能发生下列错误： 1。当流含有错误类型的数据时读取操作可能失败。

与处理拷贝构造函数一样，如果一个类没有定义自己了拷贝赋值运算符，则编译器会为它生成一个合成拷贝赋值运算符。类似拷贝构造函数，对于某些类，合成拷贝赋值运算符用来禁止该类型对象的赋值。如果拷贝赋值运算符并非出于此目的，它会将右侧运算对象的每个非static成员赋予左侧运算对象的对应成员，这一工作是通过成员类型的拷贝赋值运算符来完成的。对于数组类型的成员，逐个赋值数组元素。合成拷贝赋值运算符返回一个指向其

每个头文件中都应该加上头文件保护。 头文件中不能定义全局变量，否则链接时会出现错误。头文件中只能包含全局变量的外部声明， 而应该在cpp文件中定义全局变量。 建议const变量定义在cpp文件中，在头文件中只包含该const变量的声明（前提是这个const变量 需要在多文件中使用）。还有一点要注意的是，定义在函数外部的const变量默认具有文件作用域。 将类定义在头文件中，并且类

作为继承关系中根节点的类通常都会定义一个虚析构函数。 基类通常都应该定义一个虚析构函数，即使该函数不执行任何实际操作也是如此。成员函数与继承 在C++语言中，基类必须将它的两种成员函数区分开来：一种是基类希望其派生类进行覆盖的函数；另一种是基类希望派生类直接继承而不要改变的函数。对于前者，基类通常将其定义为虚函数。当我们使用指针或引用调用虚函数时，该调用被动态绑定。根据引用或指针所绑定的对象类型

标准库函数operator new和operator delete的名字容易让人误解。和其他operator函数不同（比如operator=），这两个函数并没有重载new表达式或delete表达式。实际上，我们根本无法自定义new表达式或delete表达式的行为。 一条new表达式的执行过程总是先调用operator new函数以获取内存空间，然后在得到的内存空间中构造对象。与之相反，一条dele