Используйте анонимные `union` для реализации тегированных объединений

Причина

Хорошо спроектированное тегированное объединение типобезопасно. Анонимный union упрощает определение класса с парой (тег, union).

Пример

Этот пример в основном заимствован из TC++PL4, стр. 216–218. За подробным объяснением обращайтесь туда.

Код несколько сложен. Обработка типа с пользовательским присваиванием и деструктором — непростая задача. Одна из причин включения variant в стандарт — избавить программистов от необходимости писать подобный код.

class Value { // два альтернативных представления через union
private:
    enum class Tag { number, text };
    Tag type; // дискриминант

    union { // представление (примечание: анонимный union)
        int i;
        string s; // string имеет конструктор по умолчанию, операции копирования и деструктор
    };
public:
    struct Bad_entry { }; // используется для исключений

    ~Value();
    Value& operator=(const Value&);   // необходимо из-за варианта string
    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();      // явное уничтожение 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: явное создание string
        type = Tag::text;
    }
}

Value& Value::operator=(const Value& e)   // необходимо из-за варианта string
{
    if (type == Tag::text && e.type == Tag::text) {
        s = e.s;    // обычное присваивание строки
        return *this;
    }

    if (type == Tag::text) s.~string(); // явное уничтожение

    switch (e.type) {
    case Tag::number:
        i = e.i;
        break;
    case Tag::text:
        new(&s) string(e.s);   // placement new: явное создание
    }

    type = e.type;
    return *this;
}

Value::~Value()
{
    if (type == Tag::text) s.~string(); // явное уничтожение
}

Контроль

???