Làm thế nào để trình biên dịch C# suy ra các kiểu generic?

Question

tôi có phương pháp sau đây:

public TResult Get<TGenericType, TResult>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Ngay bây giờ, một người sử dụng của phương pháp này có sử dụng nó như thế này:

//Notice the duplicate int type specification 
int number = Get<SomeGenericType<int>, int>(); 

Tại sao tôi phải chỉ rõ TResult trong phương pháp defintion? Trình biên dịch đã biết TResult kể từ khi tôi chỉ định nó trong TGenericType. Lý tưởng nhất (nếu biên dịch C# là một thông minh hơn chút), phương pháp của tôi sẽ trông như thế này:

public TResult Get<TGenericType>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Vì vậy, người dùng chỉ đơn giản là có thể sử dụng nó như thế này:

//Much cleaner 
int number = Get<SomeGenericType<int>>(); 

Có cách nào để làm tôi muốn làm gì?

Answer 1

Đặc tả C# không cho phép phỏng đoán một nửa đối số kiểu. Bạn nên cho trình biên dịch suy ra tất cả các đối số kiểu (không phải lúc nào cũng áp dụng được, như trong trường hợp của bạn) hoặc chỉ định tất cả chúng một cách thủ công.

CẬP NHẬT (trả lời nhận xét): Trong khi tôi không thuộc nhóm C# để đưa ra câu trả lời tuyệt đối cho câu hỏi của bạn, suy đoán của tôi là độ phức tạp của độ phân giải quá tải. nếu bạn đọc phần đó của đặc tả C#) sẽ tăng đáng kể nếu họ muốn cho phép một nửa các loại được phỏng đoán và một nửa không (đặc biệt là xem xét thực tế là bạn có thể quá tải các phương thức chỉ bằng số đối số chung).

Answer 2

Nó phụ thuộc ...

Nếu bạn chỉ sử dụng SomeGenericType<TResult>, bạn có thể làm:

public TResult Get<TResult>() where TResult : IConvertible { 
    SomeGenericType<TResult> myInstance = ... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Không nhất thiết phải là một cách để đưa các loại đầu tiên trong đó, trong trường hợp này . Vì ví dụ của bạn không chuyển thành một tham số SomeGenericType<TResult> một cách rõ ràng như một tham số, nên nó cho thấy điều này là có thể.

Nếu không, bạn cần xác định hoàn toàn tất cả đối số chung của mình. Thật không may, đó chỉ là cách nó là trong C#.