c++ - placement new 是如何运作的？-6ren

c++ - placement new 是如何运作的？

转载作者：行者123 更新时间：2023-11-28 00:20:46

27

4

<分区>

我写了下面的想法，认为它应该在运行时出现段错误。然而它没有，它运行良好，我不明白为什么。

#include <cstdlib>
#include <cstdio>
#include <new>

struct MyStruct
{
    double *a;

    MyStruct()
        : a(NULL) 
        { printf("Default constructor\n"); }
    MyStruct( double *b )
        : a(b) 
        {}
    MyStruct( const MyStruct& other )
    {
        printf("Copy-constructor\n");
        if ( a != NULL && *a != 3.14 )
            a = other.a;
    }
};

int main()
{
    double num = 3.14;
    MyStruct obj( &num );

    void *ptr = ::operator new( sizeof(MyStruct) );
    new (ptr) MyStruct(obj);

    delete (MyStruct*) ptr; // Calls ~MyStruct
}

输出是:

Copy-constructor

当我写 void *ptr =::operator new( sizeof(MyStruct) ); 我知道这只分配内存，不应该调用默认构造函数。它似乎并没有:很好。

当我编写 new (ptr) MyStruct(obj); 时，如果它像我想象的那样工作，我希望它会出现段错误。我认为这等同于 ( (MyStruct*) ptr )->MyStruct(obj)。如果是这样，行 if ( a != NULL && *a != 3.14 ) 应该到达 *a != 3.14 和段错误，因为 a 尚未初始化。

我的问题是 a 似乎没有被初始化(因为没有输出“Default constructor”)，但是之前的仍然没有段错误。我错过了什么？

下面是生成的汇编代码(不知道怎么读):

    .file   "placement_new.cpp"
    .section    .rodata.cst8,"aM",@progbits,8
    .align  8
.LCPI0_0:
    .quad   4614253070214989087     # double 3.1400000000000001
    .text
    .globl  main
    .align  16, 0x90
    .type   main,@function
main:                                   # @main
    .cfi_startproc
# BB#0:
    push    rbp
.Ltmp2:
    .cfi_def_cfa_offset 16
.Ltmp3:
    .cfi_offset rbp, -16
    mov rbp, rsp
.Ltmp4:
    .cfi_def_cfa_register rbp
    sub rsp, 48
    lea rdi, qword ptr [rbp - 24]
    lea rsi, qword ptr [rbp - 16]
    movsd   xmm0, qword ptr [.LCPI0_0]
    mov dword ptr [rbp - 4], 0
    movsd   qword ptr [rbp - 16], xmm0
    call    _ZN8MyStructC2EPd
    movabs  rdi, 8
    call    _Znwm
    mov qword ptr [rbp - 32], rax
    mov rax, qword ptr [rbp - 32]
    cmp rax, 0
    mov qword ptr [rbp - 40], rax # 8-byte Spill
    je  .LBB0_2
# BB#1:
    lea rsi, qword ptr [rbp - 24]
    mov rax, qword ptr [rbp - 40] # 8-byte Reload
    mov rdi, rax
    call    _ZN8MyStructC2ERKS_
.LBB0_2:
    mov rax, qword ptr [rbp - 32]
    cmp rax, 0
    mov qword ptr [rbp - 48], rax # 8-byte Spill
    je  .LBB0_4
# BB#3:
    mov rax, qword ptr [rbp - 48] # 8-byte Reload
    mov rdi, rax
    call    _ZdlPv
.LBB0_4:
    mov eax, dword ptr [rbp - 4]
    add rsp, 48
    pop rbp
    ret
.Ltmp5:
    .size   main, .Ltmp5-main
    .cfi_endproc

    .section    .text._ZN8MyStructC2EPd,"axG",@progbits,_ZN8MyStructC2EPd,comdat
    .weak   _ZN8MyStructC2EPd
    .align  16, 0x90
    .type   _ZN8MyStructC2EPd,@function
_ZN8MyStructC2EPd:                      # @_ZN8MyStructC2EPd
    .cfi_startproc
# BB#0:
    push    rbp
.Ltmp8:
    .cfi_def_cfa_offset 16
.Ltmp9:
    .cfi_offset rbp, -16
    mov rbp, rsp
