C# 8将为断言和自动化测试带来Caller Expression Attribute

\u003cp\u003eC#和其他的.NET编程语言有一个叫作\u003ca href=\"https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/caller-information\"\u003eCaller Information Attribute\u003c/a\u003e的概念。在参数上应用这些属性时，开发人员就可以不负责提供匹配参数，把这些事情留给了编译器。目前，C#支持文件名或路径、行号以及调用方法或属性名的Caller Information Attribute。根据“\u003ca href=\"https://github.com/dotnet/csharplang/blob/master/proposals/caller-argument-expression.md\"\u003eCaller Expression Attribute\u003c/a\u003e”提案，表达式也将支持Caller Information Attribute。\u003c/p\u003e\n\u003cp\u003e考虑以下这对断言：\u003c/p\u003e\n\u003cpre\u003e\u003ccode\u003eAssert.IsTrue(x - 7 \u0026gt; 0);\nAssert.IsTrue(y - 3 \u0026gt; 0);\n\u003c/code\u003e\u003c/pre\u003e\n\u003cp\u003e如果测试失败，很难确定是哪个断言被触发。你可以为每个断言提供一条消息，但这样做很枯燥乏味，而且很容易就过时，如果表达本身可以被捕获就好了。\u003c/p\u003e\n\u003cpre\u003e\u003ccode\u003epublic static void IsTrue(bool condition, [CallerArgumentExpression(\u0026quot;condition\u0026quot;)] string message = null);\n\u003c/code\u003e\u003c/pre\u003e\n\u003cp\u003e在这个示例中，如果开发人员未明确提供消息，那么编译器会将会使用condition参数对应的代码。本质上，编译器将代码转换为如下所示的形式：\u003c/p\u003e\n\u003cpre\u003e\u003ccode\u003eAssert.IsTrue(x - 7 \u0026gt; 0, \u0026quot;x - 7 \u0026gt; 0\u0026quot;);\nAssert.IsTrue(y - 3 \u0026gt; 0, \u0026quot;y - 3 \u0026gt; 0\u0026quot;);\n\u003c/code\u003e\u003c/pre\u003e\n\u003cp\u003e根据提案的设计，这种捕获机制甚至可以被用在扩展方法上。\u003c/p\u003e\n\u003cp\u003e\u003cstrong\u003e潜在的问题\u003c/strong\u003e\u003c/p\u003e\n\u003cp\u003e这个设计存在三个问题。\u003c/p\u003e\n\u003cblockquote\u003e\n\u003cp\u003e如果提供的参数是null或者不是参数名的字符串，那么编译器将传入一个空字符串。\u003c/p\u003e\n\u003cp\u003e知道如何使用反编译器的人将能够通过反编译看到标有这个属性的方法的一些源代码。对于闭源软件来说，这可能是难以接受的。\u003c/p\u003e\n\u003cp\u003e虽然这不是功能本身的缺陷，但问题是现在存在一个只接受bool的Debug.Assert API。即使重载方法的第二个参数使用了这个属性，并且是可选的，编译器仍然会选择非消息的那个参数。因此，非消息重载会被移除，这将造成二进制（尽管不是源代码）的突破性变更。\u003c/p\u003e\n\u003c/blockquote\u003e\n\u003cp\u003e\u003cstrong\u003e状态\u003c/strong\u003e\u003c/p\u003e\n\u003cp\u003e目前，Caller Expression Attribute被列在\u003ca href=\"https://github.com/dotnet/roslyn/blob/master/docs/Language%20Feature%20Status.md\"\u003eC# 8路线图\u003c/a\u003e中，状态为“Prototype”。\u003c/p\u003e\n\u003cp\u003e\u003cstrong\u003e查看英文原文\u003c/strong\u003e：\u003ca href=\"https://www.infoq.com/news/2019/01/Caller-Expression-Attribute\"\u003ehttps://www.infoq.com/news/2019/01/Caller-Expression-Attribute\u003c/a\u003e\u003c/p\u003e\n