Các loại Giá trị trong .NET thực sự hoạt động như thế nào?

Question

Tôi gặp vấn đề với việc hiểu biểu diễn Kiểu giá trị trong .NET. Mỗi loại giá trị có nguồn gốc từ lớp System.ValueType, điều này có nghĩa là Loại giá trị là một lớp không?

Ví dụ, nếu tôi viết:

int x = 5; 

nó có nghĩa là tôi tạo ra một thể hiện của lớp System.Int32 một' viết nó vào biến x ??

Answer 1

Lớp System.ValueType thực sự chỉ là một lớp "meta" và được xử lý nội bộ khác với các lớp thông thường. Các kiểu structs và primitive thừa hưởng System.ValueType, nhưng kiểu đó không thực sự tồn tại trong suốt thời gian chạy, nó chỉ là một cách cho các assembly để đánh dấu một lớp nên được xử lý như một struct kiểu giá trị và nhận các ngữ nghĩa theo giá trị.

Trái với các câu trả lời khác, các loại giá trị không phải lúc nào cũng được phân bổ trên ngăn xếp. Khi chúng là các trường trong một lớp, chúng nằm trên heap giống như phần còn lại của lớp dữ liệu khi đối tượng đó được khởi tạo. Các biến cục bộ cũng có thể được hoisted vào một lớp ngầm khi được sử dụng bên trong vòng lặp hoặc đóng.

Answer 2

Loại giá trị không phải là lớp. Đây là các loại nội trang được xây dựng bằng ngôn ngữ và được xử lý bởi .NET CTS (Common Type System). CTS là một thành phần bên trong CLR chịu trách nhiệm xử lý các kiểu giá trị như bool, int, double, float… Khi bạn tạo một đối tượng kiểu giá trị thì nó được tạo trên stack. Khi bạn truyền nó đến một hàm hoặc trả về từ một hàm thì một đối tượng mới sẽ được tạo cho nó trong ram. Nhưng trong trường hợp các kiểu tham chiếu, chỉ tham chiếu đối tượng được truyền và đối tượng mới không được tạo bộ nhớ inm. Có một số loại giá trị do người dùng xác định không có trong đặc tả ngôn ngữ và được xác định bởi người dùng. Các loại giá trị như vậy được kế thừa từ System.ValueType. Ví dụ về loại valuetype này là số phức. Chúng ta có thể tạo kiểu số phức tạp do người dùng xác định bằng cách sử dụng System.ValueType.

Answer 3

Bây giờ, có rất nhiều điều để nói về điều đó. Nghiêm túc, có hàng trăm trang về chủ đề này trên mạng, và hầu hết nó đều đốt cháy vấn đề não của tôi với tốc độ đáng báo động.

Những gì tôi thực sự nhớ là, int và Int32 là điều tương tự, và cả hai hành động như một cấu trúc, không phải là một lớp. "int" là lối tắt tới Int32. (Nếu bạn đưa chuột qua một int, các tooltip đọc "struct System.Int32" Có nghĩa là:..

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

Xem Eric Lippert's article

Nói tóm lại, một loại giá trị được sao chép theo giá trị Value. Các loại là các lớp giống như các kiểu tham chiếu và các thể hiện của các loại giá trị là các đối tượng, 5 là một đối tượng, một thể hiện của System.Int32 (ngắn gọn là int)