🚀 go-pugleaf

I disassebled my test example by Reflector and had found that compilator 
creates each variable as class object (struct 'int' too). But for common 
classes it inserts the "newobj" command despite of there are already created 
one object for each object variable. For me it seems that  Netframework 
squanders the memory.

For example:

class Program
{
    class myclass : System.Data.DataSet
    {
        int k;
    }
    static void Main(string[] args)
    {
        int i = 1;
        myclass o = new myclass();
        Console.WriteLine(i.ToString());
        Console.WriteLine(o.GetType().ToString());
    }
}

The implementation:

.class nested private auto ansi beforefieldinit myclass
      extends [System.Data]System.Data.DataSet
{
      .method public hidebysig specialname rtspecialname instance void 
.ctor() cil managed
      {
      }
      .field private int32 k
}

.method private hidebysig static void Main(string[] args) cil managed
{
      .entrypoint
      .maxstack 1
      .locals init (
            [0] int32 i,
            [1] ConsoleApplication1.Program/myclass o)
      L_0000: nop
      L_0001: ldc.i4.1
      L_0002: stloc.0
      L_0003: newobj instance void 
ConsoleApplication1.Program/myclass::.ctor()
      L_0008: stloc.1
      L_0009: ldloca.s i
      L_000b: call instance string int32::ToString()
      L_0010: call void [mscorlib]System.Console::WriteLine(string)
      L_0015: nop
      L_0016: ldloc.1
      L_0017: callvirt instance [mscorlib]System.Type object::GetType()
      L_001c: callvirt instance string object::ToString()
      L_0021: call void [mscorlib]System.Console::WriteLine(string)
      L_0026: nop
      L_0027: ret
}

Seems like '.locals init' creates full copies of 'int32' and 'myclass' but 
not pointers. I conclude that from how it calls 'i.ToString'.

L_0009: ldloca.s i
L_000b: call instance string int32::ToString()

It uses address of 'i' like if whole object is already created. Can you 
confirm am I right?

BTW one more conclusion. Since the address of  variable 'i' references the 
address of structure 'int i' then the value of variable 'i' is left 
nonusable. So I think this value should be the integer number the varialbe 
'i' represents. So despite the 'i' is the variable of complex data structure 
it values the integer number but not address of the structure 'int i'.
Am I right?

"Marc Rohloff [TeamB]" <"on request"> wrote in message 
news:aguodigtf9ee$.dlg@dlg.marcrohloff.com...
> On Tue, 20 Jun 2006 12:09:24 +0400, Kolja wrote:
>
>> Can you elaborate?
>
> Internally (i.e deep down and out of site) the CLI source represents
> an int as a struct with a single field, which to all intents and
> purposes is the same thing (they are the same size and layout and
> could be treated either way).
>
> However the C# compiler (as well as ILASM) hides this fact from you.
> It is either an int (unboxed) or an object that looks just like an
> integer.
>
> If I were you I would forget that it is a struct, it is just an
> internal implementation detail.
>
> -- 
> Marc Rohloff [TeamB]
> marc rohloff -at- myrealbox -dot- com