c - 将双关语输入整数并排序

Question

假设有一堆 float ，那么它们可以按顺序从小到大排序(即排序)。

如果我将 [1, 2] float “转换”为整数，如下所示，它们会保持相同的顺序吗？我的意思是，从比较实际位的角度来看，它会保留排序顺序吗？

union number {
  uint64_t i; // [3]
  double f;
};

当我根据 i 和 f 对 number 数组进行排序时，我会得到相同的顺序吗？

换句话说，如果:

x.f < y.f

它是否始终保持:

x.i < y.i

?

[1] 根据我的阅读，实际的术语是 "type punning"

[2] 我不能简单地“转换”(如 uint64_t i = (uint64_t)f)，因为这只会截断 float ，对吧？

[3] 它对 int64_t 和 uint64_t 都有效吗？

Answer 1

换句话说，如果:x.f < y.f它是否总是认为:x.i < y.i ？

不，这不适用于负 float 。例如-1为0xbff0000000000000，-2为0xc000000000000000。