Question

在尝试与具有非平凡析构函数的成员进行类似联合的类时，我遇到了两个问题。一个我无法理解的分段错误，以及一种无条件地调用非平凡析构函数的方法。

#include <iostream>
#include <string>

using namespace std;

class A {
    struct B {
        int u;
        double v;
        string w;
    };
    union C {
        B x;
        unsigned char y;
        C(int u, double v, const string& w) {
            x.w = w;// why does it segfault here?
            x.u = u;
            x.v = v;
        }
        C(unsigned char c) {
            y = c;
        }
        //omitting this complains because string has non-trivial destructor
        ~C() {
            // how to call this conditionally based on A::isChar value
            //x.w.~string();
        }
    } c;
    bool isChar;
public:
    A(unsigned char f)
    : isChar{true}, c(f) {}

    A(int g, double h, const string& i)
    : isChar{false}, c(g, h, i) {}

    friend ostream& operator<<(ostream& os, const A& a) {
        if(a.isChar)
            return os << a.c.y;
        return os << a.c.x.u << " " << a.c.x.v << " " << a.c.x.w;
    }
};

int main() {
    A a1(10, 20.0, "samik"), a2('v');
    cout << a1 << " " << a2 << endl;
    return 0;
}

我正在用g++ -g -std=c++14 -pedantic union_class_test.cpp -o union_class_test.out用gcc 5.3.1编译它。如何正确实现这个？

Answer 1

程序段错误

x.w = w;// why does it segfault here?

因为x尚未构造，x.w包含垃圾。您需要确保首先调用B的构造函数。

    C(int u, double v, const string& w) : x()
    {
        x.w = w;// why does it segfault here?
        x.u = u;
        x.v = v;
    }

为了正确破坏，你需要在A的析构函数中进行。将C ::〜C留空，并向A添加析构函数。

~A()
{
    if (!isChar)
    {
        c.x.w.~string();
    }
}

复制A时你也需要小心，因为有时需要调用字符串的析构函数，有时则不需要。一种方法是使用placement new覆盖this，并且可以像......一样实现...

A& operator=(const A& o)
{
    if (this != &o)
    {
        this->~A();

        if (o.isChar)
        {
            new (this) A(o.c.y);
        }
        else
        {
            new (this) A(o.c.x.u, o.c.x.v, o.c.x.w);
        }
    }

    return *this;
}

并且，移动将以类似方式实施。但我会将其作为练习留给读者。

如何让像非平凡成员一样的班级工作正常？

1 个答案: