格物致知

C++ Primer 学习笔记三：数组和指针 (1)

1. 现代C++ 中应当尽量使用vector和迭代器类型，避免使用低级的数组和指针。设计良好的程序只有在性能测试时使用vector无法达到性能要求时，才在类实现的内部使用数组和指针。出于遗留系统的原因，还是必须掌握数组的使用方法。

数组的长度是固定的，一经创建就不能添加新的元素。指针则可以像迭代器一样用于遍历和检查数组中的元素。

2. 数组的维数必须用大于等于1的常量表达式定义，此常量表达式只能包含整型字面值常量，枚举常量或者用常量表达式初始化的整型const对象。非const对象和必须到运行时才确定值的const变量不能用于定义数组的维数。

3. 如果没有显式地提供元素初值，则数组元素会像普通变量一样初始化：

• 在函数体外定义的内置数组，其元素均初始化为0。
• 在函数体内定义的内置数组，其元素无初始化。
• 无论数组在哪里定义，如果其元素为类类型，则自动调用该类的默认构造函数进行初始化；如果该类没有默认构造函数，则必须为该数组的元素提供显式的初始化。

4. 不允许数组直接复制或赋值，数组的下标索引应当为size_t类型。

5. 与迭代器不同的是：指针用于指向单个对象，而迭代器只能用于访问容器内的元素。

6. 避免使用未初始化的指针。如果可能的话，除非所指向的对象已经存在，否则不要先定义指针，这样可以避免一个未初始化的指针；如果必须分开赋值，则应当先将指针赋为空值。

7. void* 可以保存任何类型对象的指针，它只支持以下几种操作：

• 与另一个指针进行比较
• 向函数传递void* 指针或从函数返回void* 指针
• 给另一个void* 指针赋值

不允许使用void* 指针操纵它所指向的对象。

8. 指针和引用的比较：

• 引用总是指向某个对象 ，定义引用时没有初始化是错误的。
• 赋值行为的差异：给引用赋值修改的是该引用所关联的对象的值，而并不是使引用与另一个对象关联。引用一经初始化就始终指向同一个特定对象（这也是为什么引用必须在定义时初始化的原因）。

例如下面的程序：

int ival = 1024, ival2 = 2048;

int *pi = &ival, *pi2 = &ival2;

pi = pi2 // 现在pi 指向的是ival2。

赋值结束后，pi所指向的ival对象值保持不变，赋值操作修改了pi指针的值，使其指向一个不同的对象。

int &ri = ival, &ri2 = ival2;

ri = ri2; // 将ival2 赋值给ival

这个赋值操作修改了ri引用的值 ival对象，而并非引用本身。赋值后两个引用还是分别指向原来关联的对象，此时这两个对象的值相等。

Read more…

C++ Primer 学习笔记二：标准库类型

1. 有一种情况下，必须总是使用完全限定的标准库名字：在头文件中。因为头文件的内容会被预处理器复制到程序中。用#include包含文件时，相当于头文件中的文本将成为我们编写的文件的一部分。如果在头文件中放置using声明，就相当于每个包含此头文件的程序都放置了同一using声明，不论该程序是否需要using声明。而通常，头文件中只应当定义确实必要的东西。

2. 字符串字面值与标准库中的string并不是同一个类型，这是因为历史的原因及C兼容性。
当进行string对象和字符串字面值混合连接操作时，+ 操作符的左右操作数必须至少有一个是string类型的：

string str = "hello " + "world" // 非法
string str0 = "world";
string str1 = "hello" + ", " + str0 // 非法

3. 从标准输入读取string，将：

• 读取并忽略开头所有的空白字符（如空格，换行符，制表符）
• 读取字符直到再次遇到空白字符，读取终止。

例如，如果输入为：’        hello world     ‘，则实际保存的是: ‘hello’
一种不常见的初始化方式为：
string str(n,c)：将str初始化为字符 c 的n个副本。

4. string.empty() 将返回bool值，判断是否为空串。

5. string：size_type。因为string::size()返回的是string::size_type类型的值，string类类型和许多其它库类型都定义了一些配套类型，通过这些配套类型，库类型的使用就可以与机器无关，size_type定义为与unsigned类型（unsigned int或者unsigned long）具有相同的含义，而且可以保证足够大的能够存储任意string对象的长度。为了使用由string类型定义的size_type类型，必须加上string::来限定所使用的size_type是由string类定义的。
任何存储string的size操作结果的变量必须为string::size_type类型。特别重要的是，不要把size的返回值赋给一个int变量，这是为了避免溢出现象的发生。
对于vector,则应当使用vector::size_type。
并且，习惯用!=而不是 <来编写循环判断条件，如：

for(vector::size_type ix = 0; ix ! = vec.size(); ++ ix) { }

并且，由于string, vector都是可以动态增长的，因此倾向于在每次循环时测试size的当前值，而不是在进入循环前就存储size值的副本。像size() 这样的小库函数一般定义为内联函数，所以每次循环过程中调用它的运行代价是比较小的。

Read more…

C++ Primer 学习笔记一 ：变量和基本类型

