正确理解c# default关键字

  • 正确理解c# default关键字已关闭评论
  • 41 次浏览
  • A+
所属分类:.NET技术
摘要

最近QA测试一个我开发的一个Web API时,我意识到之前对C#的default的理解一直是想当然的。具体情况是这样,这个API在某些条件下要返回模型的默认值,写法类似于下面这样


背景

最近QA测试一个我开发的一个Web API时,我意识到之前对C#的default的理解一直是想当然的。具体情况是这样,这个API在某些条件下要返回模型的默认值,写法类似于下面这样

[HttpGet(Name = "GetWeatherForecast")] public WeatherForecast Get() {    return default; } 

实际上,这个API会返回204 No Content,而不是想象中的一个空的WeatherForecast。API返回204,说明default得到值是null,为什么会这样?

正确理解default

查看C#语言规范里的说明,default表达式是产生一个类型的默认值(A default value expression produces the default value of a type),而不是类的默认值(Type和Class都被翻译成类真是不太友好)。 我们知道,C#里引用类型的默认值就是null,对此通过查看IL,可以发现给一个引用类型赋默认值,就是通过ldnull指令将一个空引用推送到计算堆栈上。

IL_0001: ldnull IL_0002: stloc.0      // V_0 

对于值类型,比如decimal,则是通过initobj指令将位于指定地址的基元类型字段初始化0。

IL_0001: ldloca.s     'value' IL_0003: initobj      [System.Runtime]System.Decimal 

newobj不同, initobj不调用构造函数,只用于初始化值类型。引用类型和值类型的默认值都可以认为是常量。

真相大白,现在我们知道为什么上面那种情况API会返回204,还是要多看文档,不能想当然。

应用

我们常用的linq里的FirstOrDefault方法,如果没有找到符合条件的值就会返回默认值,查看源码实现,其实它就是返回的default,这个方法命名还是很合理的。

 private static TSource? TryGetFirst<TSource>(this IEnumerable<TSource> source, out bool found)  {      if (source == null)      {          ThrowHelper.ThrowArgumentNullException(ExceptionArgument.source);      }       if (source is IPartition<TSource> partition)      {          return partition.TryGetFirst(out found);      }       if (source is IList<TSource> list)      {          if (list.Count > 0)          {              found = true;              return list[0];          }      }      else      {          using (IEnumerator<TSource> e = source.GetEnumerator())          {              if (e.MoveNext())              {                  found = true;                  return e.Current;              }          }      }       found = false;      return default;  } 

另外,如果你已经厌倦使用null来判断是否为空,现在多了一个default选项。

if (_settings == default){  } 

参考