我在上次面试中遇到的一个问题是：
设计函数f，使得：f（f（n））==-n其中n是32位有符号整数；你不能用复数算术。如果你不能为整个数字范围设计这样的函数，那么就尽可能为最大范围设计它。
有什么想法吗？
当前回答
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)
其他回答
int f(int x){
if (x < 0)
return x;
return ~x+1; //two's complement
}
C++
struct Value
{
int value;
Value(int v) : value(v) {}
operator int () { return -value; }
};
Value f(Value input)
{
return input;
}
我还没有看其他答案，我假设已经彻底讨论了按位技术。
我想我会在C++中想出一些邪恶的东西，希望不会上当受骗：
struct ImplicitlyConvertibleToInt
{
operator int () const { return 0; }
};
int f(const ImplicitlyConvertibleToInt &) { return 0; }
ImplicitlyConvertibleToInt f(int & n)
{
n = 0; // The problem specification didn't say n was const
return ImplicitlyConvertibleToInt();
}
整个ImplicitlyConvertableToInt类型和重载是必需的，因为临时变量不能绑定到非常量引用。
当然，现在来看它，f（n）是否在-n之前执行是不确定的。
对于这种程度的邪恶，也许一个更好的解决方案是：
struct ComparesTrueToInt
{
ComparesTrueToInt(int) { } // implicit construction from int
};
bool operator == (ComparesTrueToInt, int) const { return true; }
ComparesTrueToInt f(ComparesTrueToInt ct) { return ComparesTrueToInt(); }
C++解决方案；
long long f(int n){return static_cast <long long> (n);}
int f(long long n){return -static_cast <int> (n);}
int n = 777;
assert(f(f(n)) == -n);
我认为最大的可能范围是暗示模块化算术解决方案。在一些模基M中，有一个数，当平方等于M-1（等于-1）。例如，如果M=13，5*5=25，25 mod 13=12（=-1）总之，这里有一些M=2**32-3的python代码。
def f(x):
m=2**32-3;
halfm=m//2;
i_mod_m=1849436465
if abs( x ) >halfm:
raise "too big"
if x<0:
x+=m
x=(i_mod_m*x) % m
if (x>halfm):
x-=m
return x;
注意，有3个值不适用于2**31-1、-（2**31-1）和-（2*#31）
