Question

似乎添加默认构造函数会阻止调用emplace_back并产生错误消息：“静态断言失败：类型不可分配”（gcc 5.3 with -std = c ++ 14）。这是一个简单的代码，说明了这个问题：

class A {
public:
    int a;
    A() = default;
    A(int a) {
        this->a = a;
    }
    A(A const & a) = delete;
    A& operator =(A const & a) = delete;
    A(A && a) = default;
    A& operator =(A && a) = default;
};

int main() {

    A a(4);
    std::vector<A> vec;
    vec.emplace_back(std::move(a)); // Error: type is not assignable
    return 0;
}

删除默认构造函数时，错误就消失了！此外，如果定义了默认构造函数（即使它什么都不做），错误也会消失：

class A {
public:
    int a;
    A() {
    }
    A(int a) {
        this->a = a;
    }
    A(A const & a) = delete;
    A& operator =(A const & a) = delete;
    A(A && a) = default;
    A& operator =(A && a) = default;
};

int main() {

    A b;
    A a(4);
    std::vector<A> vec;
    vec.emplace_back(std::move(a)); // Error gone
    return 0;
}

似乎“A（）=默认;”是导致问题的原因。这是编译器的一部分正常行为还是错误？

Answer 1

这是一个libstdc ++错误（编辑：报告为bug 69478）。

简而言之，libstdc ++的std::vector，与此相关，使用std::uninitialized_copy（与移动迭代器配对）在重新分配时移动元素，如果类型是微不足道的，则会减少到std::copy迭代器的引用类型是可分配的（即，概念上使用的赋值运算符是可用的）。

然后，std::copy用于指向普通类型的指针（或者在我们的例子中，包含指针的move_iterator）又被优化为对memmove的调用以及检查is_copy_assignable。当然，在这种情况下检查是错误的，因为uninitialized_copy与移动迭代器配对，只需要移动可构造的东西。

如果没有默认构造函数或默认构造函数是用户定义的，那么该类并不简单，因此您不会触及触发此错误的代码路径。

默认构造函数阻止调用emplace_back

1 个答案: