###まとめ
「ヒープ＝ディープコピー、スタック＝シャローコピー（または単なる代入）」という誤解は、「スタックにある変数はプリミティブか、ポインタサイズのものばかり」という暗黙の前提（あるいは特定の高水準言語の仕様）に囚われているからこそ生まれるものですね。メモリがスタックであろうとヒープであろうと、実体を伴う構造の複製を行えば、それは立派なディープコピーであり、コストの議論の対象になります。