.Ltmp10:
    .cfi_def_cfa_register rbp
    mov qword ptr [rbp - 8], rdi
    mov qword ptr [rbp - 16], rsi
    mov rsi, qword ptr [rbp - 8]
    mov rdi, qword ptr [rbp - 16]
    mov qword ptr [rsi], rdi
    pop rbp
    ret
.Ltmp11:
    .size   _ZN8MyStructC2EPd, .Ltmp11-_ZN8MyStructC2EPd
    .cfi_endproc

    .section    .rodata.cst8,"aM",@progbits,8
    .align  8
.LCPI2_0:
    .quad   4614253070214989087     # double 3.1400000000000001
    .section    .text._ZN8MyStructC2ERKS_,"axG",@progbits,_ZN8MyStructC2ERKS_,comdat
    .weak   _ZN8MyStructC2ERKS_
    .align  16, 0x90
    .type   _ZN8MyStructC2ERKS_,@function
_ZN8MyStructC2ERKS_:                    # @_ZN8MyStructC2ERKS_
    .cfi_startproc
# BB#0:
    push    rbp
.Ltmp14:
    .cfi_def_cfa_offset 16
.Ltmp15:
    .cfi_offset rbp, -16
    mov rbp, rsp
.Ltmp16:
    .cfi_def_cfa_register rbp
    sub rsp, 32
    lea rax, qword ptr [.L.str]
    mov qword ptr [rbp - 8], rdi
    mov qword ptr [rbp - 16], rsi
    mov rsi, qword ptr [rbp - 8]
    mov rdi, rax
    mov al, 0
    mov qword ptr [rbp - 24], rsi # 8-byte Spill
    call    printf
    mov rsi, qword ptr [rbp - 24] # 8-byte Reload
    cmp qword ptr [rsi], 0
    mov dword ptr [rbp - 28], eax # 4-byte Spill
    je  .LBB2_3
# BB#1:
    movsd   xmm0, qword ptr [.LCPI2_0]
    mov rax, qword ptr [rbp - 24] # 8-byte Reload
    mov rcx, qword ptr [rax]
    movsd   xmm1, qword ptr [rcx]
    ucomisd xmm1, xmm0
    jne .LBB2_2
    jp  .LBB2_2
    jmp .LBB2_3
.LBB2_2:
    mov rax, qword ptr [rbp - 16]
    mov rax, qword ptr [rax]
    mov rcx, qword ptr [rbp - 24] # 8-byte Reload
    mov qword ptr [rcx], rax
.LBB2_3:
    add rsp, 32
    pop rbp
    ret
.Ltmp17:
    .size   _ZN8MyStructC2ERKS_, .Ltmp17-_ZN8MyStructC2ERKS_
    .cfi_endproc

    .type   .L.str,@object          # @.str
    .section    .rodata.str1.1,"aMS",@progbits,1
.L.str:
    .asciz  "Copy-constructor\n"
    .size   .L.str, 18


    .ident  "Ubuntu clang version 3.4-1ubuntu3 (tags/RELEASE_34/final) (based on LLVM 3.4)"
    .section    ".note.GNU-stack","",@progbits

27

4

0

文章推荐： c++ - 以方便的方式在 C++ 中使用方法作为回调

文章推荐： html - overflow hidden 的包装器内的中心 div

文章推荐： javascript - 在 Firefox 扩展中使用 indexedDB

文章推荐： c++ - const char* 类型变量的应对内容导致意外结果

