子类化 std::optional时编译错误

Compile error while subclassing std::optional

本文关键字：编译 错误 optional std 子类      更新时间：2023-10-16

>我正在尝试在 MS C++17 (VS2017) 中子类 std：：optional 以向类添加消息字段，但收到编译错误

错误 C2280："OptMsg<bool>::OptMsg(const OptMsg<bool> &)"：尝试引用已删除的函数

智能感知提供了更多的见解：

函数"OptMsg<T>::OptMsg(const OptMsg<bool> &) throw() [with T=bool]"(隐式声明)不能被引用——它是一个已删除的函数

这告诉我编译器在引用已删除函数抛出时我的复制构造函数有问题？我收到错误，从函数返回一个实例。例如，

OptMsg<bool> foo()
{
OptMsg<bool> res = false;
return res; // <-- Getting compile error here
}

这是我的课。任何见解都值得赞赏！

template <class T>
class KB_MAPPING_ENGINE_API OptMsg : public std::optional<T>
{
public:
constexpr OptMsg() noexcept
: optional{}
{}
constexpr OptMsg(std::nullopt_t) noexcept
: optional{}
{}
constexpr OptMsg(const T & other) noexcept
: optional<T>{other}
, m_Message{other.m_Message}
{}
constexpr explicit OptMsg(const T && other) noexcept
: optional<T>{other}
, m_Message{other.m_Message}
{}
OptMsg & operator = ( const OptMsg & other ) noexcept
{
if ( &other != this )
m_Message = other.m_Message;
return *this;
}
OptMsg && operator = ( const OptMsg && other )
{
if ( &other != this )
m_Message = other.m_Message;
return *this;
}
void SetMessage( const std::string & message ) { m_Message = message; }
std::string GetMessage() { return m_Message; }
private:
std::string m_Message;
};
这

告诉我编译器与我的复制构造函数有问题 引用已删除的函数抛出？

不，没有功能throw()。此表示法是 C++11 之前声明函数不会抛出任何内容的方式。如今noexcept推荐，但显然，Microsoft还没有赶上......

相反，该错误告诉您正在尝试调用复制构造函数(在您标记的行中)，但您的类没有！

为什么没有？这里

constexpr OptMsg(const T & other) noexcept
: optional<T>{other}
, m_Message{other.m_Message}
{}

看起来它打算成为复制构造函数。但是，这并不是因为论点const T&.复制构造函数需要const OptMsg&.

通常，会自动为您声明复制构造函数。这里没有发生这种情况，因为您明确声明了operator=(const OptMsg&).因此，错误消息提到您的复制构造函数是一个"已删除的函数"。

如何解决？

正确声明复制构造函数，或删除赋值运算符。编译器将为您生成一个。 但请注意，您当前的赋值运算符实现(复制和移动)仅分配消息，而不分配optional本身。这是有意的吗？将是一个非常意想不到的行为...如果这是有意的，您必须自己声明所有内容(但正确！

但是假设这不是故意的，并且进一步假设您的复制操作只是简单地复制整个实例(消息 + 基类)，那么自动生成的构造函数和赋值运算符完全可以执行您想要的操作，而无需自己编写它们。但是，您可以将其写入您的类中，让每个人都立即看到您正在使用编译器生成的：

constexpr OptMsg() = default;
constexpr OptMsg(const OptMsg & other) = default;
constexpr OptMsg(OptMsg && other) = default;
OptMsg & operator = ( const OptMsg & other ) = default;
OptMsg & operator = ( OptMsg && other ) = default;

更新：

请注意，移动构造函数和移动赋值运算符需要OptMsg&&作为参数。你一直有const OptMsg&&.因此您的错误消息

"运算符 =(const OptMsg &&)'：不是可以默认的特殊成员函数

还可以看看零规则(感谢@Caleth)。

我发现了一些问题，例如：

constexpr explicit OptMsg(const T && other) noexcept
: optional<T>{other}
, m_Message{other.m_Message}
{}

我相信你的意思是

constexpr explicit OptMsg( OptMsg&& other) noexcept
: optional<T>{std::forward<OptMsg>(other)}
, m_Message{other.m_Message}
{}

这里有两点意见： 移动不是恒定的！源数据可能会被修改，以识别数据的所有权已被移动！ 您必须使用std::forward将右值引用转发到基类移动构造函数。

还有你的：

std::string GetMessage() const { return m_Message; }

必须标记const！

接下来的事情：

constexpr OptMsg( const T& value ): OptMsg::optional{ value }{}

不能标记为explicit因为它专用于从 bool->OptMsg 进行类型转换

相关文章：