这个怎么样：

do
    local function makeFunc()
        local var
        return function(x)
            if x == true then
                return -var
            else
                var = x
                return true
            end
        end

    end
    f = makeFunc()
end
print(f(f(20000)))

本质上，函数必须将可用范围划分为大小为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)

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

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

利用JavaScript异常。

function f(n) {
    try {
        return n();
    }
    catch(e) { 
        return function() { return -n; };
    }
}

f（f（0））=>0f（f（1））=>-1

事实上，我并没有试图给出问题本身的解决方案，但我有几点意见，因为问题表明，提出这个问题是（工作？）面试的一部分：

我会先问“为什么需要这样的函数？这是什么更大的问题？”而不是试图当场解决实际提出的问题。这表明了我是如何思考和解决这样的问题的。谁知道？这甚至可能是在一次采访中首先提出这个问题的真正原因。如果答案是“没关系，假设它是需要的，并告诉我如何设计这个功能。”我会继续这样做。然后，我将编写我将使用的C#测试用例代码（显而易见：从int.MinValue到int.MaxValue的循环，对于该范围内的每个n调用f（f（n）），并检查结果是-n），告诉我将使用测试驱动开发来获得这样的函数。只有当面试官继续要求我解决所提出的问题时，我才真正开始在面试过程中胡乱写下伪代码，试图得到某种答案。然而，如果面试官能说明公司的情况，我真的不认为我会跳下去接受这份工作。。。

哦，这个答案假设面试是针对一个与C#编程相关的职位。如果面试的是与数学相关的职位，那当然是一个愚蠢的答案

事实上，这些问题更多的是关于面试官与规范、设计、错误处理、边界案例以及为解决方案选择合适的环境等进行斗争，而不是关于实际解决方案。然而：：）

这里的函数是围绕封闭的4循环思想编写的。如果函数f只允许落在有符号的32位整数上，那么上面的各种解决方案都将起作用，除了其他人指出的三个输入范围数。minint永远不会满足函数方程，因此如果这是一个输入，我们将引发一个异常。

在这里，我允许Python函数操作并返回元组或整数。任务规范承认这一点，它只指定函数的两个应用程序应该返回一个与原始对象相等的对象，如果它是int32。（我会询问有关规范的更多细节）

这使得我的轨道可以很好且对称，并且可以覆盖所有输入整数（minint除外）。我最初设想的循环是访问半整数值，但我不想陷入舍入错误。因此是元组表示。这是一种将复杂旋转作为元组隐藏的方式，而不使用复杂的算术机制。

注意，在调用之间不需要保留任何状态，但调用者确实需要允许返回值为元组或int。

def f(x) :
  if isinstance(x, tuple) :
      # return a number.
      if x[0] != 0 :
        raise ValueError  # make sure the tuple is well formed.
      else :
        return ( -x[1] )

  elif isinstance(x, int ) :
    if x == int(-2**31 ):
      # This value won't satisfy the functional relation in
      # signed 2s complement 32 bit integers.
      raise ValueError
    else :
      # send this integer to a tuple (representing ix)
      return( (0,x) )
  else :
    # not an int or a tuple
    raise TypeError

因此，将f应用于37两次得到-37，反之亦然：

>>> x = 37
>>> x = f(x)
>>> x
(0, 37)
>>> x = f(x)
>>> x
-37
>>> x = f(x)
>>> x
(0, -37)
>>> x = f(x)
>>> x
37

将f两次应用于零得到零：

>>> x=0
>>> x = f(x)
>>> x
(0, 0)
>>> x = f(x)
>>> x
0

我们处理一个问题没有解决方案的情况（在int32中）：

>>> x = int( -2**31 )
>>> x = f(x)

Traceback (most recent call last):
  File "<pyshell#110>", line 1, in <module>
    x = f(x)
  File "<pyshell#33>", line 13, in f
    raise ValueError
ValueError

如果你认为函数通过模拟乘以i的90度旋转打破了“无复杂算术”规则，我们可以通过扭曲旋转来改变这一点。这里元组表示半整数，而不是复数。如果你在数字线上追踪轨道，你会得到满足给定函数关系的非相交循环。

f2: n -> (2 abs(n) +1, 2 sign( n) ) if n is int32, and not minint.
f2: (x, y) -> sign(y) * (x-1) /2  (provided y is \pm 2 and x is not more than 2maxint+1

练习：通过修改f来实现这个f2。还有其他解决方案，例如，中间着落点是有理数而不是半整数。有一个分数模块可能很有用。你需要一个符号函数。

这个练习让我真正体会到了动态类型语言的乐趣。我在C中看不到这样的解决方案。