严蔚敏《数据结构》归并排序的递归算法，空间复杂度问题

严蔚敏《数据结构》P284归并排序的递归算法，空间复杂度不止是O(n)吧，我感觉应该是O(n*log²n)啊。最近也看完了《大话数据结构》这类的辅助资料，其中他的算法也和严蔚敏相似，他的空间复杂度是O（n+logn），解释是辅助数据空间加上递归算法栈的空间。感觉这种解释也有问题。


严蔚敏老师实现的递归算法，每个子函数都要在merge()外创建一个n个空间大小的数组，然后要递归O(log²n)次，一直递归调用到最底层log²n，一共创建了log²n个数组，怎么就成了只有O(n)了呢。

经大学老师指点：

这里确实有异议。