1. 在C++ 中要理解“初始化不是赋值”，因为初始化是指创建变量并给它赋初始值，而赋值是擦除对象的当前值并用新值代替。虽然只有在编写非常复杂的类时才能凸显这两种方式的区别，但这也是一个关键的概念，而且直接初始化更灵活而且效率更高。

C++中支持两种初始化的形式：复制初始化和直接初始化：

int ival(1024)  // direct-initialization
int ival = 1024  // copy-initialization

2. 在C++语言中，变量必须且仅能定义一次，而且在使用变量之前必须定义或声明变量。为了让多个文件访问相同的变量，C++区分了声明和定义。
a) 变量的定义用于为变量分配存储空间，还可以为变量指定初始值，在一个程序中，变量有且仅有一个定义。
b) 声明用于向程序表明变量的类型和名字。定义也是声明：当定义变量时我们声明了它的类型和名字，可以通过使用extern关键字声明变量名而不定义它：

extern int i; // declares but does not define i
int i; // declares and defines i

在这里，extern声明不是定义，也不分配存储空间，因为只有定义才分配存储空间。如果声明有初始化，则可以看作是定义：

extern double pi = 3.1416

虽然使用了extern，但是这条语句还是定义了pi，分配并初始化了存储空间，只有当extern声明位于函数外部时，才可以含有初始化式。
c) 任何在多个文件中使用的变量都需要有与定义分离的声明，在这种情况下，一个文件含有变量的定义，使用该变量的其它文件则包含此变量的声明（而不是定义）。
d) 通常把一个对象定义在它首次使用的地方，以提高可读性。放置声明的一个约束是，变量只能在其定义处开始到此声明所在的作用域的结束处才可以访问，必须在使用此变量的最外层作用域里面或之前定义变量。

3. 外部变量extern和const，非const变量默认为extern，而要使用const变量能在其它文件中访问，必须显示地指定它为extern。
即必须在最初就定义为：extern const int bufSize = 512;

4. 引用就是对象的另一个名字，在程序中它的主要用作函数的形式参数。引用是一种复合类型，通过在变量名前加 & 来定义，复合类型是指用其它类型定义的类型。在引用的情况下，每一种引用类型都“关联到”某一其它类型，不能定义引用类型的引用 ，但可以定义其它任何类型的引用。
引用必须用与该引用同类型的对象初始化：

	int ival = 1024;
	int &refVal = ival; // 正确
 	int &refVal2;  // 错误
	int & refVal3 = 10 // 错误

引用只是它绑定的对象的另一个名字，作用在引用上的所有操作事实上都是作用在该引用绑定的对象上，当引用初始化后，只要该引存在，它就保持绑定到初始化时指向的对象，不能将引用绑定到另一个对象。
要理解的一个重要概念是“引用只是对象的另一个名字”。
如果用const 修饰，则表示不能通过引用来修改所绑定的变量的值，而且，将普通的引用绑定到const对象也是不合法的：

const int ival = 1024;
const int &refVal = ival; // 合法，因为对象及引用都是const的
int &ref2 = ival;       // 非法，因为非const变量引用了一个const对象

Const引用可以初始化为不同类型的对象或者初始化为右值，如字面常量。

int i = 42;
const int &r = 42;
const int &r2 = r+i;

同样的初始化对于非const引用却是不合法的，下面解释它的原因：

double dval = 3.14;
const int &ri = dval;

编译器会把这些代码转换为：

int temp = dval;  // 建立一个临时变量，将ri绑定到临时变量。
const int &ri = temp;

即是说：非const引用只能绑定到与该引用同类型的对象，而const引用可以绑定到不同但相关的对象或绑定到右值。

double val = 42.999;
const int &r3 = val;
val = 2;
//r3 = 4; 非法
// 改变后 val = 2 而 r3 = 42

Read more…

struct vs class

在 C++ 中class 和 struct  只有两点主要区别：

• 默认继承权限。默认情况下，class的继承是以private来继承而struct则是按照public进行继承。
• 成员的默认访问权限。class的成员默认是private权限，struct默认是public权限。

而其它的特性，struct和class基本上，甚至严格来说是一样的:

//一个不常见的示例，将 struct 直接改为class也能编译通过。
//编译环境为 GCC 4.4.1
#include <iostream>
#include <string>
using namespace std;

struct bar
{
    private: // 访问权限修饰符
        int y;
    public:
        bar(){}; //无参构造函数
        bar(int a){ y = a;}//带参数的构造函数
        ~bar(); //虚构函数
        void say();
        virtual void func1() = 0; //纯虚函数
};

struct  foo: protected bar // 继承
{
    private:
          int x;
    public:
         foo(){};
         void say(string msg) {cout<<msg<<endl;}
         virtual int func2();//虚函数

};

int main() {
    return 0;
}

可以看到：

• 都可以有成员函数：struct可以包含和class中一样的构造函数，析构函数，重载的运算符，友元类，友元结构，友元函数，虚函数，纯虚函数，静态函数；
• 尽管默认访问权限不同，但都可以拥有public/private/protected修饰符；
• 都可以进行复杂的继承和多重继承，一个struct可以继承自一个或多个class，反之亦可。
• 注意这里与C语言并不相同，C 语言中的 struct 从本质上来说只是一个包装数据的语法机制。

Read more…