2015/10/30

ピックアップRoslyn 10/30

Proposal: extension everything #6136

コンセプト自体は前々から出ているやつの具体的な文法案。拡張メソッド以外にも、プロパティとかその他のメンバーも拡張で足せたり、静的メソッドとかの追加もできたりさせたいという話。

結構争点多くてまだまだまとまらなさそう。

extension class A みたいに拡張したいクラスだけ指定するか、extension class AExtension : A みたいに、拡張メソッドを定義するクラス名を書くか
拡張側にインスタンスメンバーを持てるべきかどうか。持てるようにするにはConditionalWeakTableみたいなパフォーマンスに悪影響のある仕組みを使わざるを得なくて微妙
既存の拡張メソッドみたいに、静的メソッドの引数として明示的にインスタンスを渡す構文が好きなんだけど、同じように明示的な感じにはできないか

(var x = GetX(); x * x) みたいな感じに、()内にステートメントを並べて、最後の1式の結果を返す式を提案。

パターンマッチングに対応したswitchステートメントを作るのに使いそう。

,区切りじゃなくて;区切りなのは、メソッドの引数リストと区別がつかない場合があり得るから。

out 引数のところに、M(out var x); みたいに変数宣言混ぜれるようにする話。

一瞬C# 6.0に入りかけて、「もうちょっとしっかり考えたいから先送り」になってたやつ。

これも、パターンマッチング構文で使う前提。

コンパイル時に確定でマッチするようなパターンに対して、コンパイル時チェック付きでパターンマッチングできるようにするやつ。今のところ、これのためにletキーワードを導入しようという雰囲気。

これで、タプルの分解とかの、いわゆる「Destructuring」ができる。let (var x, var y) = tuple; みたいなの。

タプル以外にも、任意のパターンマッチングを使ってDestructuring可能。let Destination { Place is Coordinates { Longitude is var longitude } } みたいな書き方。