如何实现标识符的强类型化，同时保持与地图等容器的兼容性？

使用 usings 和 typedef 进行强类型化

在编程中，强类型可以确保数据按照其定义的类型进行处理，从而防止由于错误而导致的错误意外的类型转换。本问题重点关注在项目中实现标识符的强类型化，同时保留与地图等容器的功能和兼容性。

使用结构来强制类型约束

满足这些要求，可以使用基于结构的解决方案。提供的代码定义了结构体 (string_id)，该结构体通过使用标签封装带有添加类型信息的字符串值。这些标签对于每种类型的标识符都是唯一的，例如portal_tag 或cake_tag。这样可以进行类型安全的比较，并保证不同类型的标识符不能相互分配。

用法示例

using PortalId = string_id<portal_tag>;
using CakeId = string_id<cake_tag>;

PortalId portal_id("2");
CakeId cake_id("is a lie");

// OK, same type
std::map<CakeId, PortalId> p_to_cake; 

// OK, converting a PortalId to a CakeId
std::unordered_map<CakeId, PortalId> hashed_ptocake;
hashed_ptocake.emplace(CakeId("foo"), PortalId("bar"));

// Compiler error, mixing types
p_to_cake[portal_id] = cake_id; // COMPILER ERROR

其他功能

代码的改进版本添加了哈希映射、流式传输到 ostream 以及自定义功能字符串转换。这使得可以在广泛的上下文中无缝使用类型安全标识符。

结论

该解决方案有效地实现了标识符的强类型化，同时保留了它们在容器中的可用性。通过利用结构和标签，它强制执行类型约束，防止类型不匹配引起的错误。包含的功能提供了更多的多功能性，并有助于无缝集成到现有的代码库中。

以上是如何实现标识符的强类型化，同时保持与地图等容器的兼容性？的详细内容。更多信息请关注PHP中文网其他相关文章！