C#, C♯, C＃相談室 Part96

[1 デフォルトの名無しさん (ﾜｯﾁｮｲ 7633-kUv4) 2021/12/20(月) 11:03:25.88 ID:sdn/+VfW0]

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512

■Visual Studio 2017 Community(無償の統合開発環境)等はこちら
http://www.visualstudio.com/downloads/

■コードを貼る場合はこちら
http://ideone.com/

■前スレ
C#, C♯, C＃相談室 Part94
https://mevius.5ch.net/test/read.cgi/tech/1553075856/

■次スレは>>970が建てる事。
建てられない場合は他を指定する事。

---

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

[153 デフォルトの名無しさん (ﾜｯﾁｮｲ a236-8qwV) 2022/03/16(水) 00:04:15.38 ID:pAqxvPky0]

>>151
なるほど…。
ただ、Unsafe.IsNullRef(ref Unsafe.NullRef<int>()) と書けてこれが true を返すので、
値型に対するヌル参照が定められていない場合は Unsafe.NullRef<T> の T に int が
指定できること自体がバグということになってしまうような気もします。
一応未定義ではないけど、CLR 外部との相互利用等で必要に迫られない限り
使ってくれるなという感じなのでしょうか。

>>152
ご親切に説明していただきどうもありがとうございます。
逆アセンブルの結果に “なぜだか理由は分からないが” 0 になっている部分があって、
そこから x が null にされているというという事実が読み取れる、ということですね。
（まだ間違っていたら大変申し訳ありません）

> NullRef<int>が宜しくないのか、それをAddByteOffsetに与えるのがダメなのか
NullRef<T> と AddByteOffset<T> のソースコードのコメントにはそれぞれ

ldc.i4.0
conv.u
ret

ldarg.0
ldarg.1
add
ret

とあって、これを見る限り、NullRef<int>() を AddByteOffset<int> に与えることの問題は
私には読み取れませんでした。
（そもそもこの問題で IL を持ち出すこと自体が見当外れなのでしょうか）
もちろん、実際には特殊な JIT 最適化が行われているのでしょうが、
その結果 IL から期待される動作と変わってしまうようなら、
やはりバグとして報告したほうがよいのかなというのが今のところの考えです。

[154 デフォルトの名無しさん (ﾜｯﾁｮｲ a236-8qwV) 2022/03/16(水) 00:10:04.98 ID:pAqxvPky0]

>>152
> Unsafe.AsRefに直接IntPtr渡せれば/unsafeとせず済むのにね

そうなんです！というか、本来私がしたいことからいうと
MemoryMarshal.CreateSpan<int> メソッドに IntPtr 型を渡せると一番よいのですが、
それができないのでこのメソッドが受け付けてくれる ref int を作るという方向で考えています。