📄 lc_bcb_43.html
字号:
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<title>内存问题 </title>
</head>
<body >
<font FACE="宋体">
<p align="center"><strong><big><big>内存问题</big></big></strong></font></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">一、"delete
p" 会删去 "p" 指针，还是它指到的资料，"*p" ？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
该指针指到的资料。"delete"
真正的意思是：「删去指针指到的东西」（delete the thing pointed to by）。同样的英文误用也发生在
C 语言的「释放」指标所指向的记忆体（"free(p)"真正的意思是："free_the_stuff_pointed_to_by(p)"
）。 </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">二、能
"free()" 掉由 "new" 配置到的、"delete" 掉由
"malloc()" 配置到的记忆体吗？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
不行。在同一个程式里，使用 malloc/free 及 new/delete
是完全合法、合理、安全的；但 free 掉由 new 配置到的，或 delete
掉由 malloc 配置到的指标则是不合法、不合理的。 <br>
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">三、为什麽该用
"new" 而不是 malloc() ？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
建构子／解构子、型别安全性、可被覆盖（overridability）。建构子／解构子：和
"malloc(sizeof(Fred))" 不同，"new Fred()" 还会去呼叫Fred
的建构子。同理，"delete p" 会去呼叫 "*p" 的解构子。 <br>
型别安全性：malloc() 会传回一个不具型别安全的
"void*"，而 "new Fred()" 则会传回正确型态的指标（一个
"Fred*"）。 <br>
可被覆盖："new"
是个可被物件类别覆盖的运算子，而 "malloc"
不是以「各个类别」作为覆盖的基准。 </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">四、为什麽 C++
不替 "new" 及 "delete" 搭配个 "realloc()" ？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
避免你产生意外。当 realloc() 要拷贝配置区时，它做的是「逐位元
bitwise」的拷贝，这会弄坏大 <br>
部份的 C++ 物件。不过 C++
的物件应该可以自我拷贝才对：用它们自己的拷贝建构子或设定运算子。
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">五、该怎样配置／释放阵列？
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1"> 用
new[] 和 delete[] ： </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
Fred* p = new Fred[100]; <br>
//... <br>
delete [] p; </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
每当你在 "new" 运算式中用了 "[...]" 的话，你就 *!*必须*!*
在 "delete" 陈述中使用 "[]"
。这语法是必要的，因为「指向单一元素的指标」与「指向一个阵列的指标」在语法上并无法区分开来。
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">六、万一我忘了将
"[]" 用在 "delete" 由 "new Fred[n]"
配置到的阵列，会发生什麽事？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
灾难。这是程式者的－－而不是编译器的－－责任，去确保 new[] 与
delete[]
的正确配对。若你弄错了，编译器不会产生任何编译期或执行期的错误讯息。堆积（heap）被破坏是最可能的结局，或是更糟的，你的程式会当掉。
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">七、成员函数做
"delete this" 的动作是合法的（并且是好的）吗？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
只要你小心的话就没事。所谓的「小心」是： <br>
1) 你得 100% 确定 "this" 是由 "new" 配置来的（而非
"new[]"，亦非自订的 "new"
版本，一定要是最原始的 "new"）。 <br>
2) 你得 100% 确定该成员函数是此物件最後一个会去呼叫的。 <br>
3) 做完自杀的动作 ("delete this;") 後，你不能再去碰
"this" 的物件了，包括资料及运作行为在内。 <br>
4) 做完自杀的动作 ("delete this;") 後，你不能再去碰
"this"
指标了。换句话说，你不能查看它、将它与其他指标或是 NULL
相比较、印出其值、对它转型、对它做任何事情。 </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
很自然的，这项警告也适用於：当 "this"
是个指向基底类别的指标，而解构子不是virtual 的场合。 </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">八、该怎麽用 new
来配置多维阵列？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
有很多方法，端视你对阵列大小的伸缩性之要求而定。极端一点的情形，如果你在编译期就知道所有阵列的维度，你可以静态地配置（就像
C 一样）： </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
class Fred { /*...*/ }; </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
void manipulateArray() <br>
{ <br>
Fred matrix[10][20]; </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
//使用 matrix[i][j]... </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
//不须特地去释放该阵列 <br>
} </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
另一个极端情况，如果你希望该矩阵的每个小块都能不一样大，你可以在自由记忆体里配置之：
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
void manipulateArray(unsigned nrows, unsigned ncols[]) <br>
//'nrows' 是该阵列之列数。 <br>
//所以合法的列数为 (0, nrows-1)
开区间。 <br>
//'ncols[r]' 则是 'r' 列的行数 ('r'
值域为 [0..nrows-1])。 <br>
{ <br>
Fred** matrix = new Fred*[nrows]; <br>
for (unsigned r = 0; r < nrows;
++r) <br>
matrix[r] = new Fred[
ncols[r] ]; </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
//使用 matrix[i][j]... </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
//释放就是配置的反动作： <br>
for (r = nrows; r > 0; --r) <br>
delete [] matrix[r-1]; <br>
delete [] matrix; <br>
} </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">九、怎样确保某类别的物件都是用
"new" 建立的，而非区域或整体／静态变数？ </span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
确定该类别的建构子都是 "private:" 的，并定义个
"friend" 或 "static" 函数，来传回一个指向由
"new" 建造出来的物件（把建构子设成 "protected:"，如果你想要有衍生类别的话）。
</span></font></small></p>
<p align="left"><small><font color="#000000"><span class="unnamed1">
class Fred { //只允许 Fred 动态配置出来 <br>
public: <br>
static Fred* create()
{ return new Fred(); } <br>
static Fred* create(int i)
{ return new Fred(i); } <br>
static Fred* create(const Fred&
fred) { return new Fred(fred); } <br>
private: <br>
Fred(); <br>
Fred(int i); <br>
Fred(const Fred& fred); <br>
virtual ~Fred(); <br>
}; </span></font></small></p>
<p align="left"><font color="#000000"><span class="unnamed1"><small>
main() <br>
{ <br>
Fred* p = Fred::create(5); <br>
... <br>
delete p; <br>
} </small><br>
<br>
</span></font></p>
<p align="center"></p>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -