重新分配前的内存释放
Memory deallocation before reallocation
我正在学习 C++,在书中有关重载运算符 = 的部分中,它说:"we need to free the old space and assign new values to each data element"。我的问题是:为什么我们需要在内存要被覆盖时释放内存?为什么我们不能简单地增加指针并写入相同的内存(并且数据将具有相同的大小,因为我们将对象分配给相同类型的对象)?编辑:书中的代码:
template <class T>
Vec<T>& Vec<T>::operator=(const Vec& rhs)
{
// check for self-assignment
if (&rhs != this) {
// free the array in the left-hand side
uncreate();
// copy elements from the right-hand to the left-hand side
create(rhs.begin(), rhs.end());
}
return *this;
}
- 旧分配的大小错误。
- 旧对象可能与其他人共享,无法覆盖。
- 旧对象是
const
- 旧对象包含引用。
可能还有其他人。
你是对的,你可以尝试重用已经分配的内存。如果内存是一个通常比它保存的数据大的缓冲区(就像在任何好的 std::vector<>
实现中一样),这甚至可能是一个好主意。
但是,如果所需大小大于已分配的缓冲区,则不能重复使用内存。也就是说,在任何一种情况下,您都需要包含丢弃当前分配并用更大的分配替换它的代码。因此,内存重用代码比非重用代码复杂得多。
因此,无条件丢弃旧分配并用新分配替换它是 KISS 原则的应用,并且应该始终是第一个实现。如果后面你发现这个操作是你代码的瓶颈,你还是可以回过头来插入一个优化过的实现。
我正在学习 C++,在书中有关重载运算符 = 的部分中,它说:"we need to free the old space and assign new values to each data element"。我的问题是:为什么我们需要在内存要被覆盖时释放内存?为什么我们不能简单地增加指针并写入相同的内存(并且数据将具有相同的大小,因为我们将对象分配给相同类型的对象)?编辑:书中的代码:
template <class T>
Vec<T>& Vec<T>::operator=(const Vec& rhs)
{
// check for self-assignment
if (&rhs != this) {
// free the array in the left-hand side
uncreate();
// copy elements from the right-hand to the left-hand side
create(rhs.begin(), rhs.end());
}
return *this;
}
- 旧分配的大小错误。
- 旧对象可能与其他人共享,无法覆盖。
- 旧对象是
const
- 旧对象包含引用。
可能还有其他人。
你是对的,你可以尝试重用已经分配的内存。如果内存是一个通常比它保存的数据大的缓冲区(就像在任何好的 std::vector<>
实现中一样),这甚至可能是一个好主意。
但是,如果所需大小大于已分配的缓冲区,则不能重复使用内存。也就是说,在任何一种情况下,您都需要包含丢弃当前分配并用更大的分配替换它的代码。因此,内存重用代码比非重用代码复杂得多。
因此,无条件丢弃旧分配并用新分配替换它是 KISS 原则的应用,并且应该始终是第一个实现。如果后面你发现这个操作是你代码的瓶颈,你还是可以回过头来插入一个优化过的实现。