Реализация динамической типизации в c++?

Question

[Никита Гусаков]

Подскажите пожалуйста, как такое реализовать?

class Variable
{
private:
    int type;
    union Value {
        char sign;
        int num;
    } value;
public:
    static const int SIGN = 1;
    static const int NUM = 2;
    Variable(char val)
    {
        type = SIGN;
        value.sign = val;
    }
    Variable(int val)
    {
        type = NUM;
        value.num = val;
    }

    Value get()
    {
        return value;
    }
};

Вот что я накидал, только никак не могу въехать как мне возвращать не union, а конкретно данные? Или подобное невозможно?

Answer 1

[gaelpa]

Можно перегрузить операторы приведения типов.

Comments

[gaelpa]

class t {
        int i;
public:
        t():i(0) {}
        t(int i):i(i) {}
        operator int() { return i; }
};
// ...
int a=2;
t b(3);
cout<<a+b<<endl; // 5

[Никита Гусаков]

Наверно как-то так:

class Variable
{
private:
    union {
        char sign;
        int num;
    } value;
public:
    Variable(char val) {
        value.sign = val;
    }
    Variable(int val) {
        value.num = val;
    }
    operator int() {
        return value.num;
    }
    operator char() {
        return value.sign;
    }
};

спасибо за оперативные ответы вам и turboNOMAD

[AxisPod]

int и char конечно реальная подстава, операторы для 2х числовых типов. Есть большие шансы, что один компилятор будет компилить конечный код, а вот другой не будет.

[gaelpa]

Есть риск получить int там, где по задумке должен был оказаться char из-за неявной конвертации типов в выражении.
С учетом того, что в контексте применения такого класса необходимо делать ветвления на основе того, какие именно данные в нем находятся, то логичнее сделать обычные методы доступа вроде getInt() и getChar().
Правда в таком случае еще логичнее сделать темплейт по хранимому типу или простое наследование на два наследника.

Answer 2

[AxisPod]

Посмотрите в сторону boost::any и boost::variant, могу дать реализацию очень близкую к boost::any, но без boost.

Comments

[Никита Гусаков]

Я перед тем как задать вопрос пол часа рыл исходники буста и php — так и не нарыл где же они там это делали… Если ткнете носом в исходники, или более простую реализацию — буду благодарен

[AxisPod]

Работа boost::any заключается в том, что создается некий контейнер для любого вашего типа, который хранит данные, сам класс не зависит от типа и может быть помещен в любой контейнер.

#include <iostream>
#include <vector>
#include <typeinfo>
#include <boost/any.hpp>

std::vector<boost::any> myv;
myv.push_back((int)5);
myv.push_back((const char*)"my string");
// ..............

for(std::vector<boost::any>::iterator it = myv.begin(); it != myv.end(); ++it)
{
  if(it->type() == typeid(int))
    std::cout << "int: " << boost::any_cast<int>(*it) << std::endl;
  else if(it->type() == typeid(const char*))
    std::cout << "string: " << boost::any_cast<const char*>(*it) << std::endl;
}

При попытке просунуть неподходящий тип в boost::any_cast будет исключение. Типы в push_back указаны для уточнения, чтобы случайно не словить проблем от компилятора на случай, если он не тот подсунет автоматом. Если такой вариант устраивает и не хочется возиться с бустом, пишите, кину на почту реализацию.

[AxisPod]

Но еще одно, boost::any это очень простой класс, который по сути является только контейнером и приводить один тип к другому он не может, он не позволит делать как в PHP. Для этого есть boost::variant, но его я не ковырял. У меня есть незаконченный аналог PHP переменной, только для C++, но он местами подглючивает и пока местами не совместим с stl.

Answer 3

[turboNOMAD]

На шаблонах можно. Но вы же понимаете, что члены union находятся в одном месте в памяти и работать одновременно более чем с одним нельзя?

template<typename T> Variable::get()
{
  return (T)value;
}

template<> Variable::get<int>()
{
  return value.num;
}

template<> Variable::get<char>()
{
  return value.sign;
}

Comments

[Никита Гусаков]

Мне нужен стек, в котором хранятся числа и символы одновременно. Поэтому union как нельзя лучше подходит по идее.

[turboNOMAD]

Подходит, но стоит иметь в виду, что в каждом элементе можно хранить ЛИБО символ, ЛИБО число. Не оба сразу.

[Никита Гусаков]

Потому я и взял union, а не struct собственно

[turboNOMAD]

Да, и еще я бы на вашем месте вместо приватного поля type, сделал бы сам класс шаблонным с типом как параметром. И соответственно, у каждой специализации класса должна быть ровно одна специализация геттера.
В таком случае даже если попробуете обратиться к объекту не по тому типу — ошибка компиляции напомнит об этом ;)