Nếu cấu trúc không thể kế thừa một lớp hoặc cấu trúc khác, tại sao Int32 có một phương thức ToString()?

Question

int a = 2; 

Console.WriteLine(a.ToString()); // displays 2 

// definition of ToString() here - public override string ToString(); 

Bây giờ, đây là một số hiểu biết của tôi:

1. Tất cả các lớp trong .net có được một phương pháp ToString(), được thừa kế từ lớp Object.
2. Cấu trúc không thể bắt nguồn từ lớp hoặc cấu trúc khác. int là cấu trúc kiểu Int32, được một số phương pháp ToString() [Với tham số] từ Giao diện mà nó thực hiện.
3. Ngoài ra còn có một ToString() [mà không params] chức năng trong struct Int32

Theo http://msdn.microsoft.com/en-us/library/system.int32.tostring.aspx,

struct Int32 đè ValueType.ToString phương pháp()

Nếu một struct không thể kế thừa một số lớp hoặc cấu trúc, bạn có thể giải thích phương thức ToString() này có sẵn cho Int32 không?

Answer 1

Nếu một struct không thể kế thừa một số lớp hoặc struct,

Điều này không đúng. Tất cả các cấu trúc (và các kiểu giá trị tích hợp, như System.Int32, System.Single, v.v.) luôn luôn kế thừa hoàn toàn từ System.ValueType (trong đó, lần lượt, được kế thừa từ System.Object).

Tuy nhiên, bạn không thể tạo cấu trúc thừa kế từ bất kỳ điều gì khác.

Đây rõ ràng là đánh vần ra trong ngôn ngữ C# spec, 4.1.1:

4.1.1 Các loại System.ValueType

Tất cả các loại giá trị mặc nhiên thừa hưởng từ System.ValueType lớp, mà , lần lượt, kế thừa từ đối tượng lớp. Không thể cho bất kỳ loại nào xuất phát từ một loại giá trị, và do đó các loại giá trị được niêm phong hoàn toàn (§10.1.1.2).

Sau đó, sau này (4.1.3) struct được một cách rõ ràng định nghĩa là một loại giá trị:

4.1.3 Struct loại

Một loại struct là một loại giá trị mà có thể khai báo các hằng , các trường, phương thức, thuộc tính, các chỉ mục, các toán tử, các hàm tạo mẫu, các hàm tạo tĩnh và các kiểu lồng nhau.

Answer 2

Int32 thực hiện IFormattable, trong đó xác định phương pháp ToString

Answer 3

Mỗi định nghĩa của một loại có nguồn gốc từ ValueType thực sự xác định hai loại khác nhau của sự vật trong thời gian chạy: một loại đối tượng heap (mà xuất phát từ ValueType và trong chuyển từ Object và có chứa thông tin loại được nhúng) và một loại vị trí lưu trữ (không chứa bất kỳ thông tin loại được nhúng nào, nhưng thay vào đó yêu cầu mã sử dụng nó phải có một số phương tiện khác để biết nó là gì). Một thể hiện của kiểu đối tượng heap chứa một trường kiểu vị trí lưu trữ và mã cố gắng truy cập this sẽ truy cập trường đó. Nếu một kiểu giá trị được đặt ngầm hoặc rõ ràng đến một vị trí lưu trữ của kiểu tham chiếu, hệ thống sẽ tạo một đối tượng heap mới với kiểu thích hợp và sao chép tất cả các trường công khai và riêng tư của kiểu giá trị vào các trường tương ứng trong đối tượng heap. Nếu đối tượng heap được truyền tới một vị trí lưu trữ kiểu giá trị, tất cả các trường công khai và riêng tư từ đối tượng heap sẽ được sao chép vào vị trí lưu trữ kiểu giá trị.

Nếu cố gắng sử dụng bất kỳ Object hoặc phương thức giao diện nào trên đối tượng heap của một loại giá trị, phương thức sẽ được gọi giống như bất kỳ phương pháp đối tượng đống nào khác. Nếu nỗ lực được thực hiện trên một vị trí lưu trữ kiểu giá trị, đối với bất kỳ phương thức nào khác ngoài GetType, trình biên dịch sẽ tạo ra một mã opcode "bị ràng buộc" đặc biệt, thông báo thời gian chạy của loại vị trí lưu trữ và chỉ thị Runtime để gọi địa chỉ phương pháp phù hợp với loại đó. Vì trình biên dịch sẽ có sẵn loại vị trí lưu trữ và thời gian chạy có thể sử dụng để tìm phương thức thích hợp, phương thức thích hợp có thể được gọi trực tiếp trên vị trí lưu trữ mà không phải tạo đối tượng heap mới trước. GetType là một ngoại lệ đáng chú ý; vì nó hoạt động bằng cách kiểm tra thông tin kiểu được nhúng trong một đối tượng, nó chỉ có thể hoạt động trên những thứ có thông tin kiểu được nhúng. Do đó, đối số của nó sẽ được chuyển đổi thành dạng đối tượng đống trước cuộc gọi; GetType sau đó sẽ có thể kiểm tra thông tin loại được nhúng của đối tượng heap đó.