emplate <class T> class SmartPtr{ public: SmartPtr(T* p = 0): pointee(p) { } ~SmartPtr(){ delete pointee; } SmartPtr(SmartPtr<T> & rhs):pointee(rhs.pointee) { rhs.pointee=0;} SmartPtr<T> & operator=(const SmartPtr<T> & rhs) { if(this!=&rhs) { pointee=rhs.pointee; } return this; } private: T pointee; }; int main(){ SmartPtr<int> ptr1 = new int(0); SmartPtr<int> ptr2(ptr1); //发生了什么? SmartPtr<int> ptr3; ptr3=ptr2; //又发生了什么事情? return 0; }
时间: 2024-03-21 19:40:08 浏览: 56
meta::Expr{T_emplate}-开源
这段代码存在多个问题。
首先,在主函数中,`SmartPtr<int> ptr1 = new int(0);` 会创建一个 `SmartPtr` 对象,并将一个 `int` 指针赋值给它。然而,这个指针没有通过 `new` 运算符分配内存,应该使用 `SmartPtr<int> ptr1(new int(0));` 来分配内存并创建 `SmartPtr` 对象。
其次,在 `SmartPtr` 类中,拷贝构造函数 `SmartPtr(SmartPtr<T> & rhs)` 和赋值运算符 `operator=` 都没有考虑到资源所有权的问题。当使用 `SmartPtr<int> ptr2(ptr1);` 进行拷贝构造时,`ptr2` 和 `ptr1` 将拥有相同的指针,当其中一个 `SmartPtr` 对象被销毁时,它将删除指针,导致另一个 `SmartPtr` 对象持有一个无效的指针。同样的问题也存在于 `ptr3=ptr2;` 的赋值操作中。为了解决这个问题,应该实现深拷贝和移动语义。
最后,在 `SmartPtr` 类中,`pointee` 应该是一个指针类型,而不是一个对象类型。因为在析构函数中使用了 `delete` 运算符,它只能删除指针类型的资源,而无法删除对象类型的资源。
下面是修正后的代码:
```c++
template <class T>
class SmartPtr {
public:
SmartPtr(T* p = nullptr) : pointee(p) {}
~SmartPtr() { delete pointee; }
SmartPtr(const SmartPtr& rhs) : pointee(rhs.pointee ? new T(*rhs.pointee) : nullptr) {}
SmartPtr(SmartPtr&& rhs) : pointee(rhs.pointee) { rhs.pointee = nullptr; }
SmartPtr& operator=(SmartPtr rhs) {
std::swap(pointee, rhs.pointee);
return *this;
}
private:
T* pointee;
};
int main() {
SmartPtr<int> ptr1(new int(0));
SmartPtr<int> ptr2(ptr1);
SmartPtr<int> ptr3;
ptr3 = ptr2;
return 0;
}
```
在修改后的代码中,使用了深拷贝和移动语义,修复了资源所有权的问题。同时,在 `SmartPtr` 类中,`pointee` 被定义为指针类型,可以正确地释放资源。
阅读全文