这很简单！

每个数字以4为周期映射到另一个数字，其中所需条件成立。

例子：

规则如下：

0→ 0±2³¹ → ±2³¹古怪的→ 甚至，甚至→ -奇数：对于所有k，0<k<2³⁰: （2k-1）→ （2k）→ （-2k+1）→ （-2k）→ （2k-1）

唯一不匹配的值是±（2³¹-1），因为只有两个。必须有两个不能匹配，因为在二进制补码系统中只有四个数字的倍数，其中0和±2³¹已被保留。

在一的补码系统中，存在+0和-0。我们开始了：

对于所有k，0<k<2³⁰: （+2k）→ （+2k+1）→ （-2k）→ （-2k-1）→ （+2k）

int func(int a)  
{   
    static int p = 0;  
    int ret = a;  

    if ( p ) ret *= -1;  
    p ^= 1;  

    return ret;  
}  

我不知道这是否完全正确，但一个简单的标志不起作用吗？在C语言中，使用静态局部变量，我成功地做到了这一点：

int main()
{
    int n = -256; // 32-bit signed integer
    printf("%d", f(f(n)));
}

int f(int n){
    static int x = 0; // not returning negative;
    switch(x){
        case 0:
            x = 1;
            return n;
            break;

        case 1:
            x = 0;
            return -n;
            break;
        default:
            return -999;
            break;
    }
}

这个想法已经在其他答案中使用过，但我把它融入了Python的一行：

def f(n):
    return str(n) if type(n) == int else -int(n)

这个怎么样（C语言）：

int f(int n)
{
    static int t = 1;
    return (t = t ? 0 : 1) ? -n : n;
}

刚刚试过，而且

f(f(1000)) 

回报-1000

f(f(-1000)) 

返回1000

这是正确的还是我没有抓住重点？

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