昨天面试时被问到以下代码的输出
#include <stdio.h>
int main(void){
printf ("%x" ,-1<<4);
}
我有 2 分钟的时间说出答案。我回复了fffffff0。面试结果尚未公布。我想知道我的答案是否正确？
【问题讨论】：
main 不需要返回语句。见stackoverflow.com/questions/2637671
从技术上讲，将负整数左移会调用未定义行为。这意味着-1<<4 是UB。我不知道他们为什么问你这个问题。可能他们想测试您对 C 和 C++ 标准的了解程度。
C99 [6.5.7/4] 说
E1 E2，减少模 比结果类型中可表示的最大值大一。如果 E1 有一个签名 类型和非负值，并且 E1× 2E2 在结果类型中是可表示的，那么就是 结果值； 否则，行为未定义。
C++03 使 omitting the relevant text 的行为未定义。
【讨论】：
unsigned char 和朴素的char。但那是技术主管，而不是人力资源或管理层。
没有。你不正确。这就是坏消息。好消息是，面试官可能不知道这一点，并假设你是，因为这是他们编译和运行它时得到的结果。
真正的答案是它是由实现定义的。由于过载，我不是 100% 有信心说这是未定义的行为，但我认为可能是。至少，尽管结果取决于负数的表示方式等...您声称这两种语言都没有定义输出将是什么。
【讨论】：
c 和c++ 标记问题的“重载”吗？如果是这样：你可能选择了一个更模棱两可的术语吗？ :-P
在我的机器上：
chris@zack:~$ cat > test.c
#include <stdio.h>
int main(void){
printf ("%x" ,-1<<4);
}
chris@zack:~$ gcc -o test test.c && ./test
fffffff0
但是，结果将取决于您的架构和编译器。所以正确的答案是“它可以输出任何东西。”
【讨论】：
<insert name of your favorite compiler here> 的下一版本中发生变化
Binary of 1 : 0000 0000 0000 0000 0000 0000 0000 00001
将出现的 0 替换为 1，因为您要计算负数的二进制数
How to calculate binary of negative numbers
Binary of -1 : 1111 1111 1111 1111 1111 1111 1111 11111
Left shift 4 : 1111 1111 1111 1111 1111 1111 1111 0000
结果左移 4 的十六进制表示 会是
1111 : F
0000 : 0
所以计算的输出将是：
FFFFFFF0
你的答案是对的。
【讨论】：
对于一般情况来说，左移一个负数是未定义的，但我们必须理解为什么这种未定义的行为（UB）？请记住，最高有效位 (MSb) 是符号位。如果该位为 1，则该数字为负数。如果它为零，则该数字为正数。这是关键信息在第一次左移时丢失。例如
-32768<<4
和
是一样的0x8000<<4
（为简单起见假设一台 16 位机器）
结果当然是 0，它没有任何意义，因此是 UB。
在 OP 的面试问题的特定情况下，我们只关心一个特定的值......不是一般情况。 -1（在 32 位机器上为 0xffffffff）左移 4 次将产生 0xfffffff0，正如 OP 最初认为的那样。
【讨论】：
这是未定义的行为。
$ cat undef.c
#include <stdio.h>
int main(void){
printf ("%x" ,-1<<4);
}
$ clang -fsanitize=undefined undef.c
$ ./a.out
undef.c:3:24: runtime error: left shift of negative value -1
fffffff0
【讨论】：
我在 3 个不同的编译器和操作系统上运行此代码。所有人都给了我与问题中提到的相同的答案。直到并且除非有人提出了这实际上是未定义行为的编译器，否则我会说答案是正确的。如果这在 99.99% 的情况下是稳定的，那么标准被更改的可能性比编译器停止支持它的可能性更大。
【讨论】：
fff0。
我只是将代码写在一个文本文件中，编译后，YES，答案是正确的。
【讨论】：