《C++ Primer》学习笔记【第一部分 C++基础】

第2章 

整型的赋值：当我们试着把一个超出其范围的值赋给一个指定类型的对象时，结果如何？答案取决于类型是signed还是unsigned的。对于unsigned，编译器会将该值对unsigned类型的可能取值数目求模然后取所得值；对于signed类型，未定义行为，很多处理器处理方式和unsigned类似。

字符串字面值的连接：std::cout << "multi-line" L"literal " << std::endl;结果未定义，即连接不同类型的行为标准未定义。

const：全局作用域声明的const对象默认为文件的局部变量，非const变量默认为extern，要使const变量能够在其他文件访问，必须显示指定为extern。

顶层const，规定某对象的值不能变；底层const，类型如果由底层常量定义，则不能忽略。

引用：一般引用为左值引用，即只能绑定到对象上。const引用可以绑定到非常量的对象或一般表达式。右值引用必须绑定到右值表达式。

double d = 1.0;

const int &x = d;//ok

const int &y = 4; //ok

int &z = 4;//error

int &&zz = 4;//右值引用，ok

指向指针的引用：int *p; int *&r = p;//从右往左读，r是一个引用，引用一个指针，这个指针指向int

类型别名：typedef 

注意，typedef char *pstring; const pstring cstr = 0;const pstring是一个指向char的常量指针。

头文件：头文件用于声明而不是用于定义，但有三个例外：1.可以定义类 2.可以定义const对象 3.可以定义inline函数。

（在头文件中加入或修改内联函数时，使用了该头文件的所有源文件都必须重新编译）

auto说明符：auto定义的变量必须有初始值，由编译器通过初始值来推断类型。一条声明语句中，只能有一个基本类型。

auto i = 0, *p = &i;//ok

auto sz = 0, pi = 3.14;//error, 类型不同

第3章 

命名空间的using声明：有一种情况下，必须总是使用完全限定的标准库名字：在头文件中。即头文件中，不该用“using namespace std; cout << endl; ”,而该用"std::cout << std::endl;"

理由是头文件的内容会被预处理器复制到程序中，会造成包含该头文件的每个程序中都放置了同一using声明，不论该程序是否需要using声明。

:: operator操作符 : 作用域操作符。在其左操作数的作用域内找到其右操作数的名字。用于访问某个命名空间的名字，如std::cout，同样地，可用于从某个类取名字，如string::size_type。

指针和const限定符：

const int a 等价于int const a。

const int *p 等价于 int const *p, 表示一个指针，指向int类型的const对象。

int * const p表示一个const指针

多维数组和引用，指针

int ia[3][4];

int (&row)[4] = ia[1];//即*(ia+1)

int (*p)[4] = ia+1;//从右往左读，p是一个指针，指向一个维度是4的数组，数组的元素类型是int型。

*(*p+2) = 233;//ia[1][2] = 233

 用typedef简化指向多维数组的指针：

typedef int int_array[4];

int_array *ip = ia;

第6章 

使用预处理器进行调试

#ifndef NDEBUG

...

#endif

预处理器还定义了其余4种在调试时非常有用的常量

__FILE__：文件名

__LINE__：当前行号

__TIME__：文件被编译的时间

__DATE__：文件被编译的日期

另一个常见的调试技术是使用NDEBUG预处理变量以及assert断言预处理宏，assert宏在cassert头文件中定义，只要NDEBUG未定义，assert就求解表达式，为false时终止程序。

引用形参：应该将不需要修改的引用形参定义为const引用。普通的非const引用形参在使用时不灵活，这样的形参既不能用const对象初始化，也不能用字面值或产生右值的表达式初始化。

通过引用传递数组：f(int (&arr)[10])    //OK, 是维度为10的int数组的引用

　　　　　　　　　f(int &arr[10])    //error

多维数组的传递：int *arr[10]; //维度为10的int型指针数组

　　　　　　　　int(*arr)[10];//arr是一个指针，指向维度为10的int型数组

函数声明

在头文件中提供函数声明，定义函数的源文件应包含该函数的声明。函数声明中的形参名会被忽略。既可以在声明中也可以在定义中指定默认形参，但一个文件中只能为一个形参指定默认实参一次。

类的成员函数：含有额外的、隐含的形参; const成员函数使隐含的this形参改为const类型, 即不能修改this的数据成员; const对象、指向const对象的指针或引用只能调用其const成员函数。

 函数指针：bool (*pf) (const string &, const string &);//pf是一个指向函数的指针，该函数带两个const string&类型的形参和bool类型的返回值。

用typedef简化函数指针的定义， typedef bool (*cmpFcn) (const string &, const string &);

bool lengthCompare(const string &, const string &);

cmpFcn pf1 = lengthCompare;

lengthCompare("hi", "bye");

pf1("hi", "bye");　　  //ok

(*pf1)("hi", "bye");　　//ok

指向重载函数的指针：.....（此坑待填）

 第7章 类

编译器只会自动地执行一步类型转换，使用多于一步类型转换总是错误的，我们必须显式完成某一步转换。

explicit：修饰只含一个实参的构造函数，它将以直接初始化的形式使用，而且编译器不会在自动转换过程中使用该构造函数。

标准库中接受一个参数的const char*的string构造函数不是explicit的，接受一个容量参数的vector构造函数是explicit的。