标签：language-lawyer compiler-errors static-analysis c net

在这样的代码中：

int val;

if (something())
   val = 10;

val++; // Error CS0165 Use of unassigned local variable

当使用局部变量时,如果没有确定地初始化它,我会收到CS0165错误消息.

在C语言世界中,这种情况是未定义的行为类情况,这意味着任何情况都是允许的.因此,也许有一个编译器错误,也许有一个编译器警告,也许有一个运行时错误,也许代码只使用了当时内存中的任何内容,并祝您好运.

是否可以为C#中的此类代码保证CS0165？

是否存在这种特定代码段不产生错误消息的情况？

解决方法:

Is CS0165 guaranteed for such code in C#?

是的,设计了确定赋值规则,以便永远不会在明确写入局部变量之前读取它.

这也很保守-例如：

bool condition = false;
int x;
if (condition)
{
    x = 0;
}
if (!condition)
{
    x = 1;
}
Console.WriteLine(x); // Error

即使我们知道如果要输入的语句体中只有其中之一,编译器就不会输入-因此x不一定在末尾分配.

确定分配的规则在5.3节的C#5规范中.

请注意,各种变量类别(例如,静态字段和类的实例字段)被视为“初始分配的”-但是它们具有明确指定的默认值,因此那里仍然没有未定义的行为.

标签：language-lawyer,compiler-errors,static-analysis,c,net
来源： https://codeday.me/bug/20191025/1928418.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。