c++ syntax new (this) T(t) 不用额外分配内存，直接copy

ゞ浴缸里的玫瑰 2023-02-09 14:11 32阅读 0赞

T& T::operator=(const T&t) 
    { 
       ...
       new (this) T(t);
       ...
    }

new (this) T(t) 也叫做“new placement operator”。在括号中指定地址构造一个对象。例如copy赋值操作可以被下面的代码定义：

T& T::operator=( const T& other) { 
       if ( this != &other ) { 
          this->~T(); // lifetime of *this ends
          new (this) T(other); // new object of type C created
       }
       return *this;
    }

首先通过一个显式的析构函数将当前的对象destroyed.然后在当前对象的地址上面使用copy操作构造一个新的对象。

**这种操作不用额外分配内存，使用已经分配的内存。**

例子：

class A { 
    }
    
     AA* a =new AA();
        std::cout << "a1:" << a << std::endl;
        a = new AA();
        std::cout << "a2:" << a << std::endl;
        new (a) AA();
        std::cout << "a3:" << a << std::endl;

输出：

a1:0x7fd1cb400630
    a2:0x7fd1cb400690
    a3:0x7fd1cb400690

## 根据指针地址进行地址变换 ##

class AA { 
    public:
        int a;
        int b;
    };
    
    // 获取指针的下一个地址
    #define GET_RAW_PTR(T, obj) ((T*)(((char*)obj) + sizeof(AA)))
    
    // 获取指针的上一个地址
    #define GET_AA_FROM_RAW_PTR(obj) ((AA*)(((char*)obj) - sizeof(AA)))
    
    int main() { 
        AA* a =new AA();
        a->b =1;
        std::cout << a << std::endl;
    
        AA* b = GET_RAW_PTR(AA, a);
    
        std::cout << "b address:" << b << std::endl;
        // 在b的地址上面新分配对象
        new (b) AA();
        b ->b =2;
        std::cout << "b->b:" << b->b << std::endl;
    
        AA* tmp = b;
        b = nullptr;
    
        std::cout << "release b:" << b << " tmp:" << tmp <<std::endl;
    
        AA*c =  GET_AA_FROM_RAW_PTR(tmp);
        std::cout << "c address:" << c<< std::endl;
        c->b = 3;
        std::cout << "c->b:" << c->b << " a->b:"<< a->b<< std::endl;
    
        return 0;
    }

输出：

0x7ff411400630
    b address:0x7ff411400638
    b->b:2
    release b:0x0 tmp:0x7ff411400638
    c address:0x7ff411400630
    c->b:3 a->b:3