带有引用类型变量的对象类型装箱

Question

装箱是指将值类型分配给对象类型。将引用类型分配给对象时是否相同？

当分配类型（不是对象）时，会发生什么？这也是拳击吗？

    int num=5;
    object obj = num;  //boxing
    //////////////////////
    MyClass my = new MyClass();
    object obj = my; //what is name this convert  (whethere is boxing?)

Answer 1

装箱是将值类型分配给对象类型的过程。

关闭。当值类型的值转换为引用类型时，就会发生“装箱”。

引用类型的值赋给对象类型的变量是一样的吗？

不会。当值类型的值转换为引用类型时，就会发生装箱。将引用类型的值转换为对象不是装箱转换，而是引用转换。

当将引用类型（不是对象）的值分配给对象类型的变量时，会发生什么？

引用类型的值是引用。当将引用分配给对象类型的变量时，会在与该变量关联的存储位置中创建该引用的副本。

这也是拳击吗？

不会。当值类型的值转换为引用类型时，就会发生装箱。将引用类型的值转换为对象不是装箱转换，而是引用转换。

Answer 2

我假设您的意思是这样的：

string s = "hello";
object x = s;        // no boxing, just implict conversion to base-type.

This Works 因为 System.String 与所有其他类一样，派生自 System.Object：

public sealed class String : Object { ... }

Answer 3

装箱是在堆栈上创建一个对象引用，该对象引用在堆上引用类型（例如 int）的值。但是当一个引用类型（不是对象）分配给对象时，它就不是装箱了。

Answer 4

Eric的答案符合CLI（公共语言基础设施）标准ECMA-335，分区 I（体系结构），第 5 章（术语和定义），它将装箱定义为：“将具有某种值类型的值转换为引用类型 System.Object 的新分配实例。”，以及拆箱为：“将具有类型 System.Object（其运行时类型是值类型）的值转换为值类型实例。”

CIL（通用中间语言）的装箱和拆箱指令的行为如下，这也是在 C# 或 VB.NET 上下文中谈到装箱/拆箱时通常隐含的含义。

然而，术语“装箱”和“拆箱”有时具有更广泛/实用的含义。例如，F# box 和 unbox 运算符可以进行值类型的转换和 System.Object 之间的引用类型：

> let o = box "Hello World";;
val o : obj = "Hello World"
> let s:string = unbox o;;
val s : string = "Hello World"

Answer 5

将提供的代码编译为工作可执行文件并反汇编它，会显示第一个赋值 (obj) 的显式框指令，而第二个赋值 (obj2) 则不存在该指令：

来源

namespace BoxingAndTypeConversion
{
    class Program
    {
        public class MyClass { }

        static void Main(string[] args)
        {
            int num = 5;
            object obj = num;  //boxing
            //////////////////////
            MyClass my = new MyClass();
            object obj2 = my; //what is name this convert  (whethere is boxing?)
        }
    }
}

CIL

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       19 (0x13)
  .maxstack  1
  .locals init ([0] int32 num,
           [1] object obj,
           [2] class BoxingAndTypeConversion.Program/MyClass my,
           [3] object obj2)
  IL_0000:  nop
  IL_0001:  ldc.i4.5
  IL_0002:  stloc.0
  IL_0003:  ldloc.0
  IL_0004:  box        [mscorlib]System.Int32
  IL_0009:  stloc.1
  IL_000a:  newobj     instance void BoxingAndTypeConversion.Program/MyClass::.ctor()
  IL_000f:  stloc.2
  IL_0010:  ldloc.2
  IL_0011:  stloc.3
  IL_0012:  ret
} // end of method Program::Main