成都创新互联网站制作重庆分公司

C++中默认操作怎么定义

本篇内容主要讲解“C++中默认操作怎么定义”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“C++中默认操作怎么定义”吧!

专业从事企业网站建设和网站设计服务,包括网站建设、国际域名空间、雅安服务器托管、企业邮箱、微信公众号开发、微信支付宝小程序开发、app软件定制开发、软件开发、等服务。公司始终通过不懈的努力和以更高的目标来要求自己,在不断完善自身管理模式和提高技术研发能力的同时,大力倡导推行新经济品牌战略,促进互联网事业的发展。

C.21:默认操作要定义就全定义,要禁止就全禁止

Reason(原因)

特殊的成员函数包括构造函数,拷贝构造函数,拷贝赋值运算符,移动构造函数,移动赋值运算符和析构函数。

译者注:这些函数都具有管理数据成员生命周期的责任,因此实现还是禁止都需要统一。

特殊函数的语义紧密相关,如果一个需要声明,可能其他的也需要考虑。

定义除默认构造函数之外的所有特殊函数,即使采用=default或者=delete的形式,将会抑制隐式声明移动构造函数和移动赋值运算符。声明移动构造函数或者移动赋值运算符,即使采用=default或者=delete的形式,也会导致隐式生成的拷贝构造函数或者拷贝赋值运算符被定义为=delete。因此,一旦任何一个特殊函数被声明,其他的都应该被声明以避免多余的效果。例如将所有的潜在移动操作都被变成代价高昂的拷贝操作,或者令这个类变成只移动的。

Example, bad(反面示例)
struct M2 {   // bad: incomplete set of default operations
public:
   // ...
   // ... no copy or move operations ...
   ~M2() { delete[] rep; }
private:
   pair* rep;  // zero-terminated set of pairs
};

void use()
{
   M2 x;
   M2 y;
   // ...
   x = y;   // the default assignment
   // ...
}

假设析构函数需要那个“特殊模式”(这里是释放内存),那么(默认的,译者注)拷贝和移动赋值(都会隐性销毁对象)正确动作的可能性就会很低。


Note(注意)

这就是众所周知的"5特殊函数规则"或者"6特殊函数规则",不同之处在于是否将默认构造函数算进来。

Note(注意)

如果需要默认操作的默认实现(例如定义了其他非默认的),通过=default表示你是有意那么做的。如果不想要默认操作,通用=delete抑制它的产生。

译者注:例如,如果定义了某种形式的构造函数,编译器就不会生成默认的构造函数。

Example, good(示例)

如果需要声明析构函数就直接定义为virtual,这个做法可以作为默认。为了避免抑制隐式的移动操作,它们也必须被声明。为了避免类成为只移动(和拷贝禁止)类型,拷贝操作也必须声明:

class AbstractBase {
public:
 virtual ~AbstractBase() = default;
 AbstractBase(const AbstractBase&) = default;
 AbstractBase& operator=(const AbstractBase&) = default;
 AbstractBase(AbstractBase&&) = default;
 AbstractBase& operator=(AbstractBase&&) = default;
};

为了避免由于规则C.67产生的分歧,也可以将拷贝和移动运算符定义为删除的。

class ClonableBase {
public:
 virtual unique_ptr clone() const;
 virtual ~ClonableBase() = default;
 ClonableBase(const ClonableBase&) = delete;
 ClonableBase& operator=(const ClonableBase&) = delete;
 ClonableBase(ClonableBase&&) = delete;
 ClonableBase& operator=(ClonableBase&&) = delete;
};

只定义移动操作或者拷贝操作产生的效果相同,但是应该明确地为每个特殊函数说明目的以便让读者更容易理解。

Note(注意)

编译器会强制执行本规则的大部分,理想情况会对任何违反发出警告。

Note(注意)

强烈反对一个具有析构函数的类依靠隐式产生的拷贝操作。

Note(注意)

同时写6个特殊成员函数容易发生错误。注意以下代码中的参数类型。

class X {
public:
   // ...
   virtual ~X() = default;            // destructor (virtual if X is meant to be a base class)
   X(const X&) = default;             // copy constructor
   X& operator=(const X&) = default;  // copy assignment
   X(X&&) = default;                  // move constructor
   X& operator=(X&&) = default;       // move assignment
};

小错误(例如拼写错误,落了const,用了&而不是&&,或者落了某个特殊成员函数)会引起错误或警告。为了避免无聊的代码和可能的错误,努力践行"0特殊函数"原则。

Enforcement(实施建议)

(简单)类应该要么声明(哪怕是通过=delete)所有的特殊函数,要么一个也不声明。

到此,相信大家对“C++中默认操作怎么定义”有了更深的了解,不妨来实际操作一番吧!这里是创新互联网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!


本文题目:C++中默认操作怎么定义
标题来源:http://cxhlcq.com/article/poddpg.html

其他资讯

在线咨询

微信咨询

电话咨询

028-86922220(工作日)

18980820575(7×24)

提交需求

返回顶部