Tại sao việc khai báo lớp C# này lại biên dịch?

Question

Câu hỏi này thực sự là kinda vô nghĩa, nhưng tôi chỉ tò mò:

này:

public sealed class MyClass 
{ 
    protected void MyMethod(){} 
} 

biên dịch, nhưng đưa ra một cảnh báo

khi này:

public sealed class MyClass 
{ 
    public virtual void MyMethod(){} 
} 

doesn không biên dịch. Chỉ vì tò mò tuyệt đối, có lý do cho việc này không?

Answer 1

Lý do duy nhất tôi có thể nghĩ là đôi khi bạn cần viết các phương thức được bảo vệ để ghi đè lên các phương thức được bảo vệ khác. Ngôn ngữ thể đã được thiết kế để cho phép điều này:

protected override void Foo() 

nhưng không này

protected void Foo() 

nhưng điều đó có thể đã bị coi là một ít khó khăn để làm theo - đó là vắng mặt của override mà làm cho nó vô dụng, trong khi trong trường hợp của

public virtual void Foo() 

nó là hiện diện của virtual đó là vô ích. Sự hiện diện của một cái gì đó "sai" có lẽ dễ hiểu hơn là sự vắng mặt của một cái gì đó hữu ích.

Trong trường hợp này, là ảo cũng có thể có tác động hiệu suất, trong khi thực hiện một cái gì đó được bảo vệ thay vì tư nhân có lẽ không - vì vậy nó là một chút nghiêm trọng hơn.

Đây chỉ là phỏng đoán mặc dù thực sự - nếu chúng tôi thực sự may mắn, Eric Lippert sẽ đưa ra một câu trả lời dứt khoát hơn. Anh ấy là một trong những bạn muốn, không phải là tôi :)

câu trả lời hay nhất: đối xử với cảnh báo là lỗi và chúng tương đương anyway;)

Answer 2

virtual được sử dụng để khai báo phương thức/thuộc tính "ghi đè có thể".

sealed được sử dụng để khai báo rằng lớp học không thể được kế thừa từ đó.

Vì vậy, một phương pháp ảo trong một lớp niêm phong không bao giờ có thể được ghi đè, vì lớp học không bao giờ có thể được kế thừa từ đó. Nó chỉ không có ý nghĩa.

protected ảnh hưởng đến quyền truy cập vào một thành viên, nó không tuyên bố "ghi đè có thể" là ảo (mặc dù nó thường được sử dụng theo cách đó) và không phù hợp.

Answer 3

Tôi không thể thấy lý do chính đáng cho việc này. MyMethod được bảo vệ có thể được gọi từ MyClass, nhưng sẽ không bao giờ được gọi từ một lớp dẫn xuất (vì MyClass được niêm phong). Phiên bản ảo cũng được phép được gọi trực tiếp từ MyClass, nhưng nó là bất hợp pháp đối với phương thức để ghi đè vì bạn không thể lấy được một lớp từ MyClass ...

Answer 4

Một lớp niêm phong có thể có các thành viên được bảo vệ thông qua thừa kế . Khi một phương pháp là một phần của một lớp học, nó không quan trọng như thế nào phương pháp đó đã có.

Trong trường hợp đầu tiên, với phương pháp được bảo vệ trên lớp được niêm phong, nó giống như lớp niêm phong kế thừa một phương thức được bảo vệ. Vì vậy, nó biên dịch.

Hết sức tò mò, cảnh báo được đưa ra là gì?

Answer 5

Một lớp được niêm phong không thể được phân loại, do đó, ảo không phải là một tùy chọn. Vì vậy, lỗi.

Điều này đầu tiên hơi ngớ ngẩn nhưng hợp lệ, do đó cảnh báo.

Answer 6

Lỗi này là:

CS0549: 'chức năng' là một thành viên ảo mới trong lớp niêm phong 'lớp'.

Trước hết, mặc dù thực tế rằng nó không thực sự có ý nghĩa với bao gồm mới protected hoặc virtual thành viên trong một lớp học sealed, các CLI¹ không cho phép nó. CLI cũng cho phép gọi các thành viên của một lớp kín bằng cách sử dụng lệnh callvirt IL, mặc dù trình biên dịch có thể tự do thay thế nó bằng lệnh call.

