这适用于1073741823至1073741822范围：

int F(int n)
{
    if(n < 0)
    {
        if(n > -1073741824)
            n = -1073741824 + n;
        else n = -(n + 1073741824);
    }
    else
    {
        if(n < 1073741823)
            n = 1073741823 + n;
        else n = -(n - 1073741823);
    }
    return n;
}

它的工作原理是获取32位有符号整数的可用范围并将其一分为二。函数的第一次迭代将n自身置于该范围之外。第二次迭代检查它是否在该范围之外-如果是，则将其放回该范围内，但使其为负值。

这实际上是一种保留关于值n的额外“位”信息的方法。

f(n) { return -1 * abs(n) }

如何处理溢出问题？还是我错过了重点？

在PHP中

function f($n) {
    if(is_int($n)) {
        return (string)$n;
    }
    else {
        return (int)$n * (-1);
    }
}

我相信你能理解其他语言的这种方法的精神。为了让不使用弱类型语言的人更清楚，我明确地将其转换回int。对于某些语言，您必须重载该函数。

这个解决方案的妙处在于，无论您是从字符串还是整数开始，它都是有效的，并且在返回f（n）时不会明显改变任何内容。

在我看来，面试官在问，“这位应聘者是否知道如何标记数据以供以后操作”，以及“这位应聘人员是否知道如何在最少更改数据的情况下标记数据？”你可以使用双精度、字符串或任何其他你想使用的数据类型来实现这一点。

作为一名数学家，我想分享我对这个有趣问题的看法。我认为我有最有效的解决方案。

如果我没记错的话，只需翻转第一位，就可以将有符号的32位整数取反。例如，如果n=1001 1101 1110 1011 1110 0000 1110 1010，则-n=0001 1101 11101 1011 11100 0000 1110 010。

那么，我们如何定义一个函数f，它接受一个带符号的32位整数，并返回另一个有符号的32位数整数，该函数的属性是：接受两次f与翻转第一位相同？

让我重新表述这个问题，而不提整数之类的算术概念。

我们如何定义一个函数f，它接受长度为32的一系列0和1，并返回长度相同的一系列零和1，同时具有两次接受f与翻转第一位相同的性质？

观察：如果你能回答32位情况的上述问题，那么你也可以回答64位情况、100位情况等。你只需将f应用于前32位。

现在，如果你能回答2位案例的问题，哇！

是的，改变前2位就足够了。

这是伪代码

1. take n, which is a signed 32-bit integer.
2. swap the first bit and the second bit.
3. flip the first bit.
4. return the result.

备注：步骤2和步骤3可以概括为（a，b）-->（-b，a）。看起来很眼熟？这应该会让你想起平面的90度旋转以及乘以-1的平方根。

如果我只是单独展示了伪代码，而没有冗长的前奏，那么它看起来就像脱口而出的兔子，我想解释一下我是如何得到解决方案的。

该问题表示“32位有符号整数”，但没有指定它们是2个补码还是1个补码。

如果使用1补码，则所有2^32值都出现在长度为4的循环中-不需要零的特殊情况，也不需要条件。

在C中：

int32_t f(int32_t x)
{
  return (((x & 0xFFFFU) << 16) | ((x & 0xFFFF0000U) >> 16)) ^ 0xFFFFU;
}

这项工作由

交换高位和低位16位块反转其中一个块

两次传递后，我们得到原始值的位逆。在一中补语表示等同于否定。

示例：

Pass |        x
-----+-------------------
   0 | 00000001      (+1)
   1 | 0001FFFF (+131071)
   2 | FFFFFFFE      (-1)
   3 | FFFE0000 (-131071)
   4 | 00000001      (+1)

Pass |        x
-----+-------------------
   0 | 00000000      (+0)
   1 | 0000FFFF  (+65535)
   2 | FFFFFFFF      (-0)
   3 | FFFF0000  (-65535)
   4 | 00000000      (+0)

我认为最大的可能范围是暗示模块化算术解决方案。在一些模基M中，有一个数，当平方等于M-1（等于-1）。例如，如果M=13，5*5=25，25 mod 13=12（=-1）总之，这里有一些M=2**32-3的python代码。

def f(x):
    m=2**32-3;
    halfm=m//2;
    i_mod_m=1849436465
    if abs( x ) >halfm:
        raise "too big"
    if x<0:
        x+=m
    x=(i_mod_m*x) % m
    if (x>halfm):
        x-=m
    return x;

注意，有3个值不适用于2**31-1、-（2**31-1）和-（2*#31）