从 N3337：

如果类X的定义没有显式声明移动构造函数，则当且仅当

X没有用户声明的复制构造函数，X没有用户声明的复制赋值操作符，X没有用户声明的移动赋值操作符，X没有用户声明的析构函数，并且移动构造函数不会被隐式定义为deleted。

第一个问题是：为什么编译器不应该生成移动构造函数（有用户声明的析构函数和其他函数阻止移动构造函数的生成）。下面的示例程序打印构造计数器=5这意味着使用了移动构造函数（没有移动操作value::constructorCounter应该是10）

#include <iostream>

class value {
    public:
        value() {
            ++constructorCounter;
        }
        value(const int value)
            : _value(value)
        {
            ++constructorCounter;
        }
        value(const value& other)
            : _value(other._value)
        {
            ++constructorCounter;
        }
        const value& operator=(const value& rhs) {
            _value = rhs._value;
            return _value;
        }
        ~value() { }
        static int constructorCounter;
    private:
        int _value;
};

int value::constructorCounter = 0;

class array {
    public:
        //  array() = delete;
        //  array(array&&) = delete;
        array(const int size)
            : _size(size), _values(new value[size])
        {
            std::clog << "array(const int size)" << std::endl;
        }
        array(const array& rhs)
            : array(rhs._size)
        {
            std::clog << "array(const array& rhs)" << std::endl;
            for (int i = 0; i < _size; ++i)
                _values[i] = rhs._values[i];
        }
        array& operator=(const array&) {
            std::clog << "array& operator=(const array&)" << std::endl;
        }
        ~array() {
            delete [] _values;
        }
    private:
        value* _values;
        int _size;
};

int main(int argc, char *argv[]) {
    array c(array(5));
    std::clog << "constructor counter=" << value::constructorCounter << std::endl;

    return 0;
}

第二个相关问题:如果我禁用了move 构造函数数组(array