专栏首页C++核心准则原文翻译C++核心准则C.182:使用匿名联合体实现附带标签的联合体

C++核心准则C.182:使用匿名联合体实现附带标签的联合体

C.182: Use anonymous unions to implement tagged unions

C.182:使用匿名联合体实现附带标签的联合体

Reason(原因)

A well-designed tagged union is type safe. An anonymous union simplifies the definition of a class with a (tag, union) pair.

良好设计的命名联合体是类型安全的。无名联合体简化了包含(标签,联合体)对的类的设计。

Example(示例)

This example is mostly borrowed from TC++PL4 pp216-218. You can look there for an explanation.

这段示例代码主要借用自TC++PL4的216页到218页(中文版:C++程序设计语言(原书第四版)p186-p188)。你可以查看该书中的解释。

The code is somewhat elaborate. Handling a type with user-defined assignment and destructor is tricky. Saving programmers from having to write such code is one reason for including variant in the standard.

这段代码有些复杂。使用用户定义的赋值和析构函数处理一种类型不是那么容易。把程序员从必须编写这样的代码的情况中解救出来是在标准库中增加variant的原因之一。

class Value { // two alternative representations represented as a union
private:
    enum class Tag { number, text };
    Tag type; // discriminant

    union { // representation (note: anonymous union)
        int i;
        string s; // string has default constructor, copy operations, and destructor
    };
public:
    struct Bad_entry { }; // used for exceptions

    ~Value();
    Value& operator=(const Value&);   // necessary because of the string variant
    Value(const Value&);
    // ...
    int number() const;
    string text() const;

    void set_number(int n);
    void set_text(const string&);
    // ...
};

int Value::number() const
{
    if (type != Tag::number) throw Bad_entry{};
    return i;
}

string Value::text() const
{
    if (type != Tag::text) throw Bad_entry{};
    return s;
}

void Value::set_number(int n)
{
    if (type == Tag::text) {
        s.~string();      // explicitly destroy string
        type = Tag::number;
    }
    i = n;
}

void Value::set_text(const string& ss)
{
    if (type == Tag::text)
        s = ss;
    else {
        new(&s) string{ss};   // placement new: explicitly construct string
        type = Tag::text;
    }
}

Value& Value::operator=(const Value& e)   // necessary because of the string variant
{
    if (type == Tag::text && e.type == Tag::text) {
        s = e.s;    // usual string assignment
        return *this;
    }

    if (type == Tag::text) s.~string(); // explicit destroy

    switch (e.type) {
    case Tag::number:
        i = e.i;
        break;
    case Tag::text:
        new(&s) string(e.s);   // placement new: explicit construct
    }

    type = e.type;
    return *this;
}

Value::~Value()
{
    if (type == Tag::text) s.~string(); // explicit destroy
}
使用匿名联合体的好处就是在使用其成员时,不需要A.B的形式。

--译者注

Enforcement(实施建议)

???

原文链接:

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#c181-avoid-naked-unions


觉得本文有帮助?请分享给更多人。

关注【面向对象思考】轻松学习每一天!

面向对象开发,面向对象思考!

本文分享自微信公众号 - 面向对象思考(OOThinkingDalian),作者:面向对象思考

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2020-03-09

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • C++核心准则ES.20: 保证所有对象被初始化

    Avoid used-before-set errors and their associated undefined behavior. Avoid prob...

    面向对象思考
  • C++核心准则C.140:不要为虚函数和它的覆盖函数设定不同的默认参数

    That can cause confusion: An overrider does not inherit default arguments.

    面向对象思考
  • C++核心准则​T.46:要求模板参数最少是正规或半正规的

    Readability. Preventing surprises and errors. Most uses support that anyway.

    面向对象思考
  • Alpine Linux 3.11更新发布:基于Linux 5.4内核 支持树莓派4

    开发者Natanael Copa今天正式推出了Alpine Linux 3.11.0重大版本更新,在修复BUG、更新组件和进行安全升级的同时引入了大量新功能。新...

    Debian社区
  • centos7 kvm安装使用

    KVM 全称是 Kernel-Based Virtual Machine。也就是说 KVM 是基于 Linux 内核实现的。  KVM有一个内核模块叫 kvm....

    yuezhimi
  • MySQL 到底是怎么解决幻读的?

    https://www.cnblogs.com/wdy1184/p/10655180.html

    Java技术栈
  • .NET Remoting 之了解

      在企业级应用开发中,分布式开发占据了越来越重要的位置。.NET Remoting 是一种可扩展性很强的开发技术。

    DougWang
  • C++ OpenCV摄像头及视频操作类​VideoCapture介绍

    前面的文章我们做了对图片的一些处理,OpenCV里面还有对动态视频的处理,通过动态视频图像每一帧生成的Mat再对图像可以进行处理。接下来我们学习一下OpenCV...

    Vaccae
  • “历史遗留”漏洞:浅析新型SSL/TLS漏洞FREAK

    最近安全研究人员发现一种新型SSL/TLS漏洞。预计在十年内,数以百万计的苹果、安卓用户访问HTTPS网站时将可能遭受中间人进而被窃取账号和密码,即使这些网站使...

    FB客服
  • postman测试上传图片接口步骤教程

    Postman是一款功能强大的网页调试与发送网页HTTP请求的Chrome插件,前端也要学会使用,只有这样,当接口调试不通的时候,用测试工具,才能够更有底气的甩...

    王小婷

扫码关注云+社区

领取腾讯云代金券