首页

C++ 中 new 和定位 new 的返回值都是 void*，却为什么可以被赋值给不同类型的指针？第1页

breakerzhao 网友的相关建议:

这里有两个不同的东西，new expression（也叫 new operator）和 operator new()。

new expression 是语言内建机制，不能重载，我们常写的 new T、new T(param) 等就是这个，它返回有类型的指针 T*。new T 做两件固定的事，第一步调用 operator new()，第二步调用 T 的构造函数，这两步都由编译器自动产生。

operator new() 可以重载，它返回 void*，是一块未初始化的原始内存，随后控制返回到内建的 new expression 中。

placement new 的 operator new() 默认实现如下。它的第一个 size_t 是个必须有，但虚置无用的参数。它的功能就是返回已由用户提供的原始内存地址。

       void* operator new(size_t, void* loc) {     return loc; }

常规的 new expression 执行过程如下：

       #include <new>  class Widget { public:     Widget(Param p) { /*...*/ }     ~Widget() { /*...*/ }     //... };  // 常规的 new expression Widget* pw = new Widget(param);  // 大致等价于以下过程: // [1] 直接调用 operator new() 函数分配原始内存 void* raw = operator new(sizeof(Widget)); // 上面作用类似下面这句 void* raw = malloc(sizeof(Widget));  // [2] 利用 placement new 调用 Widget 的构造函数 // 这里也是本题的关键: new expression 会将 void* 转换为有类型的指针 Widget* Widget* pw = new(raw) Widget(param);

相应地，常规的 delete expression 执行过程如下：

       // 常规的 delete expression delete pw;  // 大致等价于以下过程: // [1] 手工调用 Widget 的析构函数 pw->~Widget(); // [2] 直接调用 operator delete() 函数释放原始内存 operator delete(raw); // 上面作用类似下面这句 free(raw);

以上模拟的是 Widget 构造函数中没有抛出异常时的 new-delete 过程。

没有 placement delete expression 语法，只有 placement operator delete() 函数。在用 placement new 时，只要考虑手工调用 Widget 的析构函数即可，而 placement operator delete() 是 Widget 的构造函数中抛出异常时，由编译器自动调用的。

C++ 中 new 和定位 new 的返回值都是 void*，却为什么可以被赋值给不同类型的指针？的其他答案点击这里