Quicksortはin-placeアルゴリズムか？

アルゴリズムの授業で困るのが、「quicksortはin-placeアルゴリズムか否か」という問題です。Informalにはin-placeとされていますが、正確には「partition（分割）がin-place」なだけであって、quicksort全体は入力要素数に依存するサイズのスタック空間を再帰のために使用するので、in-placeアルゴリズムではありません。

…というのが教科書的説明なのですが、例えばソートに関しては一つ一つの要素のサイズをmとすると、quicksortの空間計算量もmについては定数オーダーとなるので*1、やはり気持ち的にin-placeと呼びたくなってしまいます。もちろん、そんなことを言い出したら、ほとんどのsorting algorithmはポインタを使うだけでin-placeになってしまうのですが、「quicksortはin-placeで、（古典的な）mergesortはout-of-place」という（非形式的）直観を正当化する（形式的）定義はないのでしょうか…？

補足：本題の解答にはなっていませんが、スタックを消費しない（入力以外のメモリ使用が定数オーダーの）quicksortもあるそうです。（via 知人）

*1:正確には計算モデルにもよりますが