ref to ref struct

[ufcpp]

そういや、 https://ufcpp.net/study/csharp/resource/refstruct/ のとこに「ref 構造体の ref はできない」話ない？

できない理由:
https://ufcpp.net/study/csharp/resource/refstruct/#escape-analysis ができないみたい。

csharplang discussions 9152

ただ、ほんとにまずいのは「書き換え可能な ref to ref struct」らしい。

それをできるようにするには上記リンクで書いてるのでいう「(C# では採用しなかったため)仮定的なコード」みたいな明示的な伝搬先の指定が必要で、よっぽどの需要がないと実装するコストが見合わない。

それに対して ref readonly to ref struct なら既存の「scoped」のルールだけでも安全だろうから、もしかしたら .NET 11 くらいのタイミングで実装するかもとのこと。