Как выбрать тип в runtime?

Question

[megorit]

Смотрел type traits и RTTI, но на сколько понял RTTI только определяет тип, а type traits работают только в compile-time.

Например, я в runtime получаю значение, и мне нужно в зависимости от этого определить переменную нужного типа. Как?

Comments

[Евгений Шатунов]

Egorithm , изучай шаблоны проектирования. Прочитай GoF, внимательно прочитай.
Сейчас тебе для решения нужен или фабричный метод, или абстрактная фабрика.

Answer 1

[res2001]

1.Вместе со значением передавайте информацию о типе в каком-нибудь виде
2.Определяйте тип по содержимому, если это возможно.

Comments

[megorit]

Например, в OpenCV у конструктора cv::Mat один из параметров принимает константу (#define через макрос препроцессора), которая определяет тип матрицы. Я хочу понять, как сделать также.

[res2001]

Egorithm, После того как препроцессор подставил вместо макроса значение, компилятор попытался преобразовать его в тип, который получает метод. Если это удалось - хорошо, нет - ошибка компиляции. Никакой магии.
В вашем случае наверное еще и класс шаблонный. Шаблоны инстанцируются на этапе компиляции. В рантайме уже полностью определенные типы работают.

[megorit]

res2001, да, знаю, в этом и беда. Получается в Плюсах вообще нельзя в рантайме тип для объекта выбрать?

[res2001]

Egorithm, Ну в С++17 есть std::variant.
Вообще, если у вас возникла такая необходимость, то, скорее всего, вы что-то не то делаете или не так.

Answer 2

[Антон Жилин]

std::any позволяет сохранить в себя объект любого типа, после чего через any_cast вытащить значение, если оно такого типа, как мы предполагаем. Проверка осуществляется через RTTI. Если поддерживается много конкретных типов, вы должны писать здоровенную цепочку if-else-if. В таком случае лучше уж идти через наследование.