Переменные в стиле Python в C++

Question

Я работаю над проектом на C++ и пытаюсь выяснить, как сделать «динамическую» переменную.

В Python переменные могут иметь несколько типов:

variable = 0 
variable = "Hello" 

В Java, это не является также (несколько) достижимо:

Object o = 0; 
o = "Hello"; 

Из того, что я могу найти связанные с C++, нет object тип или «динамический» объект.

Причина мне это нужно, это я пытаюсь создать объект, который принимает в любой из следующих типов: int, float, char, string, bool, и позволит мне делать такие операции, как:

object o = 0; // currently an int 
o -= 2.5; // now a float 
o += "Test"; // now a string 

Есть ли какие-либо функции по умолчанию для такого рода переменных? Если нет, это можно сделать с помощью макросов, struct и т. Д.?

Я нашел такие вещи, как это:

template <typename name> 

Но не имеют ни малейшего представления о том, как использовать его.

Answer 1

Вы можете использовать библиотеку boost.variant. Основные инструкции по использованию here. Короче говоря, это было бы что-то вроде

using var_t = boost::variant<bool,int,double,string, boost::blank_t>; 
var_t var = "hello"; 
std::cout << boost::get<std::string>(var) << '\n'; 
std::cout << var << '\n'; // if all possible stored types are streamable 

Несколько без прямой части обращается значение, не зная точного типа. Для этого требуется static visitor.

В случае, если вам интересно, какая разница между any и variant - вы не одиноки, и here is the comparison chart.

Answer 2

Каждый язык имеет свои собственные идиоматические конструкции, и вы должны не попытаться имитировать код Python на C++. Как сказал @ user2296177, ближайший инструмент C++ (в текущей версии) является boost :: any, который также включен в C++ 17 как std :: any.

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

Если вам нужно только принять известный список типов, вы можете использовать добрые старые (исходящие из С) союзы или их ускорение с автоматическим эквивалентом boost :: variant.

Но на самом деле вам следует задаться вопросом, зачем вам это нужно, как вы намерены отслеживать фактический тип, нужно ли вам разрешать кастинг или наложение псевдонимов. Потому что за пределами динамических переменных Python C++ позволяет либо преобразовывать, либо псевдонимы между типами.

TL/DR: не пытайтесь подражать идиоме Python и тщательно анализируйте, какова ваша настоящая необходимость. Объединение может быть инструментом в некоторых случаях использования, может быть необходим указатель на пустоты в некоторых других или выделенная структура. Это действительно зависит от реального варианта использования.