Tại sao cuộc gọi này trở nên mơ hồ?

Question

Bất cứ ai có thể giải thích, tại sao mã sau tạo lỗi? (Biên soạn trong Microsoft Visual Studio 2008)

class Base1 { }; 
class Base2 { } 

interface I1 { } 
interface I2 { } 

class C : I1, I2 { } 

static class Program 
{ 

    static T M1<T>(this T t, I1 x) where T : Base1 
    { 
     return t; 
    } 

    static T M1<T>(this T t, I2 x) where T : Base2 
    { 
     return t; 
    } 

    static void Main(string[] args) 
    { 
     Base1 b1 = new Base1(); 
     C c = new C(); 
     b1.M1(c); 
    } 
} 

lỗi là

Cuộc gọi là mơ hồ giữa các phương thức hoặc thuộc tính sau: 'ConsoleApplication1.Program.M1<ConsoleApplication1.Base1>(ConsoleApplication1.Base1, ConsoleApplication1.I1)' và 'ConsoleApplication1.Program.M1<ConsoleApplication1.Base1>(ConsoleApplication1.Base1, ConsoleApplication1.I2)'

tôi nghĩ rằng trình biên dịch có thể phân biệt giữa hai phương pháp sử dụng mệnh đề "where"

Answer 1

Ràng buộc không phải là một phần của chữ ký cho các phương pháp và do đó không được sử dụng để giải quyết.

Answer 2

Ràng buộc không phải là một phần của chữ ký. Để biết chi tiết, hãy xem Eric Lippert article on the topic.

Answer 3

Không thể sử dụng hạn chế để giải quyết liên kết.