Что такое идиоматический современный C++ для алгебраических типов данных?

Question

Предположим, например, что вы хотите реализовать электронную таблицу Cell на C++. Ячейкой может быть строка, число или, возможно, пустое. Игнорируйте другие случаи, например, формулу.

В Haskell, вы могли бы сделать что-то вроде:

data Cell = CellStr String | CellDbl Double | None 

Что считается в настоящее время «наилучшей практики» для делать это в C++? Использовать объединение в структуре с индикатором типа или что-то еще?

Answer 1

Наследование?

Должен сказать, что мне не очень нравится этот метод и не будет считать его современным, но он по-прежнему кажется стандартным.

class DoubleCell : public Cell { 
    double value; 

    public: 
    DoubleCell(double v) : value(v) {} 
    double DoubleValue() { return value; } 
    ... 
}; 

class StringCell : public Cell { 
    std::string value; 

    public: 
    StringCell(std::string v) : value(v) {} 
    std::string StringValue() { return value; } 
    ... 
}; 

class EmptyCell : public Cell { 
    ... 
}; 

Некоторые из недостатков являются:

• При получении фактического значения, вам нужно использовать различные функции. Обычно это включает использование instanceof и литье.

• Различные объекты не могут быть непосредственно помещены в контейнер, только в качестве указателей.

Answer 2

struct empty_type {}; 
using cell_type = boost::variant<std::string, double, empty_type>; 

Тогда вы могли бы сделать что-нибудь с клеткой с:

boost::apply_visitor(some_visitor(), cell); 

Answer 3

Стандартный способ реализации полиморфизма виртуальных классов. http://www.cplusplus.com/doc/tutorial/polymorphism/

Это основной механизм C++.