Trie引发的血案——再论参数

看到标题，或许聪明的你会说，参数不就那么回事吗？还要“再论”？

在决定写这篇文章之前，我也是这么认为的，自认为对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引发的血案，至此结案。