为什么 xor 会截断数值？

Question

或者...如何在不得到整数结果的情况下进行 XOR 加倍？

我正在使用 Actionscript 3.0 并发现以下内容：

var a:Number = 3.000000004;
var b:Number = 29.999999999;
trace ("a: " + a); //3.000000004
trace ("b: " + b); //29.999999999
a ^= b;
b ^= a;
a ^= b;
trace ("a: " + a); //29
trace ("b: " + b); //3

显然，XOR 操作将我的数字转换为整数。我对此有点惊讶，并不完全理解其背后的原因。但我确实知道其他按位运算也会将 Number 更改为 int，所以我并不感到惊讶。。

尽管如此，有没有办法在不将它们截断为整数的情况下对双精度数（又名数字）进行异或运算？我最初使用上面的 XOR 来优化性能（这些数字开关在数组中执行了数百万次）。我假设如果我跳过临时变量，我会看到速度增加。唉，如果把 Number 数据改成 int，那就白费了。

只是想知道是否有解决方案，或者在这种情况下我是否需要放弃 XOR。

（ps，我暂时无法查看这个帖子，但在此期间感谢任何建议、知识等）

（pps，如果你好奇，这是我尽可能加快速度的方法）

public static function reversePairs(values:Vector.<Number>):void {
    //1, 2, 3, 4, 5, 6 -> 5, 6, 3, 4, 1, 2
    var l:int = values.length;
    var n:int = l * 0.5;
    n -= n % 2;
    for (var a:int = 0; a < n; a++) {
        var b:int = (l - a) - 2 * ((a + 1) % 2);
        //we cannot use xor because it truncates the decimal value
        //values[a] ^= values[b];
        //values[b] ^= values[a];
        //values[a] ^= values[b];
        //we MUST use a temporary variable instead
        var c:Number = values[b];
        values[b] = values[a];
        values[a] = c;
    }
}

Answer 1

xor-swap 操作不是优化。这是一种悲观。

很难想到任何架构会是一个好主意（每个步骤有四个步骤，具体取决于前一个步骤的完成情况，甚至假设读取-修改-写入内存到内存是原子的......一个真正可怕的实现交换）。

在内存中的两个值之间进行交换的最佳方式通常是双重读取，然后是双重写入：

reg1 = mem1; reg2 = mem2;
mem1 = reg2; mem2 = reg1;

这些对中的每一个也可以并行执行（两次读取是独立的，两次写入也是独立的），因此操作可以分两步完成。 大多数优化编译器都能够识别惯用的三步交换

{ type temp = x; x = y; y = t; }

为此生成两步交换代码，这是硬件的最佳方式。

也就是说，可以通过使用就地减法-=而不是就地异或^=来获得浮点与错误的异或交换代码“等效”的东西。

然而，只有在没有出现准确性问题的情况下，这才是真正的交流。

Answer 2

^= 是按位运算，而不是整数运算本身（参见 Adobe's docs）。想象不存在 ints 这样的东西是有帮助的。

实际上需要更多个临时变量来异或一个数字与小数，这不会解决速度问题。

虽然我不能提供任何东西来重写交换，但我可以建议你永远不要（ever！）在 for 循环中声明 var，除非你必须这样做。尔格：

var b:int;
var c:Number;
for (var a:int = 0; a < n; a++) {
  b = (l - a) - 2 * ((a + 1) & 1);
  c = values[b];
  values[b] = values[a];
  values[a] = c;
}

另外请注意，我使用 1 将模数更改为 an additive mask，应该会更快。

除此之外，允许 Vector 类进行排序可能很有用，write a custom sort method 供您特定使用。