c++ - uint64_t 中的唯一值在 int64_t 中是否也是唯一的

Question

给定一个唯一的(std::uint64_t 类型)整数 vector ，如果我将(std::uint64_t 类型)的 vector 转换为( std::int64_t type) integers，能保证唯一吗？

像这样类型转换

std::vector<std::uint64_t> unsignedVec;
std::vector<std::int64_t> signedVec( unsignedVec.begin(), unsignedVec.end() );

Answer 1

will it be guaranteed to be unique?

形式上它是实现定义的，但在任何合理的平台上它应该是唯一的。

^{(特别是考虑到 int64_t has to be 2 的补码，如果提供的话。)}

从 C++20 开始，它必须是唯一的。

---

https://en.cppreference.com/w/cpp/language/implicit_conversion#Numeric_conversions

If the destination type is signed, the value does not change if the source integer can be represented in the destination type. [Otherwise the result is implementation-defined (until C++20)] [the unique value of the destination type equal to the source value modulo 2ⁿ where n is the number of bits used to represent the destination type. (since C++20)].