c++ - 继承后重新获得 move 可构造性

Question

考虑以下片段:

#include <iostream>
#include <type_traits>

class base
{
public:

    base(const base &) = default;
    base(base &&) = delete;
};

class daughter : public base
{
};

int main()
{
    std :: cout << std :: is_move_constructible <daughter> :: value << std :: endl;
}

我整个早上都在盯着它看，但我就是想不通它为什么会输出:

1

类 base 明确不可 move 构造(is_move_constructible 在 base 上实际上是 false)，并且 daughter 继承自它。为什么它会神奇地再次变得可 move ？ daughter 的默认 move 构造函数会是什么样子？

Answer 1

Class base is explicitly not move constructible

但确实如此。该类型特征仅检查 daughter d2( std::move(d1) ); 对于任何两个对象都是良构的。您可能已经在 base 中显式删除了 move c'tor，但在 daughter 中它只是隐式删除了。因此重载决议将正确地选择复制 c'tor。

[over.match.funcs]

8 A defaulted move constructor or assignment operator ([class.copy]) that is defined as deleted is excluded from the set of candidate functions in all contexts.

如果您真的希望daughter 是不可 move 的，您需要显式删除daughter 本身的 move 构造函数。然后重载决议将命中一个显式删除的函数，这将使被检查的构造格式错误。