C++ 为什么复合文字(C99)的返回会生成更多的汇编代码

正如GSerg和Peter Cordes所提到的，data_t self变量未被初始化，因此编译器生成的汇编代码较少.

如果更改为data_t self = {};，则生成的汇编代码将类似.

typedef struct {
    int storage[256];
} data_t;

data_t data_init_compound_literal() {
    return (data_t){
        .storage = {1}
    };
}
data_t data_init_var() {
    data_t self = {.storage = {1}};
    return self;
}

int main(void) {
    data_t em = data_init_compound_literal();

    return em.storage[0];
}

结果:

data_init_compound_literal:
  movq $0, (%rdi)
  movq %rdi, %rdx
  leaq 8(%rdi), %rdi
  xorl %eax, %eax
  movq $0, 1008(%rdi)
  movq %rdx, %rcx
  andq $-8, %rdi
  subq %rdi, %rcx
  addl $1024, %ecx
  shrl $3, %ecx
  rep stosq
  movl $1, (%rdx)
  movq %rdx, %rax
  ret
data_init_var:
  subq $912, %rsp
  movq %rdi, %rdx
  xorl %eax, %eax
  movl $128, %ecx
  leaq -120(%rsp), %rdi
  leaq -120(%rsp), %rsi
  rep stosq
  movl $1, -120(%rsp)
  leaq 8(%rdx), %rdi
  movq %rdx, %rcx
  andq $-8, %rdi
  movq -120(%rsp), %rax
  subq %rdi, %rcx
  subq %rcx, %rsi
  addl $1024, %ecx
  movq %rax, (%rdx)
  movq 896(%rsp), %rax
  shrl $3, %ecx
  movq %rax, 1016(%rdx)
  movq %rdx, %rax
  rep movsq
  addq $912, %rsp
  ret
main:
  movl $1, %eax
  ret