C++ 中的 Python 样式变量

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's 等来完成吗？

我发现了这样的事情：

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

每种语言都有自己的惯用结构，您应该不尝试在 C++ 中模仿 Python 代码。正如@user2296177 所说，最接近的 C++ 工具（在当前版本中）是 boost::any，它也作为 std::any 包含在 C++17 中。

但即使 boost:any 也有一些限制：分配给 boost::any 的类型必须是可复制构造的，并且它们的析构函数不能抛出异常。

如果您只需要接受已知的类型列表，则可以使用旧的（来自 C 的）联合或它们的 boost 自动等效 boost::variant。

但实际上，您应该想知道为什么需要它，您打算如何跟踪实际类型，是否需要允许转换或别名。因为除了动态 Python 变量之外，C++ 还允许在类型之间进行转换或别名。

TL/DR：不要试图模仿 Python 习语，并仔细分析您的真正需求。在某些用例中，联合可能是工具，在其他一些用例中可能需要 void 指针或专用结构。这真的取决于实际用例。