好问题！

这花了我大约35秒的时间思考并写下：

int f(int n){
    static int originalN=0;
    if (n!=0)
        originalN=n;
    return n-originalN;
}

这个问题并没有说明函数f的输入类型和返回值必须是什么（至少不是你给出的方式）。。。

…只是当n是32位整数时，f（f（n））=-n

那么，怎么样

Int64 f(Int64 n)
{
    return(n > Int32.MaxValue ? 
        -(n - 4L * Int32.MaxValue):
        n + 4L * Int32.MaxValue);
}

如果n是32位整数，则语句f（f（n））==-n将为真。

显然，这种方法可以扩展到更大范围的数字。。。

在C中，

int 
f(int n) {
     static int r = 0;
     if (r == 1) {r--; return -1 * n; };
     r++;
     return n;
}

知道这是为了什么语言会有帮助。我错过了什么吗？许多“解决方案”似乎过于复杂，坦率地说，并非如此工作（当我读到问题时）。

容易的：

function f($n) {
   if ($n%2 == 0) return ($n+1)*-1;
   else return ($n-1);
}

C++中的另一个作弊解决方案是运算符重载。

struct func {
    int n;
    func operator()(int k) { n = -k; return *this; }
    int operator()(const func &inst) { return inst.n; }
} f;

这里有一个证明，如果不使用额外信息（除了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个数字作为奖励。（但这只是一个愚蠢的假设。）