NDepend CQL 将方法报告为错误地使用装箱/拆箱答案

【问题标题】：NDepend CQL reports methods as using Boxing/Unboxing incorrectlyNDepend CQL 将方法报告为错误地使用装箱/拆箱
【发布时间】：2013-08-03 06:36:03
【问题描述】：

在 NDepend 4 (v4.1.0.6871) 中，我使用默认的设计查询“应避免装箱/拆箱”：

warnif percentage > 5 from m in Application.Methods where
    m.IsUsingBoxing ||
    m.IsUsingUnboxing
select new { m, m.NbLinesOfCode, m.IsUsingBoxing, m.IsUsingUnboxing }

报告以下方法（灵感来自 Jon Skeet 的 MiscUtil 并被盗）为使用拳击：

public static void ThrowIfNull<T>(this T target, string name) where T : class
{
  if (target == null)
  {
    throw new ArgumentNullException(name ?? string.Empty);
  }
}

我不明白这种方法怎么可能使用拳击。我没有在任何地方使用演员表。

我尝试了以下版本，以防空合并运算符在幕后以某种方式使用装箱：

public static void ThrowIfNull<T>(this T target, string name) where T : class
{
  if (target == null)
  {
    throw new ArgumentNullException(name);
  }
}

...但我也没有运气，NDepend 仍然报告该方法正在使用装箱。

有什么想法吗？

【问题讨论】：

标签： c#-4.0 generics boxing ndepend

【解决方案1】：

通过使用 .NET Reflector 反编译该方法，我们看到该方法确实使用了box IL 指令。尽管您使用的是class 泛型约束，但编译器仍然会发出一个框指令来解决可验证性问题。关于这个here的更多解释。

.method public hidebysig static void ThrowIfNull<class T>(!!T target, string name) cil managed
{
    .custom instance void [mscorlib]System.Runtime.CompilerServices.ExtensionAttribute::.ctor()
    .maxstack 2
    .locals init (
        [0] bool flag)
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: box !!T   <-----------
    L_0007: ldnull 
    L_0008: ceq 
    L_000a: ldc.i4.0 
    L_000b: ceq 
    L_000d: stloc.0 
    L_000e: ldloc.0 
    L_000f: brtrue.s L_0022
    L_0011: nop 
    L_0012: ldarg.1 
    L_0013: dup 
    L_0014: brtrue.s L_001c
    L_0016: pop 
    L_0017: ldsfld string [mscorlib]System.String::Empty
    L_001c: newobj instance void [mscorlib]System.ArgumentNullException::.ctor(string)
    L_0021: throw 
    L_0022: ret 
}

【讨论】：