我试着打高尔夫，这是罗德里克·查普曼的回答。

无分支：74个字符

int f(int i){return(-((i&1)<<1)|1)*i-(-((i>>>31)<<1)|1)*(((i|-i)>>31)&1);}

带有分支，Java风格：58个字符

int f(int i){return i==0?0:(((i&1)==0?i:-i)+(i>0?-1:1));}

带分支，C样式：52个字符

int f(int i){return i?(((i&1)?-i:i)+(i>0?-1:1)):0;}

经过快速但有效的基准测试后，分支版本在我的机器上的速度提高了33%。（正数和负数的随机数据集，足够的重复，并防止编译器在预热时优化代码。）考虑到非分支版本中的操作数量以及可能的良好分支预测，这并不奇怪，因为函数被调用了两次：f（f（i））。当我将基准更改为度量：f（I）时，分支版本只快28%。我认为这证明了分支预测在第一种情况下确实有一些好处。更多证明：当使用f（f（f）（f（i）））进行测试时，分支版本的速度会快42%。

根据微软/谷歌的面试官通常在面试中提出的问题，我认为提问者指的是一种创新、轻量级、简单的解决方案，它将使用按位操作，而不是那些复杂的高级答案。

灵感来自@eipipuz的回答，我编写了这个C++函数（但没有运行它）：

int32_t f(int32_t n){
    int32_t temp = n & 00111111111111111111111111111111;
    x = n >> 30;
    x++;
    x = x << 30;
    return x | temp;
}

它将n的最左边的两位存储在x中，将x加1，然后再次将其替换为n的最左侧的两位。

如果我们继续以另一个f（n）作为参数n运行f（n，则最左边的两个位将如下旋转：

00 --> 01 --> 10 --> 11 --> 00 ...

请注意，最右边的30位不变。8位整数示例：

示例1：

>f（00001111）=01001111>f（01001111）=10001111[这是原始值的负值，00001111]

示例2：

>f（11101010）=00101010>f（00101010）=01101010[这是原始值11101010的负值]

没有人说它必须是无国籍的。

int32 f(int32 x) {
    static bool idempotent = false;
    if (!idempotent) {
        idempotent = true;
        return -x;
    } else {
        return x;
    }
}

作弊，但不如很多例子。更糟糕的是，查看堆栈以查看调用者的地址是否为-f，但这将更具可移植性（虽然不是线程安全的……线程安全版本将使用TLS）。更邪恶的是：

int32 f (int32 x) {
    static int32 answer = -x;
    return answer;
}

当然，对于MIN_INT32的情况，这两种方法都不太有效，但除非允许返回更宽的类型，否则对此您几乎无能为力。

你没说他们期望什么样的语言。。。这是一个静态解决方案（Haskell）。这基本上是在搞乱两个最重要的比特：

f :: Int -> Int
f x | (testBit x 30 /= testBit x 31) = negate $ complementBit x 30
    | otherwise = complementBit x 30

在动态语言（Python）中要容易得多。只需检查参数是否为数字X，并返回返回-X的lambda：

def f(x):
   if isinstance(x,int):
      return (lambda: -x)
   else:
      return x()

利用JavaScript异常。

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

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

创建许多解的一种方法是注意，如果我们将整数划分为两个集合S和R

那么我们可以如下创建f：

如果x在R中，则f（x）=g（x）

如果x在S中，则f（x）=-invg（x）

其中invg（g（x））=x，所以invg是g的逆函数。

上面提到的第一个解决方案是分区R=偶数，R=奇数，g（x）=x+1。

我们可以取任意两个无限集合T，P s.T T+U=整数集合，取s=T+（-T），R=U+（-U）。

然后-S=S和-R=R通过它们的定义，我们可以将g取为从S到R的任何1-1对应关系，这必须存在，因为这两个集合都是无限的和可数的。

因此，这将为我们提供许多解决方案，但并非所有解决方案都可以编程，因为它们不会被有限地定义。

例如：

R=可被3整除的数字，S=不可被3除的数字。

然后我们取g（6r）=3r+1，g（6r+3）=3r+2。