Tại sao các tham số phương thức mặc định phải là hằng số biên dịch trong C#

Question

EDIT 1: Tôi biết có các lựa chọn thay thế như telescoping, đây là một câu hỏi thuần túy về giáo dục.

Tôi biết điều này là đúng, nhưng tại sao phải vậy? Nó có vẻ như với một cái gì đó như thế này:

public class Foo{ 

    private int bar; 

    public void SetBar(int baz = ThatOtherClass.GetBaz(3)){ 
     this.bar = baz; 
    } 

} 

Trình biên dịch có thể thay đổi phương thức để một cái gì đó như thế này:

public void SetBar(int baz){ 

//if baz wasn't passed: 
baz = ThatOtherClass.GetBaz(3); 

this.bar = baz; 

} 

Tại sao không làm việc đó, hoặc sẽ nó, và nó chỉ là một quyết định thiết kế ?

Answer 1

Bởi vì spec nói như vậy:

Một cố định tham số với một mặc định đối số được biết đến như một tham số tùy chọn , trong khi một tham số cố định mà không có một mặc định đối số là một tham số cần thiết . Tham số bắt buộc có thể không xuất hiện sau thông số tùy chọn trong danh sách tham số chính thức. Tham số ref hoặc out không thể có đối số mặc định. Các biểu hiện trong một mặc định đối số phải là một trong những điều sau đây:

• một hằng số thể hiện

• một biểu thức có dạng S mới() trong đó S là một loại giá trị

• một biểu thức của biểu mẫu mặc định (S) trong đó S là một loại giá trị

Vì sao các nhà thiết kế ngôn ngữ lại chọn cách này mà chúng tôi chỉ có thể đoán được. Tuy nhiên, một mảnh của spec gợi ý câu trả lời:

Khi đối số được bỏ qua từ một thành viên chức năng tương ứng với thông số tùy chọn, các đối số mặc định của hàm tuyên bố thành viên được truyền ngầm. Bởi vì chúng luôn không đổi, đánh giá của chúng sẽ không ảnh hưởng đến thứ tự đánh giá của các đối số còn lại .