Приводит ли вызов метода к типу значения к упаковке в .NET?

Я только что участвовал в ответе на вопрос о переполнении стека Все ли в .NET является объектом? < / а>.

И один плакат (в комментариях к принятому ответу), похоже, думал, что выполнение вызова метода для типа значения привело к боксу. Он указал мне на бокс и распаковку (программирование на C # Guide), который не совсем точно описывает описываемый нами вариант использования.

Я не из тех, кто доверяет одному источнику, поэтому я просто хотел получить дополнительные отзывы по этому вопросу. Моя интуиция подсказывает, что бокса нет, но моя интуиция - отстой. : D

Для дальнейшего уточнения:

Я использовал следующий пример:

int x = 5;
string s = x.ToString(); // Boxing??

Упаковка не происходит не, если рассматриваемая структура переопределяет метод, унаследованный от объекта, как указано здесь в принятом ответе.

Однако, если структура не отменяет метод, команда «ограничить» CIL выполняется до к callvirt. Согласно документации, коды операций. Ограниченное поле, это приводит к боксу:

Если thisType является типом значения, а thisType не реализует метод, тогда ptr разыменовывается, упаковывается и передается как указатель this на инструкцию метода callvirt.


.net value-type boxing
person Quibblesome    schedule 12.01.2009    source источник
comment
И причина здесь: stackoverflow.com/questions/1359856/   -  person nawfal    schedule 10.06.2013

Ответы (4)


arrow_upward
18
arrow_downward

Вот IL для вашего кода:

L_0001: ldc.i4.5      // get a 5 on the stack
L_0002: stloc.0       // store into x
L_0003: ldloca.s x    // get the address of x on the stack
L_0005: call instance string [mscorlib]System.Int32::ToString()  // ToString
L_000a: stloc.1       // store in s

Так что ответ в данном случае - нет.

person plinth    schedule 12.01.2009
comment
Здесь важно отметить, что метод ToString вызывается не для значения x, а для адреса x. Обратите внимание на инструкцию ldloc a. - person swax; 02.10.2012

arrow_upward
12
arrow_downward

В случае, если вы дали ответ «нет», как указано на плинтусе.

Однако это произойдет, если вы вызовете метод через указатель интерфейса.

Рассмотрим код:

interface IZot
{
    int F();
}

struct Zot : IZot
{
    public int F()
    {
        return 123;
    }
}

потом

Zot z = new Zot();
z.F();

не приводит к боксу:

.locals init (
    [0] valuetype ConsoleApplication1.Zot z)
L_0000: nop 
L_0001: ldloca.s z
L_0003: initobj ConsoleApplication1.Zot
L_0009: ldloca.s z
L_000b: call instance int32 ConsoleApplication1.Zot::F()
L_0010: pop 
L_0011: ret

Однако это действительно так:

IZot z = new Zot();
z.F();

   .locals init (
        [0] class ConsoleApplication1.IZot z,
        [1] valuetype ConsoleApplication1.Zot CS$0$0000)
    L_0000: nop 
    L_0001: ldloca.s CS$0$0000
    L_0003: initobj ConsoleApplication1.Zot
    L_0009: ldloc.1 
    L_000a: box ConsoleApplication1.Zot
    L_000f: stloc.0 
    L_0010: ldloc.0 
    L_0011: callvirt instance int32 ConsoleApplication1.IZot::F()
    L_0016: pop
person Rob Walker    schedule 12.01.2009

arrow_upward
7
arrow_downward

@ ggf31316

«Я считаю, что вызов ToString, Equals и Gethashcode приведет к блокировке, если структура не переопределяет методы».

Я проверил для вас ToString. Int32 переопределяет ToString, поэтому я создал структуру, которая этого не делает. Я использовал .NET Reflector, чтобы убедиться, что структура каким-то образом не переопределяет ToString () волшебным образом. , а это не так.

Итак, код был таким:

using System;

namespace ConsoleApplication29
{
    class Program
    {
        static void Main(string[] args)
        {
            MyStruct ms = new MyStruct(5);
            string s = ms.ToString();
            Console.WriteLine(s);
        }
    }

    struct MyStruct
    {
        private int m_SomeInt;

        public MyStruct(int someInt)
        {
            m_SomeInt = someInt;
        }

        public int SomeInt
        {
            get
            {
                return m_SomeInt;
            }
        }
    }
}

И MSIL (через ILDASM) для основного метода следующий:

  IL_0000:  ldloca.s   ms
  IL_0002:  ldc.i4.5
  IL_0003:  call       instance void ConsoleApplication29.MyStruct::.ctor(int32)
  IL_0008:  ldloca.s   ms
  IL_000a:  constrained. ConsoleApplication29.MyStruct
  IL_0010:  callvirt   instance string [mscorlib]System.Object::ToString()
  IL_0015:  stloc.1
  IL_0016:  ldloc.1
  IL_0017:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_001c:  ret

Теперь, несмотря на отсутствие вызова бокса, если вы отметите документация об ограниченном + вызове virt, вы найдете там, что бокс ДЕЙСТВИТЕЛЬНО имеет место. oOo

Цитировать:

Если thisType является типом значения, а thisType не реализует метод, тогда ptr разыменовывается, упаковывается и передается как указатель this на инструкцию метода callvirt.

person Quibblesome    schedule 13.01.2009

arrow_upward
4
arrow_downward

Я считаю, что вызов ToString, Equals и Gethashcode приводит к боксу, если структура не переопределяет методы.

person ggf31416    schedule 13.01.2009