2

Необходимо сделать базовую реализацию boost::any. Главное условие: чтобы можно было свободно хранить в контейнерах разные типы. Требуется такое поведение:

MyAny a = 5;
cout << a.get() << endl; // a.get() -> int
a = "sdfsdf"; // Нельзя!!!

std::vector<MyAny> vec;
MyAny b = 5;
MyAny c = "sdfsdf";
MyAny d = MyClass(1, 4);
vec.push_back(b);
vec.push_back(c);
vec.push_back(d);

Подскажите, где посмотреть как реализовать подобный функционал.

3
  • 1
    boost::any использует шаблон проектирования Type Erasure (стирание типа). Пример кода можно посмотреть в статье «Идиомы С++. Type erasure» на Хабрахабре. 27 авг 2017 в 22:13
  • Технически, MyAny a = 5; cout << a.get() << endl; // a.get() -> int реализовать нельзя, т.к. тип возвращаемого get значения неопределён.. Однако можно возвращать proxy-объект, для которого будет перегружен operator <<, который будет в зависимости от типа либо выводить значение в поток, либо бросать исключение. Можно сделать проще, и перегрузить operator << для самого any. Или же можно сделать get шаблонным, и бросать исключение в случае несоответствия типов.
    – Ariox
    28 авг 2017 в 18:51
  • @ВикторСирнов, да, но учитывая, что тип изменять не будет у экземпляра, тип возвращаемого значения get() известем в момент инициализации, вопрос как скрыть шаблон чтобы можно было использовать контейнеры
    – shotInLeg
    30 авг 2017 в 15:14

1 ответ 1

4

Если в двух словах, то идея такая. Any будет хранить в себе указатель на объект, который хранит в себе то, что вы хотите положить в Any. Чтобы безопасно извлекать данные будет использоваться понижающее приведение типа dynamic_cast.

Для начала опишем небольшую иерархию "хранителей" данных:

class IValue{
public:
    virtual ~IValue(){}
};

template<class T>
class Value : public IValue{
    T _value;
public:
    explicit Value(const T &value):
        _value(value)
    {}
    const T& get() const{
        return _value;        
    }
};

Тут все просто. Базовый класс IValue, от него наследуется шаблон Value, в котором можно хранить объект любого типа(кроме тех, которые не поддерживают операцию копирования).

Теперь как будет выглядеть минималистичная реализация Any:

class Any{
    std::unique_ptr<IValue> _value;
public:
    template<class T>
    Any(const T &value):
        _value(new Value<T>(value))
    {}

    template<class T>    
    T get() const{
        Value<T> *value = dynamic_cast<Value<T>*>(_value.get());
        if(!value){
            return T ();
        }

        return value->get();
    }
};

Any хранит указатель типа IValue. Когда мы пытаемся прочитать записанные данные, выполняется понижающее приведение типа:

Value<T> *value = dynamic_cast<Value<T>*>(_value.get());

Если dynamic_cast вернет 0, значит мы пытаемся извлечь неправильный тип.

Вам, для ваших целей, нужно еще реализовать копирующий конструктор и оператор присваивания, в которых будет выполняться глубокое копирование.

Полный пример

PS: Кстати, в a = "sdfsdf"; нет ничего криминального. По-моему, куда более естественно выглядит реализация в которой так делать можно. Вам придется приложить дополнительные усилия, чтоб реализовать такое ограничение.

6
  • @Abyx, а какая альтернатива? 28 авг 2017 в 9:46
  • @Abyx, QVariant, кстати, возвращает T() и прекрасно себя чувствует. 28 авг 2017 в 9:50
  • @yrHeTaTeJlb, исключение. Дизайн Qt приводить в пример не стоит, он точно не является примером для подражания.
    – ixSci
    28 авг 2017 в 10:01
  • @ixSci, а на мой взгляд исключение это плохая идея. Излишнее усложнение кода, утечки памяти, std::terminate и неопределенное поведение стандартных алгоритмов. ИМХО, уж лучше вернуть T() и добавить метод canConvert или вроде того. 28 авг 2017 в 10:17
  • Все бы ничего, но суть не в динамическом типе a = 5; a = "dsff"; а в том чтобы я один раз создал перменую и она всего хранила один типо, НО тип определился во время инициализации (не auto), и чтобы этот тип можно было положить в контейнер vector<Any> a{Any(5), Any("6")}; и пройдясь по нему получить эти дынные for(Any &x : a){ cout << x.get() << endl; x = foo(x.get()); } // foo() Полиморфная функция для int и string
    – shotInLeg
    30 авг 2017 в 15:11

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.