C# と VB.NET の質問掲示板

■No77038 (なちゃ さん) に返信
> 最初の?時点でnullだった場合そこで評価が止まるのか、nullを返した上で評価が続くのかという話で、もしトマルバアイハ変わってくるという話しでしょう。
> で実際止まるのか続くのかは私もよく知りません。

https://msdn.microsoft.com/en-us/library/dn986595.aspx
> int? count = customers?[0]?.Orders?.Count();  // null if customers, the first customer, or Orders is null
...
> The last example demonstrates that the null-condition operators are short-circuiting.
> If one operation in a chain of conditional member access and index operation returns null,
>  then the rest of the chain’s execution stops.

止まります。

■No77039 (（こ） さん) に返信
> https://msdn.microsoft.com/en-us/library/dn986595.aspx
>>int? count = customers?[0]?.Orders?.Count();  // null if customers, the first customer, or Orders is null
> ...
>>The last example demonstrates that the null-condition operators are short-circuiting.
>>If one operation in a chain of conditional member access and index operation returns null,
>> then the rest of the chain’s execution stops.
> 
> 止まります。

ショートサーキットなのでしょうが、&&演算子などと全然ちがいますよね。
&&演算子は、「必要な場合のみ、2 番目のオペランドが評価されます。」と書かれていて
残り全部ではありません。

    a && b && c      //(1)
    (a && b) && c    //(2)

    a ?. b . c      //(3)
    (a ?. b) . c    //(4)

(1)と(2)は同じですが
(3)と(4)は同じではありません。

普通の演算子ではないようないので
言語仕様ではどう辻褄を合わせたのか見てみたいです。

■No77058 (Hongliang さん) に返信
>>    a ?. b . c      //(3)
>>    (a ?. b) . c    //(4)
> 
> そもそも . はショートサーキットではないのですが。

英語で「short-circuiting」と書かれています。
.　はショートサーキットではありませんが
?.　はショートサーキットなのではないですか？

> // なお、同じILを出力し、どちらもNullReferenceExceptionになります。

C#6.0をインストールしてないのでわからなかったのですが
腑に落ちないので他の人に試してもらいました。

            string s = null;

            var x = s?.ToString().ToString();           //(5)
            var y = (s?.ToString()).ToString();          //(6)

(5)はxにnullになり、
(6)はNullReferenceExceptionになりました。

ILは見方がわからないのですが、同じILではないと思います。

■No77061 (Hongliang さん) に返信
>> Other operations with lower precedence in the expression continue.
> 
> ()によって演算子の優先順位が変わってしまったので、式評価が継続すると。

演算子の実行順序は変わっていないので、
演算子の影響範囲というのがあり、それが変わったと思えばいいのかな。

こんな書き方もできるから不思議です。

    var a = x?    [5]?     [7];
    var b = x?    .y();
    var c = x&    &y;   //エラー
    var d = --x;       //--演算子
    var e = -     -x;  //-演算子

?.演算子や?[演算子ではなく、
.演算子や[演算子の前における?演算子なのかな。

シンタックスシュガーなんでしょうけど、
見た目わかりづらいですね。

誰かが書いた
   aaaa?.bbbb().cccc().d1();
   aaaa?.bbbb().cccc().d2();
   aaaa?.bbbb().cccc().d3();
   aaaa?.bbbb().cccc().d4();
を
   var abc = aaaa?.bbbb().cccc();
   abc.d1();
   abc.d2();
   abc.d3();
   abc.d4();
にしてしまいそう。

すみません。話がそれてしまいました。