null免除演算子

[taiseiue]

いい感じにnull許容型の値を取り出せる演算子が欲しい

number? num = 123;

number x = num.Value;

x = num!;

上のコードで、xに値が設定されている(=x.HasValueがtrue)な時、x.Valueの値を返して、値がないときはnull参照エラーにするのが良さそう。

ユーザー入力がらみでnull許容な値が出てくることが割とあって、頻繁に書く割には文法として楽じゃないのが良くなさげ。
例えば以下のコードは割と良くある。

number? rawInput = input() as number;

if(rawInput.HasValue)
// ユーザーがちゃんと数値を入力した場合

[rokuosan]

非nullアサーションのような方が良さそう
https://kotlinlang.org/docs/null-safety.html#not-null-assertion-operator

Kotlin の Null-Safety を実現するための仕組みはこのページにあるので一回眺めるだけでも良さそうかも

[rokuosan]

意図が違ったら申し訳ない

[taiseiue]

ここで考えるべきことは、null許容なコンテキストと非許容なコンテキストを明確に分けるためにnull許容から非nullへの暗黙的な変換を禁止してるから、そんなにお手軽にnull免除アサーションできていいのかという