类型安全

C 时代的枚举、联合体和裸指针留下了太多类型安全的隐患——隐式转换、未定义行为、空指针解引用……现代 C++ 提供了一系列工具来堵住这些漏洞。这一章我们看看 enum class 如何终结枚举的隐式转换噩梦，强类型 typedef 如何防止参数混淆，variant 如何安全地替代 union，optional 如何优雅地表达"可能没有值"，以及 any 如何在需要时实现类型擦除。