总结::深入理解C++11::第2章

2.1 保持与C99兼容

之后总结

2.2 long long整形

1. 分为 (signed) long long (int) 和 unsigned long long (int)
2. 在C++11中，标准要求long long整型可以在不同平台上有不同的长度，但至少有64位
3. LLONG_MIN 和 LLONG_MAX 和 ULLONG_MIN

2.3 扩展的整型

1. C++11一共只定义了5种标准的有符号整型：signed char 和 short int 和 int 和 long int 和 long long int 每一种都有对应的无符号整数版本，并拥有相同的存储空间大小
2. C++11标准允许编译器扩展自有的所谓扩展整型（extended integer type）可比最长的标准整型还长
3. 而由于C/C++是一种弱类型语言，当运算、传参等类型不匹配的时候，整型间会发生隐式的转换，这种过程通常被称为整型的提升（Integralpromotion），提升的规则如下：
   1）长度越大的整型等级越高，比如long long int的等级会高于int。
   2）长度相同的情况下，标准整型的等级高于扩展类型，比如long long int和_int64如果都是64位长度，则long long int类型的等级更高。
   3） long long int和unsigned long long int的等级就相同。
   *（在进行隐式的整型转换的时候，一般是按照低等级整型转换为高等级整型，有符号的转换为无符号）

2.4 宏__cplusplus

之后总结

2.5 静态断言

1. assert宏在程序运行时起作用，#error在编译器预处理时起作用，static_assert在编译时起起作用

static_assert(std::is_default_constructible<T>::value,
                  "Data structure requires default-constructible elements");

2. static_assert的断言表达式的结果必须是在编译时期可以计算的表达式，即必须是常量表达式。如果读者使用了变量，则会导致错误
3. 在C++中，程序员也可以定义宏NDEBUG来禁用assert宏

#include <stdio.h>
// uncomment to disable assert()
// #define NDEBUG
#include <assert.h>
#include <math.h>
 
int main(void)
{
    double x = -1.0;
    assert(x >= 0.0);
    printf("sqrt(x) = %f\n", sqrt(x));   
 
    return 0;
}

2.6 noexcept修饰符与noexcept操作符

1. noexcept形如其名地，表示其修饰的函数不会抛出异常
2. 在C++11中如果noexcept修饰的函数抛出了异常，编译器可以选择直接调用std::terminate()函数来终止程序的运行
3. 比如一个类析构函数不应该抛出异常，那么对于常被析构函数调用的delete函数来说，C++11默认将delete函数设置成noexcept，就可以提高应用程序的安全性

2.7 快速初始化成员变量

1. 在C++11中，标准允许使用等号=或者花括号{}进行就地的非静态成员变量初始化，就地使用圆括号初始化会编译出错
2. 可以为同一成员变量既声明就地的列表初始化，又在初始化列表中进行初始化，只不过初始化列表总是看起来“后作用于”非静态成员。也就是说，初始化列表的效果总是优先于就地初始化的
3. 对于非常量的静态成员变量，C++11则与C++98保持了一致。程序员还是需要到头文件以外去定义它，这会保证编译时，类静态成员的定义最后只存在于一个目标文件中

2.8 非静态成员的sizeof

1. sizeof是一个运算符，也是C语言中除了加减乘除以外为数不多的特殊运算符之一
2. 在C++11中，对非静态成员变量使用sizeof操作是合法的。而在C++98中，只有静态成员，或者对象的实例才能对其成员进行sizeof操作

struct People{
public:
	int hand;
	static People* all;
};

int main()
{
	People p;
	std::cout << sizeof(p.hand) << std::endl; //C++98通过，C++11通过
	std::cout << sizeof(People::all) << std::endl; //C++98通过，C++11通过
	std::cout << sizeof(People::hand) << std::endl; //C++98错误，C++11通过
}

2.9 扩展的friend语法

之后总结

2.10 final/override控制

1. 一个类A中声明的虚函数fun在其派生类B中再次被定义，且B中的函数fun跟A中fun的原型一样（函数名、参数列表等一样），那么我们就称B重载（overload）了A的fun函数。对于任何B类型的变量，调用成员函数fun都是调用了B重载的版本。而如果同时有A的派生类C，却并没有重载A的fun函数，那么调用成员函数fun则会调用A中的版本。这在C++中就实现多态
2. 在通常情况下，一旦在基类A中的成员函数fun被声明为virtual的，那么对于其派生类B而言，fun总是能够被重载的（除非被重写了）。有的时候我们并不想fun在B类型派生类中被重载，编写者如果要阻止派生类重载函数，只需要在定义时使用final进行修饰就可以了

struct Object {
	virtual void fun() = 0;
};
struct Base : public Object {
	void fun() final: //声明为final
};
struct Derived : public Base {
	void fun(); //无法通过编译
};

3. 基类virtual函数也可使用final，不过失去了virtual函数当意义
4. 就是对于基类声明为virtual的函数，之后的重载版本都不需要再声明该重载函数为virtual。即使在派生类中声明了virtual，该关键字也是编译器可以忽略的
5. C++11引入了虚函数描述符override，如果派生类在虚函数声明时使用了override描述符，那么该函数必须重载其基类中的同名函数，否则代码将无法通过编译

struct A
{
    virtual void foo();
    void bar();
};
 
struct B : A
{
    void foo() const override; // Error: B::foo does not override A::foo
                               // (signature mismatch)
    void foo() override; // OK: B::foo overrides A::foo
    void bar() override; // Error: A::bar is not virtual
};

2.11 模板函数的默认模板参数

之后总结

2.12 外部模板

之后总结

2.13 局部和匿名类型作模板实参

之后总结