这个怎么样（C语言）：

int f(int n)
{
    static int t = 1;
    return (t = t ? 0 : 1) ? -n : n;
}

刚刚试过，而且

f(f(1000)) 

回报-1000

f(f(-1000)) 

返回1000

这是正确的还是我没有抓住重点？

使用问题中给出的信息，您可以

从2-完成转换为符号位表示如果设置了最后一位，则翻转符号位和最后一位；否则，只翻转最后一位转换回2-完成。

所以你基本上是奇数->偶数->奇数或偶数->奇数->偶数，只对偶数更改符号。唯一不适用的数字是-2^31

代码：

function f(x) {
  var neg = x < 0;
  x = Math.abs(x) ^ 1;
  if (x & 1) {
    neg = !neg;
  }
  return neg ? -x : x;
}

C++

struct Value
{
  int value;
  Value(int v) : value(v) {}
  operator int () { return -value; }
};


Value f(Value input)
{
  return input;
}

f#中的简单解决方案（不使用“技巧”）

let rec f n =
    if n = 0 then 0
    elif n > 0 then
        if (f (n - 1) <> n) then n + 1
        else -(n - 1)
    else
        if (f (-(n - 1)) = n) then n - 1
        else -(n + 1) 

本质上，函数必须将可用范围划分为大小为4的循环，其中-n位于n循环的另一端。但是，0必须是大小为1的循环的一部分，否则0->x->0->x！=-x.因为0是单独的，所以在我们的范围内必须有3个其他值（其大小是4的倍数）不在具有4个元素的正确循环中。

我选择这些额外的奇怪值为MIN_INT、MAX_INT和MIN_INT+1。此外，MIN_INT+1将正确映射到MAX_INT，但会被卡在那里而不能映射回来。我认为这是最好的妥协，因为它有一个很好的特性，即只有极端值不能正常工作。此外，这意味着它将适用于所有BigInt。

int f(int n):
    if n == 0 or n == MIN_INT or n == MAX_INT: return n
    return ((Math.abs(n) mod 2) * 2 - 1) * n + Math.sign(n)

在Python中

f=lambda n:n[0]if type(n)is list else[-n]