C++ 编写自己的 `std::variant`:实现类型安全的联合体

好的,让我们开始这场 C++ std::variant DIY 之旅!今天我们要一起打造一个属于我们自己的、类型安全的联合体,就像超级英雄DIY装备一样,想想就激动! 开场白:联合体的“前世今生”与 std::variant 的诞生 各位,还记得 C 时代的联合体 (union) 吗?它允许我们在同一块内存空间存储不同类型的数据,就像一个神奇的盒子,今天装苹果,明天装香蕉。但是,这盒子有个毛病:它不告诉你里面装的是啥,全靠你自己记住!一不小心就拿香蕉当苹果啃了,程序崩给你看。 union Data { int i; float f; char str[20]; }; int main() { Data data; data.i = 10; std::cout << data.f << std::endl; // 惨不忍睹的输出 return 0; } 看到了吧?这就是类型不安全的痛苦。为了解决这个问题,C++17 引入了 std::variant。它就像一个升级版的联合体,不仅能存储不同类型的数据,还能记住自己存储的是哪种类型,让你再也不用担心拿错东西了。 我们 …