使用 C# 6 nameof 进行隐式和显式类型

Question

C# 6 中最方便的新功能之一是nameof，它允许程序员有效地消除对magic strings 的使用。

根据文档，nameof 返回一个字符串：

用于获取变量、类型或成员的简单（非限定）字符串名称。

在以下代码示例中显式输入效果很好：

string magicString = nameof(magicString);

但是，当使用 var keyword 的隐式类型时：

var magicString = nameof(magicString);

编译器抛出错误：

在声明之前不能使用局部变量“magicString”

然后我对 Visual Studio 中可用的 C# 交互窗口进行了更多试验。同样，第一个示例运行良好，但第二个示例这次抛出了不同的错误：

错误 CS7019：无法推断“magicString”的类型，因为它的初始化程序直接或间接引用了定义。

nameof 表达式明明返回的是字符串，那为什么编译器在与初始化变量一起使用时不能隐式键入呢？

Answer 1

语言团队认为这不值得规范复杂性。

你可以看到讨论here。

这种行为的根本原因是规范说（§8.5.1）用var声明的名称在声明语句中不可见，因为在nameof之前，不可能这样有效。

隐式类型的局部变量声明受到以下限制：

• ...
• 初始化表达式不能引用声明的变量本身

没有var，像int x = x = 1;或int x = 1, y = x;这样的声明是合法的；使用var，该形式的任何内容均无效。

Answer 2

在同一语句中声明变量并为其赋值的能力是语法糖。例如，当你这样说时：

string magicString = nameof(magicString);

你真正想说的是：

string magicString;
magicString = nameof(magicString);

由于magicString 已经声明，您可以在下一个逻辑语句中使用它作为naemof 运算符的一部分。这是因为magicString 现在是后续语句可见的范围的一部分。

现在，当您使用var 时，上面的内容并不成立，因为任何使用var 进行赋值的东西实际上只是一个语句的一部分，而不是像上面示例中的两个语句的语法糖。变量magicString 直到在你的函数调用/操作符/赋值之后才真正被声明，因此该变量不是作用域的一部分，直到它完成赋值，即在下一个语句中。

SLaks 提到了the original discussion about this issue，但在the notes from this later C# design team meeting 中就“应该 var x = nameof(x) 工作吗？”的问题指出了这个问题：

这与任何其他构造相同，即：不是。这是 不是nameof的特例，而且似乎不值得特别 套管允许它。

换句话说，它并不特定于nameof。