Можно ли создавать в рантайме объект в C++?

Question

[broken]

Помогите, народ.
Я вроде как знаю, что такое интроспекция, на примере C# и Python. В последнем у меня в проекте динамически создается сложный объект в рантайме. Можно ли создавать в рантайме объект в C++ (и заранее из кода к нему обращаться)?
Например, типа такого:

auto object = ObjectFactory::genererateObject(objectToParse);
object.field1.field2 = NULL;

В духе такого?

Answer 1

[nicolausYes]

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

Но все же приведенный вами пример - не интроспекция. Интроспекция в С++ достигается посредством RTTI. У вас в примере тип объекта известен во время компиляции.

Comments

[broken]

Как же он будет известен, если я буду динамически создавать класс и поля? Немного поясню поглубже - в питоне я читаю конфигурационный файл(текстовый) и по нему создаю данамически создаю класс с полями и создаю объект, а потом обращаюсь к нему(100% уверен, какие у него поля будут, а какие нет, да и если что - пользую ArgumentException().

Вопрос в том - можно ли это же сделать в C++?

[broken]

И еще - мне важен сам объект и поля внутри него(т.к. я обращаюсь к ним), на сам тип мне, выходит, все равно (можно хоть class12345).

[nicolausYes]

Скорее нельзя, С++ - язык со статической типизацией. Но выход можно найти. Может вам подойдет использование std::map? Сможете обращаться к полям по заранее известному ключу. У вас данные разных типов? Как вы это делали в C#?

[broken]

В C# не делал, но знаю, что можно. Хотя бы как здесь

[broken]

(недописал) - делал в питоне, написал выше. Если нужно, - код здесь

Answer 2

[AxisPod]

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

А дальше по вашему случаю, я так понял, вы хотите сгенерировать структуру объекта в рантайме, это вообще невозможно. Т.к. это compile-time язык и информация о типе должна быть известна на этапе компиляции.

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

Comments

[broken]

Спасибо. Ну и для справки - можете тогда объяснить, в чем заключается смысл RTTI в C++? Или может ссылочкой полезной поделитесь? Не только же во взятии информации о типе объекта в рантайме...?

[AxisPod]

RTTI в C++ ограничен оператором typeof структурой type_info. По сути можно только сравнить информацию о 2х типах в рантайме и не более того. Всё связанное с детектированием определенных методов, свойств и подобных вещей реализуется в compile-time с помощью type_traits и SFINAE.

Answer 3

[tsarevfs]

можно попробовать как-нибудь так:

typedef boost::variant<int, string, bool> field_t;
typedef std::map<string, field> settings_t;
struct A
{
   A(file)
   : settings_(file.parse())
   {}
private:
   settings_t settings_;
   int my_method()
   {
      int a = boost::get<int>(settings_["a"]);
      int b = boost::get<int>(settings_["b"]);
      return a + b;
   }
}

Answer 4

[Mercury13]

Разрешите вставить и свои 5e−2 Р…

Известно ли что-то о том, какой тип будет иметь наш auto? Если известно, то может, сработает просто

dynamic_cast<Type>(object).field1.field2 = NULL;