Jak działają typy wartości w .NET?

Question

Mam problem ze zrozumieniem reprezentacji typów wartości w .NET. Każdy typ wartości pochodzi z klasy System.ValueType, więc czy oznacza to, że Typ wartości jest klasą?

Na przykład, jeśli mogę napisać:

int x = 5; 

oznacza to, że tworzę instancję System.Int32 klasy za”napisać to w zmiennej x ??

Answer 1

Klasa System.ValueType jest po prostu klasą "meta", a wewnętrzna jest obsługiwana inaczej niż w przypadku klas normalnych. Struktury i prymitywne typy dziedziczą niejawnie System.ValueType, ale ten typ faktycznie nie istnieje w czasie wykonywania, jest to po prostu sposób, w jaki zespoły zaznaczają, że klasa powinna być traktowana jak struktura typu wartości i przyjmować semantykę typu "wartość po wartości".

W przeciwieństwie do innych odpowiedzi, typy wartości nie zawsze są przydzielane na stosie. Gdy są to pola w klasie, są umieszczane na stercie, tak jak pozostałe dane klasy, gdy ten obiekt jest tworzony. Zmienne lokalne można również wciągnąć do niejawnej klasy, gdy są używane w iteratorach lub zamknięciach.

Answer 2

Typy wartości nie są klasami. Są one wbudowane w językach i są obsługiwane przez .NET CTS (Common Type System). CTS jest składnikiem wewnątrz CLR, który jest odpowiedzialny za obsługę typów wartości, takich jak bool, int, double, float itp. Po utworzeniu obiektu typu wartości tworzony jest on na stosie. Po przekazaniu go do funkcji lub zwrocie z funkcji tworzony jest nowy obiekt w pamięci RAM. Ale w przypadku typów referencyjnych przekazywane jest tylko odniesienie do obiektu, a nowy obiekt nie jest tworzony w pamięci. Istnieje kilka typów wartości zdefiniowanych przez użytkownika, które nie są w specyfikacji językowej i są zdefiniowane przez użytkowników. Takie typy wartości są dziedziczone z System.ValueType. Przykładem tego rodzaju wartości jest liczba zespolona. Możemy stworzyć własny, zdefiniowany przez użytkownika typ liczb zespolonych, używając System.ValueType.

Answer 3

Teraz dużo o tym mówić. Poważnie, jest tu setki stron na ten temat w sieci, a większość z nich spala moją mózgową sprawę w alarmującym tempie.

To, co właściwie pamiętałem, to to, że int i Int32 to to samo, a obie działają jak struktura, a nie klasa. "int" jest skrótem do Int32. (Jeśli umieścisz kursor myszy nad int, tooltip brzmi "struct System.Int32" Co oznacza:..

public class BoxedInt 
{ 
    public int x; 

    public BoxedInt(int i) { x = i; } 
} 

public Test() 
{ 
    BoxedInt bi = new BoxedInt(10); 
    Boxed(bi); 
    Console.WriteLine(bi.x); // Returns 11, as any reference type would. 

    int vi = 10; 
    Valued(vi); 
    Console.WriteLine(vi); // Returns 10, because it acts like a struct. (Which it is) 
} 

public void Boxed(BoxedInt i) 
{ 
    i.x++; 
} 

public void Valued(int i) 
{ 
    i++; 
} 

Answer 4

Zobacz Eric Lippert's article

w skrócie, typ wartości jest kopiowany przez wartość Value. typy są klasami podobnie jak typy odwołań, a instancje typów wartości są obiektami: 5 to obiekt, instancja o nazwie System.Int32 (int w skrócie)