Dartのカスケードノーテーションの性質について

Question

Dartのカスケードノーテーションについてなのですが。
https://gist.github.com/mono0926/ad031466d1ee8b9632657226aa5d6c46#gistcomment-2843265

void main(){
final x = [3, 5, 1];
// それぞれ行の返却値は？
print(x..sort()..map((v) => v * 2));//(1)
//print(x..sort().map((v) => v * 2));//(2)
//x.sort().map((v) => v * 2);//(3)
print((x..sort()).map((v) => v * 2).toList()); //(4)
}

//結果
[1, 3, 5]
[2, 6, 10]

↓(2),(3)はコメントアウトを無くすと同じエラーメッセージでエラーになります。

error
This expression has a type of 'void' so its value can't be used - line 6
error
This expression has a type of 'void' so its value can't be used - line 7

(2)は
..sort()
の部分にエラーを表す下線。

(3)は
x.sort()
の部分にエラーを表す下線が表示されて上記のエラーメッセージが出ます。

(1)と(3)はわかるのですが、(2)はエラーが出て、(4)はエラーが出ない、
というのはよくわかりません。
結局カスケードノーテーションの返り値は何なのでしょうか?

(2)と(4)は文法的に違いがあるのでしょうか?
無いような気がします。

(4)でエラーが出ないということは
(x..sort())
はsort()メソッド実行後のxを返していると思うのですが。
そうであるなら、(2)の
x..sort()
の部分もsort()メソッド実行後のxを返すのではないでしょうか?
()で囲むと違いが出るのでしょうか?
現時点での私の認識では式を()で囲むのは
「見やすくするため」
「計算の順序をはっきりさせるため」
ということであり、今回のケースでは特に結果に違いは出ないのではないか、
という気がします。

https://gist.github.com/mono0926/ad031466d1ee8b9632657226aa5d6c46#gistcomment-2843265
上記ページに(2)のエラー理由として

// コンパイルエラー (..と.を直に繋げたので)

と書かれているのですが、..と.が繋げられないのがなぜなのかわかりません。

Answer 1

(2)と(4)は文法的に違いがあります。

A tour of the Dart language - oprators によると、カスケードオペレーター..は、単項接尾オペレーターの1つである.よりも優先度は低いです。そのため、(2)は、sort().map((v) => v * 2)がまずメソッドとして評価され、しかるのちに、xにカスケードされます。ところがsort()はvoidを返す関数ですので、前半の評価でThis expression has a type of 'void'というエラーがでるものと思います。

実際、print(x..skip(1).map((v) => v * 2))のような形でvoidでなくIterableを返すメソッドを挟むと、エラーはでません。（式として意味があるかはともかく・・・）

(4)の解釈はご理解の通りです。

Comments

[moriman]

なるほどですね。
それは気付きませんでした。
ありがとうございました。