C++默认构造函数有什么作用

默认构造函数可以将内容设置到默认状态而不需要可能引起失败的操作，简化了错误处理和针对移动操作的推测。   

template<typename T>
// elem points to space-elem element allocated using new
class Vector0 {
public:
    Vector0() :Vector0{0} {}
    Vector0(int n) :elem{new T[n]}, space{elem + n}, last{elem} {}
    // ...
private:
    own<T*> elem;
    T* space;
    T* last;
};

这段代码整洁且普通，但是如果过在涉及到内存分配的错误之后生成一个空的Vector0对象时，可能会失败。同时，让默认的Vector表现为{new T[0], 0, 0}有些浪费。例如Vector0<int>v[100]需要100次内存分配。   

template<typename T>
// elem is nullptr or elem points to space-elem element allocated using new
class Vector1 {
public:
    // sets the representation to {nullptr, nullptr, nullptr}; doesn't throw
    Vector1() noexcept {}
    Vector1(int n) :elem{new T[n]}, space{elem + n}, last{elem} {}
    // ...
private:
    own<T*> elem = nullptr;
    T* space = nullptr;
    T* last = nullptr;
};

使用{nullptr, nullptr, nullptr}让Vector1{}的代价更小，但是特殊的情况，（由于产生了没有数据的情况，译者注）需要运行时检查。在检测到错误之后将Vector1设为空的处理是小事情。

提示抛出异常的构造函数。