主页 / 问题 / 1609993
Accepted
Николай
Asked:2025-04-07 02:23:58 +0000 UTC2025-04-07 02:23:58 +0000 UTC

与空值兼容的值类型如何装箱？

  • 772

大家好。里希特的书中写道：

当装箱一个 Nullable<T> 实例时，会检查它是否为 null，如果是，则返回 null 而不是装箱。否则，CLR 将把实例值装箱。下面的代码演示了这种行为：

// После упаковки Nullable<T> возвращается null или упакованный тип T
Int32? n = null;
Object o = n; // o равно null

是的，当然，o == null，但我认为不应该有任何包装，但是有：

IL_0008: ldloc.0      // n
IL_0009: box          valuetype [System.Runtime]System.Nullable`1<int32>
IL_000e: stloc.1      // o
IL_000f: ret

有人能解释为什么会发生这种情况吗？或者说这些信息已经过时了？

c#

2 个回答

  1. Best Answer

    该行为取决于运行时变量的值：

    int? x = null;
object o = x;
Console.WriteLine(o == null); //тут выйдет true

    IL表明它已被使用box для Nullable<int>，这可能会产生误导——就好像正在发生包装一样。

    如果 HasValue == false（如上例所示），则 box 存在于 IL 中，但在运行时JIT只是分配 null - 不会创建任何对象。

    如果 HasValue == true，那么装箱的是底层 int 类型的值，而不是 Nullable 本身。

    因此 IL 代码总是包含框，但实际行为取决于值并在运行时决定。

    C#规范中也对此进行了描述，并且确实与 Richter 所说的相符。

    如果值为 NULL（HasValue 为 false），则 nullable_value_type 值字段将产生空引用，否则将产生解包的结果和底层值字段。

    • 2

  2. IL 具有指令这一事实并不与 CLR 中的装箱行为特殊的box Nullable<T>说法相矛盾：如果结果为，否则它就是具有类型值的箱子。此行为是在 JIT 编译级别实现的，而不是直接反映在 IL 中。Nullable<T>HasValue = falsenullT

    • 1

相关问题