c++ - 新建 POD 的 c++ 对象(普通旧数据类型)

Question

正在对 new 和 malloc 做一些测试，我期待新的需要比 malloc 更多的汇编代码，但它不是

clang++ -S -mllvm --x86-asm-syntax=intel main.cpp

新的

int main()
{
    char *a = new char[1024];
    delete []a;

    return 0;
}

分配

#include <cstdlib> // pulls in declaration of malloc, free

int main()
{
    char *a = (char*)malloc(1024);

    free(a);

    return 0;
}

好的，char是一个POD，我想我不需要处理构造函数和析构函数的成本，但是new确实需要处理异常(即使我不添加-fno-exceptions，结果是相同)，组装怎么可能相同？

    .section    __TEXT,__text,regular,pure_instructions
    .globl  _main
    .align  4, 0x90
_main:                                  ## @main
    .cfi_startproc
## BB#0:                                ## %entry
    push    RBP
Ltmp2:
    .cfi_def_cfa_offset 16
Ltmp3:
    .cfi_offset rbp, -16
    mov RBP, RSP
Ltmp4:
    .cfi_def_cfa_register rbp
    xor EAX, EAX
    pop RBP
    ret
    .cfi_endproc


.subsections_via_symbols

编辑:

我又改了代码，这次成功了，不得不说编译器太聪明了

新

#include <cstdio>

int main()
{
    char *a = new char[1024];

    for(int i = 0; i != 1024; ++i){
        printf("%c", a[i]);
    }

    delete []a;

    return 0;
}

分配

#include <cstdio>
#include <cstdlib> // pulls in declaration of malloc, free


int main()
{
    char *a = (char*)malloc(1024);

    for(int i = 0; i != 1024; ++i){
        printf("%c", a[i]);
    }

    free(a);

    return 0;
}

clang++ -S -O3 -mllvm --x86-asm-syntax=intel -fno-exceptions main.cpp

c 的汇编

.section    __TEXT,__text,regular,pure_instructions
    .globl  _main
    .align  4, 0x90
_main:                                  ## @main
    .cfi_startproc
## BB#0:                                ## %entry
    push    RBP
Ltmp3:
    .cfi_def_cfa_offset 16
Ltmp4:
    .cfi_offset rbp, -16
    mov RBP, RSP
Ltmp5:
    .cfi_def_cfa_register rbp
    push    R14
    push    RBX
Ltmp6:
    .cfi_offset rbx, -32
Ltmp7:
    .cfi_offset r14, -24
    mov EDI, 1024
    call    _malloc
    mov R14, RAX
    mov EBX, 1
    xor EDI, EDI
    jmp LBB0_1
    .align  4, 0x90
LBB0_2:                                 ## %for.body.for.body_crit_edge
                                        ##   in Loop: Header=BB0_1 Depth=1
    movsx   EDI, BYTE PTR [R14 + RBX]
    inc RBX
LBB0_1:                                 ## %for.body
                                        ## =>This Inner Loop Header: Depth=1
    call    _putchar
    cmp EBX, 1024
    jne LBB0_2
## BB#3:                                ## %for.end
    mov RDI, R14
    call    _free
    xor EAX, EAX
    pop RBX
    pop R14
    pop RBP
    ret
    .cfi_endproc


.subsections_via_symbols

C++汇编

    .section    __TEXT,__text,regular,pure_instructions
    .globl  _main
    .align  4, 0x90
_main:                                  ## @main
    .cfi_startproc
## BB#0:                                ## %entry
    push    RBP
Ltmp3:
    .cfi_def_cfa_offset 16
Ltmp4:
    .cfi_offset rbp, -16
    mov RBP, RSP
Ltmp5:
    .cfi_def_cfa_register rbp
    push    R14
    push    RBX
Ltmp6:
    .cfi_offset rbx, -32
Ltmp7:
    .cfi_offset r14, -24
    mov EDI, 1024
    call    __Znam
    mov R14, RAX
    mov EBX, 1
    xor EDI, EDI
    jmp LBB0_1
    .align  4, 0x90
LBB0_2:                                 ## %for.body.for.body_crit_edge
                                        ##   in Loop: Header=BB0_1 Depth=1
    movsx   EDI, BYTE PTR [R14 + RBX]
    inc RBX
LBB0_1:                                 ## %for.body
                                        ## =>This Inner Loop Header: Depth=1
    call    _putchar
    cmp EBX, 1024
    jne LBB0_2
## BB#3:                                ## %for.end
    test    R14, R14
    je  LBB0_5
## BB#4:                                ## %delete.notnull
    mov RDI, R14
    call    __ZdaPv
LBB0_5:                                 ## %delete.end
    xor EAX, EAX
    pop RBX
    pop R14
    pop RBP
    ret
    .cfi_endproc


.subsections_via_symbols

c++ 版本在删除缓冲区之前调用new 和delete 的程序集。c++汇编检查指针是否指向nullptr，如果是，不删除缓冲区；否则删除缓冲区。

Answer 1

你的汇编代码看起来好像什么都没做。编译器检测到您在 main 中没有做任何重要的事情，并优化了除“return 0”之外的所有内容。您可以尝试禁用优化或打印指针 a 的值。