Hiện tại, tôi không thể tìm thấy bất kỳ điều gì trong ECMA-334 (Đặc tả ngôn ngữ C#) yêu cầu trình biên dịch phát ra lỗi ở trên. Có vẻ như việc triển khai của Microsoft đã thêm lỗi chỉ vì không có ý nghĩa gì khi đưa các thành viên ảo mới vào một lớp được niêm phong.

¹The CLI là một máy ảo và trình biên dịch C# phát ra mã byte chạy trên đó. Hầu như bất kỳ khái niệm nào là bất hợp pháp trong CLI cũng là bất hợp pháp trong C# vì lý do đó - nhưng đây là trường hợp C# thực hiện thêm một chút (không phải là vấn đề).

Chỉnh sửa: Dường như các bài đăng được đánh dấu là giải thích lý do tại sao số không có ý nghĩa để viết mã như vậy trong OP. Nhưng liên quan đến những gì quy tắc đã làm cho nó một lỗi biên dịch họ xuất hiện là sai.

Answer 7

Tôi đoán trình biên dịch thực hiện một số tối ưu hóa với các lớp được niêm phong không thể nếu bạn có phương thức ảo được khai báo - "không có vtable" có vẻ là một ứng cử viên có khả năng.

Đó chỉ là phỏng đoán.

Answer 8

Như kín When applied to a class, the sealed modifier prevents other classes from inheriting from it.

đây tôi đang cố gắng để giải thích cho bạn từng cái một :

public sealed class MyClass 
{ 
    protected void MyMethod(){} 
} 

nó mang lại cho bạn cảnh báo vì thực tế nó làm cho không có ý nghĩa bởi vì sau khi tuyên bố một lớp học như kín bạn không thể thừa hưởng nó và như phương pháp của bạn là protected nên bạn không thể truy cập nó bên ngoài lớp học sử dụng nó objec t (và cũng lưu ý rằng bạn không thể tạo ra một lớp con của điều này để bạn không thể sử dụng phương pháp này bằng cách lừa cũng). Thực tế nó không có ý nghĩa để làm cho nó protected để trình biên dịch cung cấp cho bạn một cảnh báo nhưng nếu bạn làm cho nó như là public hoặc internal sau đó nó sẽ không cung cấp cho bạn lỗi vì nó hữu ích trong trường hợp đó.

nay là thứ hai:

public sealed class MyClass 
{ 
    public virtual void MyMethod(){} 
} 

như bạn kín bạn lớp và bây giờ bạn đang làm phương pháp của bạn là ảo nên gián tiếp bạn đang đưa ra một lời đề nghị với ai đó để ghi đè lên nó và có thể là duy nhất có thể bằng cách thừa kế và ở đây có vấn đề. Do đó bạn lớp được niêm phong để bạn không thể thực hiện kế thừa với lớp này.so đó là lý do tại sao với virtual nó cho lỗi.

tôi hy vọng nó sẽ giúp bạn hiểu.

để tham khảo http://msdn.microsoft.com/en-us/library/88c54tsw.aspx

Answer 9

Khai báo một thành viên bảo vệ mới bao hàm một ý định chia sẻ rằng thành viên với các lớp hậu duệ. Một lớp niêm phong không thể có hậu duệ, vì vậy tuyên bố một thành viên được bảo vệ mới là một chút của một oxymoron, giống như khai báo một phương thức ảo mới trong một lớp được niêm phong. Đối với lý do tại sao ảo tạo ra lỗi khi được bảo vệ chỉ tạo cảnh báo, tôi chỉ có thể suy đoán rằng có lẽ nó phải làm với thực tế là các phương thức ảo mới yêu cầu trình biên dịch xây dựng cấu trúc dữ liệu cho loại (vtable), trong khi các thành viên mới được bảo vệ chỉ có một bộ cờ truy cập - không có cấu trúc dữ liệu mới. Nếu trình biên dịch bị cấm tạo ra một vtable cho một lớp kín, nó sẽ làm gì nếu nó gặp một phương thức ảo mới? Không biên dịch. Một phương pháp bảo vệ mới trong một lớp kín là vô nghĩa nhưng không yêu cầu trình biên dịch mạo hiểm vào lãnh thổ bị cấm.