这里有一个证明，如果不使用额外信息（除了32位的int），那么对于所有数字，这样的函数都不可能存在：

我们必须使f（0）=0。（证明：假设f（0）=x，则f（x）=f（f（0））=-0=0。现在，-x=f（f（x））=f（0）=x，这意味着x=0。）

此外，对于任何x和y，假设f（x）=y。那么我们希望f（y）=-x。并且f（f（y））=-y=>f（-x）=-y。总结一下：如果f（x）=y，那么f（-x）=-y，f（y）=-x，f（-y）=x。

因此，我们需要将除0之外的所有整数分成4个集合，但我们有奇数个这样的整数；不仅如此，如果我们去掉没有正对应的整数，我们仍然有2（mod4）个数。

如果我们去掉剩下的2个最大数（通过abs值），我们可以得到函数：

int sign(int n)
{
    if(n>0)
        return 1;
    else 
        return -1;
}

int f(int n)
{
    if(n==0) return 0;
    switch(abs(n)%2)
    {
        case 1:
             return sign(n)*(abs(n)+1);
        case 0:
             return -sign(n)*(abs(n)-1);
    }
}   

当然，另一种选择是不遵守0，并获得我们删除的2个数字作为奖励。（但这只是一个愚蠢的假设。）

根据您的平台，某些语言允许您在函数中保持状态。VB.Net，例如：

Function f(ByVal n As Integer) As Integer
    Static flag As Integer = -1
    flag *= -1

    Return n * flag
End Function

IIRC、C++也允许这样做。我怀疑他们正在寻找不同的解决方案。

另一个想法是，由于它们没有定义函数第一次调用的结果，因此可以使用奇数/均匀度来控制是否反转符号：

int f(int n)
{
   int sign = n>=0?1:-1;
   if (abs(n)%2 == 0)
      return ((abs(n)+1)*sign * -1;
   else
      return (abs(n)-1)*sign;
}

所有偶数的幅度加一，所有奇数的幅度减一。两次调用的结果大小相同，但在一次调用中，我们甚至交换了符号。在某些情况下，这不会起作用（-1，max或min int），但它的效果比迄今为止任何其他建议都要好得多。

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

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

Clojure解决方案：

(defmacro f [n]
  (if (list? n) `(- ~n) n))

也适用于任何大小的正整数和负整数、双整数和比率！

有些类似，但我只是想写下我的第一个想法（用C++）

#include <vector>

vector<int>* f(int n)
{
  returnVector = new vector<int>();
  returnVector->push_back(n);
  return returnVector;
}

int f(vector<int>* n) { return -(n->at(0)); }

仅使用重载使f（f（n））实际调用两个不同的函数

Scala中使用隐式转换的一个奇怪且唯一稍微聪明的解决方案：

sealed trait IntWrapper {
  val n: Int
}

case class First(n: Int) extends IntWrapper
case class Second(n: Int) extends IntWrapper
case class Last(n: Int) extends IntWrapper

implicit def int2wrapper(n: Int) = First(n)
implicit def wrapper2int(w: IntWrapper) = w.n

def f(n: IntWrapper) = n match {
  case First(x) => Second(x)
  case Second(x) => Last(-x)
}

我认为这不是一个很好的主意。