正确理解c# default关键字

正确理解c# default关键字 default 正确理解 关键字 c#

背景

最近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){

}

参考

作者: 水口寺

出处: https://www.cnblogs.com/netry/p/17965805/csharp-default-keyword

本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文链接。

评论