すごいレベルの話が展開されていてひいてしまう、ひいてしまう。
実装していて思うのは、一般人としてコピーと言えば
値が複製されるのがさも当たり前と思われやすいですね。
(ポインターのない言語でこれを若い子に説明するのが難しい難しい。)
プリミティブならコンパイラが型を把握しているので値の複製が実装なしでできますが(シャローコピーと捉える)
それ以外の場合は、例えば自作クラスに合ったコピーを作ってやらないといけない(ディープコピーと捉える)。
ディープコピーを完全なる全コピーという概念に置き換えて・・・。
巨大なインスタンスを複製するレスポンスの是非とかは無視して使う側として...