看到标题,或许聪明的你会说,参数不就那么回事吗?还要“再论”?
在决定写这篇文章之前,我也是这么认为的,自认为对C/C++的参数传递以及压栈方式了如指掌。
但是总有一些细节,在我们不注意的瞬间,给我们一个深刻的教训。
以前自己写Trie,用的是静态内存,不够灵活,虽然ACM/ICPC或其他算法竞赛都会给出严格的数据范围,避免越界。但是在实际项目中,没有人会知道,没有人能够预测自己有多少用户,自己的数据库中会被用户塞入多少T的数据。所以为了更好的可扩展性,我决定使用动态内存。
下面是我的创建Trie的函数,大家发现问题没有?
void createTree(Node* root)
{
root = (Node*)malloc(sizeof(Node));
for (int i = 0; i < char_count; i++)
{
root->val = -1;
root->next[i] = NULL;
}
}
乍一看没有:root是Trie的根节点指针,在函数内部动态申请了一个节点空间,再用root指向它。
但其实,用这段代码来创建Trie,在外部root指针依然是NULL。
为什么呢?注意参数!
这样来分析:
1.首先,我有一个全局的节点指针rt;
2.我调用createTree(rt),企图以rt为根创建Trie;
3.在参数传递过程中,实参rt的值被形参root获得;
4.在函数执行过程中,root指向了一块节点空间;
5.函数执行完毕。
实参rt呢?它并没有真正指向那块空间!
这段代码犯的错误之低级,和传int实参欲在函数体内赋值一样。
有效的做法是什么?传递参数地址!
你或许有疑问,root不已经是指针,其值是地址了吗?为什么还要传地址?
这是一个误区,其实传参传入指针变量,传递的也是指针变量的值,传参永远只能传值,int和int*一样,都是某种数据类型而已。我们现在需要的传入的,应当是root指针的地址。
没错,指针的地址,二级指针闪亮登场。
void createTree(Node** root)
{
*root = (Node*)malloc(sizeof(Node));
for (int i = 0; i < char_count; i++)
{
(*root)->val = -1;
(*root)->next[i] = NULL;
}
}
看到这里,相信你也明白了吧。Trie引发的血案,至此结案。