- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
使用这个构造:
var dict = new Dictionary<int, string>();
var result = (dict?.TryGetValue(1, out var value) ?? false) ? value : "Default";
我收到一条错误消息,提示 CS0165 使用未分配的局部变量“value”
,这不是我所期望的。 value
怎么可能是未定义的?如果字典为空,内部语句将返回 false
,这将使外部语句计算为 false,返回 Default
。
我在这里错过了什么?仅仅是编译器无法完全评估语句吗?还是我搞砸了?
最佳答案
您的分析是正确的。它不是编译器进行的分析,因为编译器进行的分析是 C# 规范所要求的。分析如下:
如果 condition?consequence:alternative
的条件表达式是编译时常量 true
那么备选分支是不可达的;如果false
,则结果分支不可达;否则,两个分支都是可达的。
这种情况下的条件不是常数,因此结果和备选方案都是可达的。
局部变量 value
仅在 dict
时明确分配不为空,因此 value
当结果达到时,未明确分配。
但是结果需要value
明确分配
所以这是一个错误。
编译器没有你那么聪明,但它是C#规范的准确实现。 (请注意,我没有在这里勾勒出针对这种情况的额外特殊规则,其中包括谓词,如“在真表达式之后明确赋值”等。有关详细信息,请参阅 C# 规范。)
顺便说一句,C# 2.0 编译器太聪明了。例如,如果您有类似 0 * x == 0
的条件对于一些 int local x
它会推断出“无论 x
的值是什么,该条件始终为真”并将替代分支标记为不可访问。该分析在与现实世界相匹配的意义上是正确的,但在 C# 规范明确指出仅对编译时常量进行推导以及同样明确指出涉及 变量不是常量。
记住,这东西的目的是找bug,还有什么更有可能呢?有人写了0 * x == 0 ? foo : bar
打算它的意思是“总是foo
”,或者他们不小心写了一个错误?我修复了编译器中的错误,从那时起它就严格符合规范。
在你的情况下没有错误,但代码太复杂了,编译器无法分析,所以它可能也太复杂了,无法期望人类来分析。看看你能不能简化它。我可能会做的是:
public static V GetValueOrDefault<K, V>(
this Dictionary<K, V> d,
K key,
V defaultValue)
{
if (d != null && d.TryGetValue(key, out var value))
return value;
return defaultValue;
}
…
var result = dict.GetValueOrDefault(1, "Default");
目标应该是使调用站点可读;我认为我的调用站点比您的更具可读性。
关于c# - 空合并参数给出意外警告,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55207014/
我有几个长度不等的 vector ,我想对其进行cbind。我将 vector 放入列表中,并尝试结合使用do.call(cbind, ...): nm <- list(1:8, 3:8, 1:5)
合并(合并)两个 JSONObjects 的最佳方式是什么? JSONObject o1 = { "one": "1", "two": "2", "three": "3" }
我在一个表中有许多空间实体,其中有一个名为 Boundaries 的 geometry 字段。我想生成一个具有简化形状/几何图形的 GeoJson 文件。 这是我的第一次尝试: var entitie
谁能说出为什么这个选择返回 3.0 而不是 3.5: SELECT coalesce(1.0*(7/2),0) as foo 这个返回 3: SELECT coalesce(7/2,0) as foo
首先抱歉,也许这个问题已经提出,但我找不到任何可以帮助我的东西,可能是因为我对 XSLT 缺乏了解。 我有以下 XML: 0 OK
有时用户会使用 Windows 资源管理器复制文件并在他们应该执行 svn 存储库级别的复制或合并时提交它们。因此,SVN 没有正确跟踪这些变化。一旦我发现这一点,损坏显然已经完成,并且可能已经对相关
我想组合/堆叠 2 个不同列的值并获得唯一值。 如果范围相邻,则可以正常工作。例如: =UNIQUE(FILTERXML(""&SUBSTITUTE(TEXTJOIN(",",TRUE,TRANSPO
使用iTextSharp,如何将多个PDF合并为一个PDF,而又不丢失每个PDF中的“表单字段”及其属性? (我希望有一个使用来自数据库的流的示例,但文件系统也可以) 我发现this code可以正常
是否有一个合并函数可以优先考虑公共(public)变量中的非缺失值? 考虑以下示例。 首先,我们生成两个 data.frames,它们具有相同的 ID,但在特定变量上有互补的缺失值: set.seed
我们正在尝试实现 ALM Rangers 在最新的 Visual Studio TFS Branching and Merging Guide 中描述的“基本双分支计划”。 .从指导: The bas
我在不同目录(3个不同名称)中有很多(3个只是一个例子)文本文件,如下所示: 目录:A,文件名:run.txt 格式:txt制表符分隔 ; file one 10 0.2 0.5 0.
我有一张包含学生等级关系的表: Student Grade StartDate EndDate 1 1 09/01/2009 NULL 2
我在学习 https://www.doctrine-project.org/projects/doctrine-orm/en/2.6/reference/working-with-associatio
我觉得我有世界上最简单的 SVN 用例: 我有一个文件,Test.java在 trunk SVN的。 我分行trunk至 dev-branch . 我搬家Test.java进入 com/mycompa
我有两个数据框,其中一些列名称相同,而另一些列名称不同。数据框看起来像这样: df1 ID hello world hockey soccer 1 1 NA NA
Elasticsearch 中是否缺少以扁平化形式(多个子/子aggs)返回结果的方法? 例如,当前我正在尝试获取所有产品类型及其状态(在线/离线)。 这就是我最终得到的: aggs [ { key:
如何合并如下所示的 map : Map1 = Map(1 -> Class1(1), 2 -> Class1(2)) Map2 = Map(2 -> Class2(1), 3 -> Class2(2)
我试图通过从netezza服务器导入数据来合并两个数据集。 以下是数据集,其数字为,ID为,字母为,名称为: 下表都是使用命令从netezza导入的: sqoop import --connect n
我有两个数组 $array1 = array('first', 'second', 'third', 'fourth'); $array2 = array('first', 'third', 'fou
我正在 SQL Server 中运行合并。在我的更新中,我只想在值发生更改时更新该行。有一个版本行在每次更新时都会递增。下面是一个例子: MERGE Employee as tgt USING (SE
我是一名优秀的程序员,十分优秀!