2

为什么这不起作用？

struct O {
    O(int i, int j)
        : i(i)
        , j(j)
    {}

    int const i;
    int const j;
};

int main(int argc, char** argv)
{
    boost::optional<O> i;
    i.reset(O(4, 5));
    return 0;
}

它似乎是在尝试使用赋值运算符，而不是尝试在适当的位置构造它。我曾假设它会在未初始化的内存上调用 O 的复制构造函数。

/..../include/boost/optional/optional.hpp:433:69: error: use of deleted function ‘O& O::operator=(const O&)’
.... error: ‘O& O::operator=(const O&)’ is implicitly deleted because the default definition would be ill-formed:
.... error: non-static const member ‘const int O::i’, can’t use default assignment operator
.... error: non-static const member ‘const int O::j’, can’t use default assignment operator
4

1 回答 1

2

Boost.Optional 使用赋值或复制构造，具体取决于i. 由于此状态是运行时信息，因此也必须在运行时进行分配和复制构造之间的选择。
然而，这意味着编译器必须为这两个选项生成代码，即使其中一个从未实际使用过。这意味着这两种选择都必须是可能的。

要使代码正常工作，您可以将（总是失败的）assingment 运算符添加到class O：

O& O::operator=(const O&)
{
    throw "this is not possible"
    return *this;
}

作为旁注，Optional<T>::reset已弃用。您应该只使用 assingment，如

i = O(4,5);

上述语义对两者都有效。

于 2013-01-17T08:47:36.803 回答