monolake的GeekBand C++开发 学习笔记（二）

前记：本周的课讲了类的构造函数(ctor)，复制构造函数(copy ctor),析构函数(dtor)，赋值运算符=的重载(copy op=)；堆、栈、内存管理；实现了含指针的类string；还补充讲解了static静态成员及静态成员函数，类模版、模版函数，名称空间(namespace),还罗列了些其他的知识点。我一直感觉在学习过程中概念的建立是最难的，对这些知识点、概念有了认知后才能不断扩展对它们的理解。而侯老师的课正是讲述了知识概念的初步框架和运用方法。当然只有这些还不够，查阅书籍资料的扩展对这些概念的理解，并且自己运用实践增加认识。以下列出我认为自己从课堂外学习得到一些tips：

构造函数和默认构造函数

在类中存在一个默认的构造函数：（例如class Point中）

Point（）｛｝；

当我们显式定义一个构造函数后，系统会自动将默认的构造函数覆盖，例如：

Point(int w, int h) : width(w), height(h) {};

我想默认的构造函数什么都不干，覆盖就覆盖了呗，冒似没有什么影响。但是以下常用的语句：

  Point p1;

编译器却提示报错：不存在默认构造函数。细想下默认构造函数不接受参数特性，不正是为了Point p1;这样的声明语句服务的吗？所以如果想使用Point p1; 声明一个无初始值的对象，需显式的定义一个默认构造函数Point (){};。
但是你一定见过以下的用法：

Point(int w=0, int h=0) : width(w), height(h) {};

定义这样的构造函数，不加Point (){};的情况下也能使用Point p1;这样的默认声明语句。我理解这是因为给出默认值的参数可以省略不写，全部参数都给出默认值，不就都可以省略吗？等同与Point()这种形式了。
在我看来这种默认值的构造函数形式更好，不仅可以省略默认构造函数的显式书写，还可以给出声明对像的默认值。而默认的构造函数的声明了一个对象，却不给对象中的数据赋值。一旦你在赋值前使用他，得出来的值都不知道是什么，我电脑上vs2015中默认构造函数声明后访问数据的结果是:

default ctor

所以，我对自己说能给默认值的尽量给默认值。

类中的构造与复制

在类中复制构造函数(copy ctor)可以认为是对构造函数(ctor)的重载，参数类型是类对象的引用。都是在生成类对象时编译器根据参数类型调用的。从以下例子可以论证：（为了显式调用那个函数，我在各函数内部增加了函数显式说明语句cout<<"..."，这个方法感谢geekband交流群里的同学所教，下面内容也是大家讨论所得）

#include
using namespace std;
class Point
{
    int width, height;
public:
    Point(int w, int h) : width(w), height(h)
         { cout << "implicit Point ctor\n"; }; //show the call
    Point(Point & p)
          { width = p.width;height = p.height;
            cout << "copy Point ctor\n"; //show the call
           };
    void print() const
               { cout << width << " , " << height << endl; };
};
int main()
{
    Point p1(3, 4);
    p1.print();
    Point p2(p1);
    p2.print();
    cin.get();
    return 0;
}

编译结果：

ctor

可以看出p1 的确调用ctor，p2调用copy ctor。
另外我们知道copy op= 也是一种复制，与copy ctor不同处是将已有的对象的数据复制给另一个已有的对象。

void operator =( const Point & p) 
{ width = p.width; 
height = p.height; 
cout << "copy op= \n";  //show the call
}；

用法是：

Point p1(3,4),p2;
Point p3(p1);  //copy ctor
p2=p1;  //copy op=

测试结果：

copy_op=

但是有一种用法叫初始化：

Point p4=p1;

从形式上看有两种解释：
1，调用默认构造函数Point p4,先声明p4，然后copy op=赋值p1给p4。
2，将p1作为复制构造函数的参数Point&,进行复制构造，声明p4。
到底哪一种方式呢？程序测试结果：

initialization

可以看出是直接调用copy ctor的。
可以得出结论：=在给已声明对象赋值时，调用copy op=;在用于新对象的初始化复制时是调用copy ctor的。