Tại sao chuyển đổi tiềm ẩn này từ int thành công việc?

Question

Sử dụng Casting null doesn't compile là nguồn cảm hứng, và từ bình luận Eric Lippert của:

Đó chứng tỏ một trường hợp thú vị. "uint x = (int) 0;" sẽ thành công ngay cả khi int không chuyển đổi hoàn toàn thành uint.

Chúng tôi biết điều này không làm việc, vì object không thể được gán cho string:

string x = (object)null; 

Nhưng điều này không, mặc dù trực giác nó không nên:

uint x = (int)0; 

Tại sao không trình biên dịch cho phép trường hợp này, khi int không được chuyển đổi hoàn toàn thành uint?

Answer 1

Chuyển đổi hằng số nguyên được xử lý rất đặc biệt bằng ngôn ngữ C#; đây là phần 6.1.9 của đặc điểm kỹ thuật:

Biểu thức liên tục của loại int có thể được chuyển đổi thành loại sbyte, byte, short, ushort, uint hoặc ulong, với giá trị của biểu thức không đổi nằm trong phạm vi của loại đích. Một biểu thức liên tục của loại dài có thể được chuyển đổi thành loại ulong, miễn là giá trị của biểu thức hằng số không âm.

này cho phép bạn làm những việc như:

byte x = 64; 

mà nếu không sẽ đòi hỏi một chuyển đổi rõ ràng xấu xí:

byte x = (byte)64; // gross 

Answer 2

Các mã sau wil thất bại với thông báo "Can not ngầm chuyển đổi loại 'int' thành 'uint'. Một chuyển đổi rõ ràng tồn tại (là bạn thiếu một dàn diễn viên?)"

int y = 0; 
uint x = (int)y; 

Và điều này sẽ thất bại với : "giá trị liên tục '-1' không thể được chuyển đổi sang một 'uint"

uint x = (int)-1; 

vì vậy, lý do duy nhất uint x = (int)0; công trình là bởi vì trình biên dịch thấy rằng 0 (hoặc bất kỳ giá trị khác> 0) là một hằng số thời gian biên dịch có thể được chuyển đổi thành uint

Answer 3

Trong trình biên dịch chung có 4 bước, trong đó các mã được chuyển đổi. Văn bản được mã hóa> Mã được phân tích cú pháp> Một AST được tạo + liên kết> AST được chuyển đổi sang ngôn ngữ đích.

Việc đánh giá các hằng số như số và chuỗi xảy ra dưới dạng bước đầu tiên và trình biên dịch có thể xử lý 0 dưới dạng mã thông báo hợp lệ và bỏ qua quá trình truyền.