Làm cách nào để các thành viên biểu hiện phân biệt giữa khoảng trống và không có giá trị?

Question

Với các thành viên biểu hiện thân C# 6, tôi có thể viết:

public string FullName => $"{_firstName} {_lastName}";

Và tôi có thể viết:

static void Print(string message) => Console.WriteLine(message);

Trong trường hợp đầu tiên, biểu thức trả về một cái gì đó. Trong lần thứ hai, nó không.

Điều gì đang xảy ra ở đây để xác định cách 'hành động' mà không cần thêm bất kỳ cú pháp nào? Hay đơn giản là một trường hợp nhìn vào chữ ký phương thức trong thời gian biên dịch?

Tôi không phải là một fan hâm mộ lớn của việc để lại những thứ để 'chỉ làm việc' mà không biết những gì đang xảy ra.

Answer 1

Đầu tiên, FullName là tài sản. Nó luôn luôn trả về một giá trị. Do đó, chữ ký của nội dung phải là Func<T>, trong đó T là loại trả về (được xác định là string trong mẫu của bạn) hoặc đại biểu tương đương.

Chữ ký của phương thức void Print(string message) là Action<string>, vì trình biên dịch hiểu rằng khoảng trống không trả về giá trị và nhận một tham số. Nó hiểu một số câu trả về một giá trị (như => "a") và một số có thể tự đứng lên (mặc dù chúng có thể trả về một giá trị như => new object()). Do đó nó có thể cho bạn biết nếu bạn mess up: "CS0201: Chỉ có thể sử dụng chỉ định, gọi, tăng, giảm và biểu thức đối tượng mới dưới dạng tuyên bố".