也许是作弊？（python）

def f(n):    
    if isinstance(n, list):
        return -n[0]
    else:
        return [n,0]    
n = 4
print f(f(n))

--output--
-4

PHP，不使用全局变量：

function f($num) {
  static $mem;

  $answer = $num-$mem;

  if ($mem == 0) {
    $mem = $num*2;
  } else {
    $mem = 0;
  }

  return $answer;
}

适用于整数、浮点数和数字字符串！

只是意识到这会做一些不必要的工作，但是，不管怎样

另一个作弊解决方案。我们使用允许运算符重载的语言。然后我们让f（x）返回重载==的值，以始终返回true。这似乎与问题描述相符，但显然违背了谜题的精神。

Ruby示例：

class Cheat
  def ==(n)
     true
  end
end

def f(n)
  Cheat.new
end

这给了我们：

>> f(f(1)) == -1
=> true

而且（不太令人惊讶）

>> f(f(1)) == "hello world"
=> true

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

int f(int n)
{
  static long counter=0;
  counter++;
  if(counter%2==0)
    return -n;
  else
    return n;
}

简单的Python解决方案之所以成为可能，是因为对f（x）应该输出的内容没有限制，只有f（f（x））：

def f(x):
    return (isinstance(x, tuple) and -x[0]) or (x,)