《C++ Primer （V4）》读书笔记

第2章 变量和基本类型

1.(P56)如果使用class关键字来定义类，那么定义在第一个访问标号前的任何成员都隐式指定为private；如果使用struct关键字，那么这些成员都是public。

第7章 函数

1.数组有两个特殊的性质，影响我们定义和使用作用在数组上的函数：一是不能复制数组（4.1.1节）；二是使用数组名字时，数组名会自动转化为指向其第一个元素的指针。

2.当编译器检查数组形参关联的实参时，它只会检查实参是不是指针、指针的类型和数组元素的类型是否匹配，而不会检查数组的长度。

3.数组形参可声明为数组的引用。如果形参是数组的引用，编译器不会将数组实参转化为指针，而是传递数组的引用本身。在这种情况下，数组大小成为形参和实参类型的一部分。编译器检查数组实参的大小与形参的大小是否匹配。

void printValues(int (&arr)[]) {/*...*/}
int main() {
    int i = , j[] = {,};
    int k[] = {,,,,,,,,,};
    printValues(&i);    //error
    printValues(j);      //error
    printValues(k);     //ok:argument is an array of 10
}

第15章 面向对象编程

1.（P485）使用class保留字定义的派生类默认具有private继承，而使用struct保留字定义的类默认具有public继承。

2.（P484）为了使size在Derived中成为public，可以在Derived的public部分增加一个using声明。

3.（P485）尽管私有继承在使用class保留字时是默认情况，但这在实践中相对罕见。

4.（P486）友元关系不能继承。

5.（P488）引用转换不同于转换对象。①可以将派生类型的对象传递给希望接受基类引用的函数时，引用直接绑定到该对象，虽然看起来在传递对象，实际上实参是该对象的引用，对象本身未被复制，转换不会再任何方面改变派生类型对象，该对象仍然是派生类型对象。②将派生类对象传递给希望接受基类类型对象（而不是引用）的函数时，该派生类对象的基类部分被复制到形参。

6.（P491）派生类构造函数通过将基类包含在构造函数初始化列表中来间接初始化继承成员（不能直接初始化继承成员）。初始化列表不指定初始化的执行次序，首先初始化基类，然后根据声明初始化派生类的成员。

第16章 模版与泛型编程

1.（P530）如果是类型形参，我们就知道该形参表示未知类型，如果是非类型形参，我们就知道它是一个未知值。

2.（P530）与全局作用域中声明的对象，函数或类型同名的模版形参会屏蔽全局名字。

3.（P530）用作模版形参的名字不能在同一模版内部重用。

4.（P531）对于模版可以只声明而不定义，在同一模版的声明和定义中，模版形参的名字不必相同。

template <class T> T calc(const T&, const T&);
template <class U> U calc(const U&, const U&);

省略关键字或类型说明符是错误的：

template <class T， U> T calc(const T&, const U&);  //error

5.（P352）在函数模版形参表中，关键字typename和class具有相同含义，可以互换使用，两个关键字都可以在同一模版形参表中使用。但是，关键字typename是作为标准C++的组成部分加入到C++中的，因此旧的程序更有可能只用关键字class。

6.(P532)在模版定义内部指定类型：通过在成员前加上关键字typename作为前缀，可以告诉编译器将成员当作类型。

template <class Parm, class U>
Parm fcn(Parm *array, U value) {
    typename Parm::size_type *p;
    ...
}

这些声明给用来实例化fcn的类型增加了一个职责：那些类型必须具有名为size_type的成员，而且该成员是一个类型。

7.(P533)非类型形参：

template <class T, size_t N>
void array_init(T (parm&)[N]) {
    for(size_t i = ; i != ; ++i)
        parm[i] = ;
}

当调用array_init时，编译器从数组实参计算非类型形参的值：

int x[];
double y[];
array_init(x);
array_init(y);

8.（P534）泛型编程的两个重要原则：模版的形参是const引用；函数体中的测试只用<比较。