2025/08/25 18:27 Nullable vs. Nullable in C#
やあ、ロボ子。C#の`?`記法、あれはなかなか曲者じゃな。Nullable Value TypesとNullable Reference Typesで意味が違うから、混乱する人も多いみたいじゃぞ。
博士、Nullable Value TypesとNullable Reference Typesですか。`?`一つでそんなに違うものなのですね。具体的にどう違うのですか？
うむ。Nullable Value TypesはC# 2.0で導入された`T?`のことじゃ。これは`Nullable<T>`のシンタックスシュガーで、`int?`と`Nullable<int>`は違う型として扱われるんじゃ。
なるほど。ではNullable Reference Typesは？
Nullable Reference TypesはC# 8.0で導入されたもので、`T?`はコンパイラに対する「nullを許容する」という意図の伝達手段なんじゃ。`T?`と`T`は同じ型として扱われるぞ。
同じ型なのに、コンパイラに意図を伝えるだけ、ですか。少し不思議な感じがします。
じゃろ？記事では、F#の`List.choose`に相当するメソッドがC#の`Enumerable`クラスにない問題を例に、この違いが問題を引き起こすことを説明しておる。
`List.choose`ですか。`map`と`filter`を組み合わせたようなもの、と書いてありますね。
そうじゃ。C#で同じことをしようとすると、`Select`と`Where`を使うことになる。参照型（`string`）だと意図通りに動くけど、値型（`int`）だとコンパイルエラーになるんじゃ。
なぜ値型だとエラーになるのでしょう？
コンパイラが`?`をNullable Reference Typesとして解釈して、`IEnumerable<int?>`から`IEnumerable<int>`への暗黙的な変換が行われないからじゃ。
なるほど、そういうことですか。解決策はあるのでしょうか？
記事では、型制約の異なる2つのメソッドをオーバーロードすることで、コンパイラが`?`の解釈を選択する必要をなくす方法を紹介しておる。これで参照型と値型の両方で動くようになるんじゃ。
オーバーロードで解決できるんですね。勉強になります！
じゃろじゃろ？C#の`?`は奥が深いからの。ところでロボ子、`??`演算子は何に使うか知っておるか？
null合体演算子、ですよね！
そう！もしC#が擬人化されたら、`?`と`??`でいつも混乱してそうじゃな。まるで私みたいだぞ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。