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

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

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

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) 

作为一名数学家，我想分享我对这个有趣问题的看法。我认为我有最有效的解决方案。

如果我没记错的话，只需翻转第一位，就可以将有符号的32位整数取反。例如，如果n=1001 1101 1110 1011 1110 0000 1110 1010，则-n=0001 1101 11101 1011 11100 0000 1110 010。

那么，我们如何定义一个函数f，它接受一个带符号的32位整数，并返回另一个有符号的32位数整数，该函数的属性是：接受两次f与翻转第一位相同？

让我重新表述这个问题，而不提整数之类的算术概念。

我们如何定义一个函数f，它接受长度为32的一系列0和1，并返回长度相同的一系列零和1，同时具有两次接受f与翻转第一位相同的性质？

观察：如果你能回答32位情况的上述问题，那么你也可以回答64位情况、100位情况等。你只需将f应用于前32位。

现在，如果你能回答2位案例的问题，哇！

是的，改变前2位就足够了。

这是伪代码

1. take n, which is a signed 32-bit integer.
2. swap the first bit and the second bit.
3. flip the first bit.
4. return the result.

备注：步骤2和步骤3可以概括为（a，b）-->（-b，a）。看起来很眼熟？这应该会让你想起平面的90度旋转以及乘以-1的平方根。

如果我只是单独展示了伪代码，而没有冗长的前奏，那么它看起来就像脱口而出的兔子，我想解释一下我是如何得到解决方案的。

在awk中，由于几乎没有任何信息被传递，因此必须求助于允许将状态信息作为函数返回的一部分传递的方法，而不会危及传递内容的可用性：

jot - -5 5 | mawk 'function _(__,___) { 

     return (__~(___=" ")) \
      \
      ? substr("",sub("^[ ]?[+- ]*",\
        substr(" -",__~__,index("_"___,___)-\
              (__~"[-]")),__))\
            (__~"[-]"?"":___)__\
      : (+__<-__?___:(___)___)__ 

  } BEGIN { CONVFMT=OFMT="%.17g" 
  } { 
      print "orig",           +(__=$(__<__))<-__?__:" "__,
            "f(n)....",        _(__),_(_(__)),_(_(_(__))),
                         _(_(_(_(__)))), _(_(_(_(_(__))))) 

  }' |gcat -n | lgp3 5 

 1  orig -5 f(n)....  -5   5  -5   5  -5
 2  orig -4 f(n)....  -4   4  -4   4  -4
 3  orig -3 f(n)....  -3   3  -3   3  -3
 4  orig -2 f(n)....  -2   2  -2   2  -2
 5  orig -1 f(n)....  -1   1  -1   1  -1

 6  orig  0 f(n)....   0  -0   0  -0   0
 7  orig  1 f(n)....   1  -1   1  -1   1
 8  orig  2 f(n)....   2  -2   2  -2   2
 9  orig  3 f(n)....   3  -3   3  -3   3
10  orig  4 f(n)....   4  -4   4  -4   4

11  orig  5 f(n)....   5  -5   5  -5   5

因此，这样做的限制是，只有整数或浮点值已经是字符串格式，可以在没有风险的情况下使用，因为额外的ASCII空间\040作为状态信息

这种方法的优点是

它愿意为您提供“负零”，对于绝对值小于2^53的整数，简单地添加加号，即+f（f（_））函数调用本身将具有隐式代表您完成类型铸造，结果值将再次为数字对于大整数，只需减去（）任何前导空格轻松处理大整数，而不会丢失精度从类型转换为双精度浮点

`

    1   orig -99999999999999999999999999999999 
        f(n).... 
             -99999999999999999999999999999999   
              99999999999999999999999999999999
             -99999999999999999999999999999999   
              99999999999999999999999999999999  
             -99999999999999999999999999999999

 2  orig      -1239999999999999999999999999999 
    f(n)....  -1239999999999999999999999999999                   
               1239999999999999999999999999999
              -1239999999999999999999999999999
               1239999999999999999999999999999
              -1239999999999999999999999999999`

C++

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


Value f(Value input)
{
  return input;
}

int f(int x){
    if (x < 0)
        return x;
    return ~x+1; //two's complement
}