为什么char和短数据存储在4字节寄存器中？[重复]

Question

我正在学习将C转换为汇编，然后我发现数据存储在4字节寄存器中。

注意：我使用-Og-g编译C，使用gdbdisas main！另外，我的电脑是64位的。

下面是关于char的代码，对应于assembly（我认为short和char是同一个问题，所以我放两个代码中的一个）：

#include <stdio.h>

int main(void) {
    const int LEN = 3;
    char c[LEN];
    c[0] = 1;
    c[1] = 2;
    c[2] = 3;

    for(int i = 0; i < LEN; i ++) {
        printf("%d\n", c[i]);
    }

    return 0;
}

反汇编代码的一部分！

   0x000000000000116e <+5>:     sub    $0x10,%rsp
   0x0000000000001172 <+9>:     mov    %fs:0x28,%rax
   0x000000000000117b <+18>:    mov    %rax,0x8(%rsp)
   0x0000000000001180 <+23>:    xor    %eax,%eax
   0x0000000000001182 <+25>:    movb   $0x1,0x5(%rsp)
   0x0000000000001187 <+30>:    movb   $0x2,0x6(%rsp)
   0x000000000000118c <+35>:    movb   $0x3,0x7(%rsp)
   0x0000000000001191 <+40>:    mov    $0x0,%ebx
   0x0000000000001196 <+45>:    jmp    0x11b9 <main+80>
   0x0000000000001198 <+47>:    movslq %ebx,%rax

   # why %edx?
   0x000000000000119b <+50>:    movsbl 0x5(%rsp,%rax,1),%edx


   0x00000000000011a0 <+55>:    lea    0xe5d(%rip),%rsi        # 0x2004
   0x00000000000011a7 <+62>:    mov    $0x1,%edi
   0x00000000000011ac <+67>:    mov    $0x0,%eax
   0x00000000000011b1 <+72>:    callq  0x1070 <__printf_chk@plt>
   0x00000000000011b6 <+77>:    add    $0x1,%ebx
   0x00000000000011b9 <+80>:    cmp    $0x2,%ebx
   0x00000000000011bc <+83>:    jle    0x1198 <main+47>

我学习了一些关于java数据类型的知识，隐马尔可夫模型，比如字节，字符，或者短代码被提升为int。我不确定他们有什么关系。

Answer 1

当您仅在表达式中引用char或short变量时，语言规则表示它立即提升为int。

即使您将一个变量转换为char，它仍然会立即升级为int，因此如果您说（char）c，这与说（int）（char）（int）c是一样的。

对于较短的数据类型，这种自动且立即升级到int的操作独立于函数调用和参数传递。

但是为什么char和short需要提升呢？

这是由语言定义的。

来自ISO/IEC 9899:201x委员会草案-2011年4月12日N1570

示例2执行片段c1、c2
/**/
c1=c1 c2<“整数提升”要求抽象机器将每个变量的值提升为int大小，然后将两个int相加并截断总和。如果两个字符的添加可以在没有§5.1.2.3环境15溢出的情况下完成，或者通过无提示的溢出包装来产生正确的结果，那么实际执行只需要产生相同的结果，可能忽略提升。

Answer 2

对于%d格式，您指定要打印“int”，因此需要将值加载到（至少）int大小的寄存器。