c++ - 如何在 C++ 中强类型整数？

Question

考虑这个 C++ 代码片段:

using BookID = int;
using CustomerID = int;

BookID bookId;
CustomerID custId;

void sub() {
   bookId = custId;
}

这段代码编译得很好。但是，我希望编译器将此标记为错误，即一种 id 类型的实例正在分配给另一种类型。

是否有一种简单的方法来使用 C++ 的强大功能(可能使用通用模板):

1. 确保编译器可以将其标记为错误
2. 团队中的任何开发人员都易于使用
3. 希望没有太多的运行时开销

在我当前的项目中，我要处理大约 15 种不同的 ID 类型。问候。

Answer 1

您可以只使用简单的 template struct 并在必要时扩展它(使用 accessor、ctor 等使 id 私有(private)):

enum IdType {
    Book,
    Customer
};
 
template <IdType Type>
struct Id {
    int m_id;
};

using BookId = Id<Book>;
using CustomerId = Id<Customer>;
 

Live example

您可以使用标记类型而不是 enum 值，这会使它更灵活但可能组织性较差 - 您的 id 类型可以在本地定义，而不是强制在一个地方枚举所有类型:

template <typename T>
struct Id {
    int m_id;
};

struct BookIdTag;
using BookId = Id<BookIdTag>;

(感谢@N.Shead)