Nhập ngầm định; tại sao chỉ là các biến cục bộ?

Question

Có ai biết hay quan tâm đến việc suy đoán tại sao việc nhập ngầm được giới hạn trong các biến cục bộ?

var thingy = new Foo(); 

Nhưng tại sao không ...

var getFoo() { 
    return new Foo(); 
} 

Answer 1

Eric Lippert đã làm toàn bộ bài viết trên blog về đề tài này.

• http://blogs.msdn.com/ericlippert/archive/2009/01/26/why-no-var-on-fields.aspx

Tóm lại, vấn đề chính là nó sẽ đòi hỏi một chính tái cấu trúc của C# biên dịch để làm như vậy. Các khai báo hiện đang được xử lý theo một cách đơn. Điều này đòi hỏi nhiều lần truyền vì khả năng tạo chu kỳ giữa các biến suy luận. VB.net có cùng một vấn đề.

Answer 2

Tôi nghĩ rằng đó là do phạm vi của loại được ngụ ý đó rộng hơn và do đó nhiều khả năng gây ra sự cố hơn trong phạm vi của một phương thức.

Answer 3

Vì việc này dễ thực hiện hơn nhiều. Nếu bạn suy luận tất cả các loại, người ta sẽ cần một cái gì đó giống như hệ thống suy luận kiểu Hindley Milner mà sẽ làm cho C# yêu quý của bạn thành ngôn ngữ phái sinh Haskel.

Answer 4

Về cơ bản, vấn đề bạn đang gặp phải là C# (cho đến nay) là ngôn ngữ được nhập tĩnh. Một biến cục bộ được định nghĩa là var vẫn được nhập tĩnh, nhưng được ẩn theo cú pháp. Mặt khác, phương thức trả về var có nhiều hàm ý. Nó trở thành một giao diện cho việc sử dụng, và bạn không đạt được bất cứ điều gì bằng cách sử dụng var.

Answer 5

Jared có một liên kết tuyệt vời trong câu trả lời của mình, với một chủ đề tuyệt vời.

Tôi nghĩ rằng nó không trả lời câu hỏi một cách rõ ràng.

Tại sao không?

var getFoo() { 
    return new Foo(); 
} 

Lý do cho điều này là:

gì nếu?

class Foo {} 

var GetFoo() { 
    return GetBar(); 
} 

var GetBar() { 
    return GetBaz(); 
} 

var GetBaz() { 
    return new Foo(); 
} 

Bạn có thể suy luận rằng GetFoo sẽ trở Foo, nhưng bạn sẽ phải theo dõi thông qua tất cả các cuộc gọi rằng phương pháp làm và con của nó làm chỉ để suy ra các loại. Vì nó là viết tắt của trình biên dịch C# không được thiết kế để làm việc theo cách này. Nó cần phương thức và kiểu trường sớm trong quá trình trước khi mã mà các loại có thể chạy.

Trên một mức độ hoàn toàn thẩm mỹ, tôi tìm thấy các định nghĩa var về phương pháp gây nhầm lẫn mọi thứ. Một nơi mà tôi nghĩ rằng rõ ràng là luôn luôn giúp, nó bảo vệ bạn khỏi việc tự chụp mình bằng cách vô tình quay trở lại một loại khiến chữ ký của bạn và một tấn chữ ký phụ thuộc khác thay đổi. Tệ nhất, bạn có khả năng có thể thay đổi tất cả các chữ ký của một chuỗi phương thức mà không hề biết bạn đã làm như vậy nếu bạn trả về giá trị của một phương thức trả về đối tượng và đã may mắn.

Tôi nghĩ rằng phương pháp var còn lại tốt nhất cho các ngôn ngữ động như Ruby

Answer 6

bạn có thể sử dụng trong vs 2010 động

Dynamic getFoo() { 
    return new Foo(); 
}