javascript - (new { htmlAtributes = new { }) 和 (new { }) 有什么区别
我知道它们是匿名类型，但我不明白 Razor 语法。在一些文档中，我找到了这样的示例: @Html.Label("Hello", new { htmlAtributes = new { id = "h
new Object([])/new Object(new Array()) 的 JavaScript 构造函数
关于:new Object(new Array()) 有一个相当基本的问题，我自己确实无法给出答案，我正在寻求建议: 在js中实例化对象时使用如下方法: var obj = new Object();
eclipse - "New Folder"、 "New Source Folder"和 "New Package"之间的区别？
在eclipse中右击项目时，“新建文件夹”、“新建源文件夹”和“新建包”有什么区别？他们似乎都在做同样的事情，引用文献并没有说太多。谢谢最佳答案新建文件夹在项目中创建一个新文件夹。新建源文
bolt-cms - New page、New entry 和 New Showcase 的区别
几天来我一直在测试 bolt-cms，我试图了解它是如何工作的。我想知道新页面、新条目和新展示柜之间有什么区别。我已阅读 this它并没有填补空白。最佳答案 Pages、Entries 和 Sh
java - new LinkedList<>(new LinkedList<>()) 和 new LinkedList...的区别，添加
更新:感谢所有的回答。我发现的最干净的解决方案是这个: if ( k(Arrays.asList(new LinkedList<>())); 我有一个递归方法，可以从列表中生成所有“n 选 k”组合。
C++ new/new[]，它是如何分配内存的？
我现在想知道这些指令是如何分配内存的。例如，如果我得到代码怎么办: x = new int[5]; y = new int[5]; 如果分配了这些，它在 RAM 中的实际情况如何？是为每个变量保留整
java - new PrintWriter(new BufferedWriter(new FileWriter ("output.txt", true))) 不打印
我希望将其写入output.txt而不清除它 - 只是附加到末尾。但是，当我使用以下两种方法时: public void addEmails(ArrayList emails){ for (i
c++ - operator new(n) 与 new unsigned char[n] 用于放置 new
我正在分配内存，稍后将用于构造具有放置 new 的对象。我应该使用 operator new(n)，还是应该使用 new unsigned char[n]？为什么？最佳答案因素: new[] 必须
c++ - new T() 等价于 `mem = operator new(sizeof(T)); new(mem)T` 吗？
基本上，我的问题是以下代码是否有效。 void* mem = operator new(sizeof(T)); T* instance = new(mem) T; delete instance; 如
c# - new Thread(void Target()) 和 new Thread(new ThreadStart(void Target())) 有什么区别？
很抱歉，如果之前有人问过这个问题，但我想就以下两种用法之间的区别提供一个简明的答案。 VS 似乎将它们都接受为有效代码。 private static void doSomeWork() { /
javascript - 无法理解Javascript new Array( new Array(5,4,3,2,1,0),new Array())
请告诉我这段代码在做什么，它是否创建多维数组(我认为不是)？代码片段.. var hanoi_peg = new Array( new Array( 5, 4, 3, 2, 1,
java - Java 中 new String ("X") 和 new String ("X") + new String ("Y") 之间字符串初始化的区别
这个问题在这里已经有了答案: String intern() behaviour (4 个答案) When should we use intern method of String on Stri
javascript - 为什么使用 {} 而不是 new Object() 并使用 [] 而不是 new Array() 和 true/false 而不是 new Boolean()？
许多人说您应该避免使用 new Object、new Array()，而是使用 {}。 [] 和真/假。使用字面量构造来获取对象或数组的新实例而不是使用 new 有什么好处？我知道 Crockfor
c++ - 避免由 new(new[]) 引起的内存泄漏
我正在开发一个存在内存泄漏的开源库。该库是围绕 boost::asio 构建的数据流服务。服务器端使用堆内存管理系统，该系统提供内存以容纳有限数量的 samples，同时它们等待通过 tcp 连接被推
c++ - 内存通过 new[] 泄漏而无需调用 new
我从以下函数中得到内存泄漏: int ReadWrite(int socket, char *readfile) { FILE *rf = NULL; rf = fopen(readfile,
c++ - new 的内存是否必须来自 operator new？
在考虑类似的事情时 auto x = new T; 标准是否强制要求内存必须来自operator new——类特定的还是全局的？也就是说，如果缺少特定于类的 operator new，则没有办法从除全
c++ - 创建对象 : A. new 还是 new A？
只是出于好奇:为什么 C++ 选择 a = new A 而不是 a = A.new 作为实例化对象的方式？后者不是更像是面向对象的吗？最佳答案 Just out of curiosity: Why
c++ - new 或 new[] 运算符
考虑以下代码: typedef SomeType type_t[2]; SomeType * arr1 = new type_t; //new or new[] ??? type_t * arr2
c++ - "new"运算符和 "new"函数之间的区别
这个问题在这里已经有了答案: Difference between 'new operator' and 'operator new'? (8 个答案) 关闭 8 年前。面试题:"new"运算符和
安卓用户界面 : New activity or new layout?
我正在为一个应用程序设计界面，以在 TableLayout 中显示从数据库中提取的一些数据。现在，默认 View 是纵向的，它由一个下拉菜单和一个三列的表格组成。当用户切换到横向时，微调器及其选项可以

首页

博学

6Ren·AI

商城

c++ - placement new 是如何运作的？