BT

InfoQ ホームページ ニュース C# 8:アサーションと自動テストのためのCaller Expression Attribute

C# 8:アサーションと自動テストのためのCaller Expression Attribute

ブックマーク

原文(投稿日:2019/01/15)へのリンク

C#や他の.NET言語には、Caller Info属性と呼ばれる概念がある。パラメータに適用された場合、開発者は一致する引数を提供する責任を負わない。代わりに、コンパイラがその責任を負う。現在C#は、ファイル名/パス、行番号、呼び出し元のメソッドまたはプロパティの名前について、呼び出し元情報属性をサポートしている。Caller Expression Attributeの提案で、式がそのリストに追加される。

次のアサーションを検討する。

Assert.IsTrue(x - 7 > 0);
Assert.IsTrue(y - 3 > 0);

テストに失敗した場合、どのアサートがトリガーされたのかを判断するのは困難である。アサーションごとにメッセージを提供することもできるが、それは面倒であり、時代遅れになる可能性がある。表現そのものがキャプチャされれば、便利である。

public static void IsTrue(bool condition, [CallerArgumentExpression("condition")] string message = null);

この例では、開発者が明示的にメッセージを提供していない場合、コンパイラは条件引数に使用されているコードをすべて挿入する。基本的に、コンパイラはコードを次のように変換する。

Assert.IsTrue(x - 7 > 0, "x - 7 > 0");
Assert.IsTrue(y - 3 > 0, "x - 7 > 0");

提案された設計の下では、このキャプチャメカニズムは拡張メソッドでも機能する。

潜在的な問題

この設計に関して3つの問題が挙げられた。

nullまたはパラメータ名ではない文字列("notAParameterName"など)が指定された場合、コンパイラは空の文字列を渡します。

逆コンパイラの使い方を知っている人は、この属性でマークされたメソッドの呼び出しサイトでソースコードを見ることができるでしょう。これはクローズドソースソフトウェアにとっては望ましくない/予想外のことかもしれません。

機能自体の欠陥ではありませんが、問題となっているのは、現在bool値をとるだけのDebug.Assert APIが存在することです。メッセージを受け取るオーバーロードが、この属性でマークされているのが2番目のパラメーターでそれがオプションになっていても、コンパイラはオーバーロードによってメッセージなしのものを選択します。したがって、この機能を活用するにはメッセージなしのオーバーロードを削除する必要がある。この機能はバイナリ(ソースではない)の重大な変更になります。

ステータス

現在、Caller Expression AttributeはC# 8ロードマップにステータス 「Prototype」で表示されている。

この記事に星をつける

おすすめ度
スタイル

こんにちは

コメントするには InfoQアカウントの登録 または が必要です。InfoQ に登録するとさまざまなことができます。

アカウント登録をしてInfoQをお楽しみください。

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

コミュニティコメント

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

HTML: a,b,br,blockquote,i,li,pre,u,ul,p

BT

あなたのプロファイルは最新ですか?プロフィールを確認してアップデートしてください。

Eメールを変更すると確認のメールが配信されます。

会社名:
役職:
組織規模:
国:
都道府県:
新しいメールアドレスに確認用のメールを送信します。このポップアップ画面は自動的に閉じられます。