＝＝ Ｐａｒｔ ２／４ ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
=============================
■□ 第９节：自由记忆体管理
=============================
Q33："delete p" 会删去 "p" 指标，还是它指到的资料，"*p" ？
该指标指到的资料。
"delete" 真正的意思是：「删去指标所指到的东西」（delete the thing pointed
to by）。同样的英文误用也发生在 C 语言的「『释放』指标所指向的记忆体」上
（"free(p)" 真正的意思是："free_the_stuff_pointed_to_by(p)" ）。
========================================
Q34：我能 "free()" 掉由 "new" 配置到的、"delete" 掉由 "malloc()" 配置到的
记忆体吗？
不行。
在同一个程式里，使用 malloc/free 及 new/delete 是完全合法、合理、安全的；
但 free 掉由 new 配置到的，或 delete 掉由 malloc 配置到的指标则是不合法、
不合理、该被痛骂一顿的。
========================================
Q35：为什麽该用 "new" 而不是老字号的 malloc() ？
建构子／解构子、型别安全性、可被覆盖（overridability）。
建构子／解构子：和 "malloc(sizeof(Fred))" 不同，"new Fred()" 还会去呼叫
Fred 的建构子。同理，"delete p" 会去呼叫 "*p" 的解构子。
型别安全性：malloc() 会传回一个不具型别安全的 "void*"，而 "new Fred()" 则
会传回正确型态的指标（一个 "Fred*"）。
可被覆盖："new" 是个可被物件类别覆盖的运算子，而 "malloc" 不是以「各个类别
」作为覆盖的基准。
========================================
Q36：为什麽 C++ 不替 "new" 及 "delete" 搭配个 "realloc()" ？
避免你产生意外。
当 realloc() 要拷贝配置区时，它做的是「逐位元 bitwise」的拷贝，这会弄坏大
部份的 C++ 物件。不过 C++ 的物件应该要能自我拷贝才对：用它们自己的拷贝建构
子或设定运算子。
========================================
Q37：我该怎样配置／释放阵列？
用 new[] 和 delete[] ：
Fred* p = new Fred[100];
//...
delete [] p;
每当你在 "new" 运算式中用了 "[...]"，你就必须在 "delete" 陈述中使用 "[]"。
^^^^
这语法是必要的，因为「指向单一元素的指标」与「指向一个阵列的指标」在语法上
并无法区分开来。
========================================
Q38：万一我忘了将 "[]" 用在 "delete" 由 "new Fred[n]" 配置到的阵列，会发生
什麽事？
灾难。
这是程式者的－－而不是编译器的－－责任，去确保 new[] 与 delete[] 的正确配
对。若你弄错了，编译器不会产生任何编译期或执行期的错误讯息。堆积（heap）被
破坏是最可能的结局，或是更糟的，你的程式会当掉。
========================================
Q39：成员函数做 "delete this" 的动作是合法的（并且是好的）吗？
只要你小心的话就没事。
我所谓的「小心」是：
1) 你得 100% 确定 "this" 是由 "new" 配置来的（而非 "new[]"，亦非自订的
"new" 版本，一定要是最原始的 "new"）。
2) 你得 100% 确定该成员函数是此物件最後一个会呼叫到的。
3) 做完自杀的动作 ("delete this;") 後，你不能再去碰 "this" 的物件了，包
括资料及运作行为在内。
4) 做完自杀的动作 ("delete this;") 後，你不能再去碰 "this" 指标了。
换句话说，你不能查看它、将它与其他指标或是 NULL 相比较、印出其值、
对它转型、对它做任何事情。
很自然的，这项警告也适用於：当 "this" 是个指向基底类别的指标，而解构子不是
virtual 的场合。
========================================
Q40：我该怎麽用 new 来配置多维阵列？
有很多方法，端视你对阵列大小的伸缩性之要求而定。极端一点的情形，如果你在编
译期就知道所有阵列的维度，你可以静态地配置（就像 C 一样）：
class Fred { /*...*/ };
void manipulateArray()
{
Fred matrix[10][20];
//使用 matrix[i][j]...
//不须特地去释放该阵列
}
另一个极端情况，如果你希望该矩阵的每个小块都能不一样大，你可以在自由记忆体
里配置之：
void manipulateArray(unsigned nrows, unsigned ncols[])
//'nrows' 是该阵列之列数。
//所以合法的列数为 (0, nrows-1) 开区间。
//'ncols[r]' 则是 'r' 列的行数 ('r' 值域为 [0..nrows-1])。
{
Fred** matrix = new Fred*[nrows];
for (unsigned r = 0; r < nrows; ++r)
matrix[r] = new Fred[ ncols[r] ];
//使用 matrix[i][j]...
//释放就是配置的反动作：
for (r = nrows; r > 0; --r)
delete [] matrix[r-1];
delete [] matrix;
}
========================================
Q41：C++ 能不能做到在执行时期才指定阵列的长度？
可以。STL 有一个 vector template 提供这种行为。请参考“程式库”一节的 STL
项目。
不行。内建的阵列型态必须在编译期就指定它的长度了。
可以，内建的阵列可以在执行期才指定第一个索引的□围。譬如说，和上一则 FAQ
相较，如果你只需要第一个维度大小能够变动，你可以 new 一个阵列的阵列（而不
是阵列指标的阵列 "an array of pointers to arrays"）：
const unsigned ncols = 100;
//'ncols' 不是执行期才决定的变数 (用来代表阵列的行数)
class Fred { ... };
void manipulateArray(unsigned nrows)
//'nrows' 是执行期才决定的变数 (用来代表阵列的列数)
{
Fred (*matrix)[ncols] = new Fred[nrows][ncols];
//用 matrix[i][j] 来处理
//deletion 是物件配置的逆运算：
delete [] matrix;
}
如果你不光是需要在执行期改变阵列的第一个维度的话，就不能这样做了。
========================================
Q42：怎样确保某类别的物件都是用 "new" 建立的，而非区域或整体／静态变数？
[1] [2] [3] [4] [5] [6] 下一页 |
