[ruby-list:50850] Re: Stringの派生オブジェクトにsubを取った時のインスタンス変数のコピー

浦です。

正木さん、コメントありがとうございます。

おっしゃるとおり嬉しくない例が圧倒的に多いと思います。
この辺の挙動を変えろと言っているわけではありません。
変えるのもきっと無理でしょう。
ただそれでもどうにか引っ掛けてなんとかする方法はないのかなと思ったのでした。

おっしゃるとおりinitializeを上書きするのも
一応やってみましたが結果は芳しくありませんでした。
initialize_copyというメソッドを見つけていじってみましたがこちらも
引っかかってはくれませんでした。
これ以上はStringの実装読むしかないなと思いつつなにか方法ないかなと、
今の所必要なメソッドをすべて上書きする方法しかなさそうですね。

イメージとしてはsubなど非破壊系のメソッドは元のStringオブジェクトから
新たなStringオブジェクトを作り出すわけで、
(ここから妄想)そのときに非破壊系で共通して新旧オブジェクトを渡してくれる
フックを定義できれば細工が楽になるけど、そういうのはないのかなと思ったのです。
これもなんかなさそうな感じですね。


> 2019/11/22 3:12、MASAKI Haruka <[e-mail]>のメール:
> 
> 正木です。
> 
> インスタンス変数はそもそもがインスタンスに固有のものですから、
> 新しいオブジェクトを返すのにインスタンス変数をコピーするというのは本筋ではないように思います。
> クラスによっては他のオブジェクトと共有するとまずいインスタンス変数も普通にあるでしょうし、
> 嬉しくないケースのほうが圧倒的に多いでしょう。
> 
> というよりも、インスタンス変数のような固有情報を保って欲しいのであれば、
> それはそのオブジェクトでなければいけないということである、ではないでしょうか。
> 
> 新規オブジェクトを返すときに共通して呼ばれるのはinitializeですが、
> Stringが新しいStringオブジェクトを返すときのnewメソッドの引数は文字列なので、
> initializeでインスタンス変数をコピーすることはできません。
> 呼び出し元のオブジェクトを知るチャンスがありませんので。
> 
> そもそもStringにはない挙動を求めているということですから、
> やるとすればサブクラス側に書くしかありませんね。
> であれば、「スーパークラスとは違う振る舞いをしてほしいメソッド」をすべて示すことになります。
> 
> 
> On Fri, 22 Nov 2019 02:50:56 +0900
> Takefumi URA <[e-mail]> wrote:
> 
>> 浦です。
>> 正木さん、お返事ありがとうございます。
>> 
>> 一応subが新たなインスタンスを作ることは理解していたつもりです。
>> subが派生クラスのインスタンスを作ってくれるならインスタンス変数も
>> ケアしてほしかったなという思い込みでした。
>> 
>> なるほどsubをオーバーライドすればよかったですね。
>> …ただ非破壊系のメソッドを全部オーバーライドするのはちょっと骨かなあという気がします。
>> # ごめんなさいこの辺質問が足りませんでしたね
>> 
>> [...]  
>> [...]  
>>