2017/12/10

バグ報告祭り

やっぱリリースするといろいろバグを見つけるよねと言う話 (Visual Studio 15.5がリリースされて以来バグ報告たくさん出してる)。

twitter で見かけたのを代理で報告出したり、前々から気になってたのを改めて調べてみたらコンパイラーのバグだったり、リリースまでに直るだろうとか高をくくってたやつがまだ直ってなかったり。

safe stackalloc のインテリセンスが効かない問題

報告先: #23584

Span<T>構造体で受け取れば、safe な文脈で stackallocが使えるんですが、これがコード補完に出てこないという問題。

stackalloc の補完が出ない

インテリセンスのみの問題で、コンパイルは問題なく通ります。

まあ、stackallocを必要とする人が少ない上に、この機能を使うにはfast Spanが必須。これが入ってるのは .NET Core 2.1 (まだプレビュー)ということで、まず試してみてる人がかなり少なそう。

.NET Core 2.1 の正式リリースまでに直ってればいいって感じなのかなぁとか思いつつ一応報告してみたら、報告した瞬間に修正してたのでやっぱ報告しないと行けなかった奴でした。

式形式(=>) get/set プロパティが、自動実装と誤認されてる問題

報告先: #23668

以下のようなコードで警告が出るという問題。

// Warning CS0282
// この警告は、partial で複数の場所にフィールドを書くと出る。
// 自動実装プロパティも、自動でフィールドが作られるので partial を分けて書くと警告に。
partial struct X
{
    public int A { get; set; }
}

partial struct X
{
    // こいつは自動実装じゃないのでフィールド作られないはずなんだけど…
    // get =>/set => 型のプロパティは、自動実装プロパティと誤判定するらしい。
    int B { get => A; set => A = value; }
}

職場のコードでずっと前から消えない警告があって気になってたんですけども…

大々的にコード生成で作ってるところなので、実際はもっと複雑な partial の分かれ方になっていて、何が原因かわからず。時間が解決する(自分が報告しなくてもそのうち治る)かなぁ？とか思っていたものの、15.5でもまだ残っていたので本腰入れて調べたところ、やっと原因を特定したのがこれです。

結局、どうも、プロパティのget/setを=>を使って書くと、自動実装プロパティと誤判定するみたいです。確か、{}で書いてる時と=>で書いてる時、Roslynの抽象構文木が違うんですよねぇ。それで誤判定してるんじゃないかと。

これも、報告入れた瞬間に修正入ってました。

リファクタリング機能が明示的実装を考慮していない

報告先: #23672

明示的実装をしていて、インターフェイス越しにしかアクセスできないはずのAddに対して、「コレクション初期化子を使う」リファクタリングが効いてしまって、リファクタリング結果がコンパイルエラーになるという問題。

IDE0028が不正な結果を作る

該当のQuick Actionを掛けない限り問題はないやつです。

これはtwitterで見かけたのの代理報告。

類似の報告(コレクション初期化子じゃなくてオブジェクト初期化子のもの)は元々バグ報告が出てたみたいです。 Quick Action のID (IDE0028)で検索を掛けたので見つからず(コレクション初期化子のとオブジェクト初期化子のでIDが別)。どうも、もうバグ修正のプルリクは出てたみたいです。

in 引数がバグりまくり

報告先: #23636

本日の一番やばいやつ。

in引数がかなりバグりまくり…

これもtwitterで見かけたのの代理報告。ご本人のブログあり。

こいつは、実行時エラーを起こすやつなので、踏むと結構デバッグが面倒な奴です…

in引数には、refと違って

呼び出し側には in を付けるのが必須じゃない
リテラルを渡せる
既定値を与えられる

とかいう特徴があるわけですが、この辺りがちょうどバグりまくり。

具体的には、参照で渡さないといけないのに、呼び出し側の命令が「値を読む命令」になってて、ただの値をポインターとして使ってしまってNullReferenceやらAccessViolationやらExecutionEngineやらの例外が出まくり。

起こる条件も複数あって、以下のようなものなどなど。

値渡しなデリゲートに対して、in引数なメソッドを渡す(本来この時点でエラーになるべきが、渡せてしまう)
オプション引数をいくつか持ったメソッドに対して、一部分だけ引数を明示的に渡す(後ろの方だけ既定値を使う)
in引数に対して参照型のthisを渡す

この2日くらいで別パターンが出るわ出るわ…

まあ、in引数周りの仕様、つい最近までどこにもドキュメントがなかったんですよねぇ。最新の仕様に合わせてドキュメントを修正し始めたのが9日前。マージされたのが3日前…

うちのサイトは一通りちゃんと網羅してるものの、「確かプルリク出てたからもう実装されているはず」みたいな調べ方して書いてるものだったり。普通はドキュメントにないもの試さないですよねぇ。試されないものはそりゃバグが残る…