Tạo mới một cấu trúc rỗng làm gì trong C#?

Question

Nếu bạn đã tuyên bố một struct:

struct EmptyResult 
{ 
} 

kết quả của việc tạo ra một biến kiểu EmptyResult trong một thể hiện là gì?

public Foo() 
{ 
    EmptyResult result; 
} 

Bạn có mong đợi phân bổ trên ngăn xếp hay nó có hiệu quả không?

Answer 1

Trình biên dịch C# buộc một cấu trúc trống để có kích thước 1 byte. Bạn có thể thấy điều này nếu bạn có một cái nhìn tại các struct trong một decompiler:

[StructLayout(LayoutKind.Sequential, Size=1)] 
private struct EmptyResult 
{ 
} 

Vì vậy, bất kỳ trường hợp mà struct trong một lớp học hoặc trên stack sẽ chiếm 1 byte, chính xác giống như một thể hiện của System.Byte hoặc System.SByte

Answer 2

Tôi nghĩ rằng đó là phân bổ ngăn xếp, phù hợp với cách các loại không tham chiếu hoạt động.

Answer 3

AC# struct không có trường nào vẫn có kích thước 1. Lý do là trình biên dịch phải có khả năng lấy địa chỉ của một cấu trúc sử dụng toán tử & trong mã không an toàn.

Tôi hy vọng loại cấu trúc của bạn sẽ được xử lý chính xác giống như kiểu byte.

Answer 4

Nếu bạn sử dụng idlasm.exe để nghiên cứu il, tại dòng mà bạn tạo ra một thể hiện của các Empty struct, bạn sẽ thấy:

.maxstack 1 
.locals init ([0] valuetype Draft.Empty e) 

Và định nghĩa của Empty struct là:

.class private sequential ansi sealed beforefieldinit Draft.Empty 
     extends [mscorlib]System.ValueType 
{ 
    .pack 0 
    .size 1 
} // end of class Draft.Empty 

Như bạn thấy nó phân bổ 1 byte tại thời gian tạo và trong định nghĩa kích thước của loại này là 1.

Vì vậy, có; nó phân bổ 1 byte trên stack.

Lưu ý: định nghĩa của Empty được trích xuất từ ​​cụm được biên dịch trong chế độ phát hành.