这些东西是平时遇到的, 觉得有一定的价值, 所以记录下来, 以后遇到类似的问题可以查阅, 同时分享出来也能方便需要的人, 转载请注明来自RingOfTheC[ring.of.the.c@gmail.com]
1. new
前提知识: 区分new和new操作符
new 的过程 1. 调用new操作符获取内存
2. 在内存上执行构造函数
其中, 第一步new操作符可以重载
a. c++中, new失败默认是抛出异常, 所以检查new返回的指针是否为NULL是没有意义的
char* p = new char[12];
if (p == NULL) // 没意义, 如果new失败, 根本就不会走到这里来
/* ….. */
正确的检查办法是:
try{ char *p = new char[12]; /* …….. */ }
catch(const bad_alloc& e) {/* ………. */}
b. 如果想让new失败返回NULL指针而不抛异常, 可以使用nothrow方法,
char* p = new (std::nothrow) char[12];
if (p == NULL) // 这下就是预期行为了, new失败了, 只是返回NULL指针
/* …… */
c. 在给定的内存上构造一个对象的方法, 注意四点:
void* p = malloc(sizeof(T)); // 1. 自己手动分配内存, 当然可以不是堆上, 可以是栈上等
if (p == NULL)
reuturn ;
T* tp = new(p) T; // 2. 显示调用构造函数
/* 使用 */
tp->~T(); // 3. 必须显示调用析构函数
free(tp); // 4. 释放内存, 如果需要的话
d. 重载类的operator new时, 有一些比较灵活的做法, 你可以向operator new传递你想要的任何参数
1. struct T{
T* operator new(size_t size, size_t extern){
return ::malloc(size + extern);
}
}
T* p = new(15) T; // 这样调用, 上面的size = sizeof(T) , extern = 15
2. struct T{
T* operator new(size_t size, size_t extern, char* log){
return ::malloc(size + extern);
}
}
T* p = new(15, “hi , alloc”) T; // 这样调用, 上面的size = sizeof(T), extern = 15， log = "hi , alloc"
从上面可以看出, 重载operator new的时候, 函数的第一个参数固定不变的是重载了new操作符的对象的大小, 除了这个参数, 其它可以自定义:), 这个很灵活
2. delete没有new那么多的魔法
除了正常的delete, 类的重载operator delete可以有 operator delete(void* p)和operator delete(void* p, size_t size)两个形式, 其中size是该类的size大小, 借此可以证明 "delete一个父类指针, 但这个指针实际上是指向其子类的造成内存回收问题"
struct T{
int a;int b;
void* operator new(size_t size) { return ::operator new(size); }
void operator delete(void* p, size_t size) { ::operator delete(p); }
}
struct D : T{
int c;
}
测试程序:
T* p = new D; // 这里跟进去operator new参数是12 及sizeof(D)
delete T; // 这里跟入去会发现operator delete的第二参数是8及sizeof(T), 明显内存泄露了, 所以大家一再强调, 做父类的最好把自己定义一个虚的析构函数, 修改后如下:
struct T{
int a;int b;
void* operator new(size_t size) { return ::operator new(size); }
void operator delete(void* p, size_t size) { ::operator delete(p); }
virtual ~T(){}
}
struct D : T{
int c;
}
测试程序:
T* p = new D; // 这里跟进去operator new参数是12 及sizeof(D)
delete T; // 这里跟入去会发现operator delete的第二参数是8及sizeof(D), 是我们想要的
好了, 举这个例子不是为了说明父类和子类这些内存问题, 而是为了说明, delete有这样一个参数, 而且这个参数很有用, 很能说明问题, 可以用来检测错误, log统计等.