Tại sao có một ràng buộc () mới trong C # nhưng không có ràng buộc tương tự nào khác?

Trong thế hệ C #, chúng ta có thể khai báo một ràng buộc cho một tham số loại Tđể có một hàm tạo mặc định, bằng cách nói where T : new(). Tuy nhiên, không có loại ràng buộc nào khác như thế này là hợp lệ - new(string)ví dụ, v.v.

Từ một thiết kế ngôn ngữ và / hoặc quan điểm thực hiện, lý do cho điều này là gì?

Có một cái gì đó trong cách các nhà xây dựng làm việc hoặc theo cách hệ thống loại được triển khai mà cấm điều này (hoặc ít nhất là làm cho nó khó hơn)? Nếu vậy, nó là cái gì? Tôi nhớ lại việc đọc ở đâu đó mà default(T)thực sự biên dịch new T()cho T : struct. Có liên quan đến điều này, có thể?

Hay nó chỉ đơn giản là một quyết định thiết kế được đưa ra để tránh làm cho ngôn ngữ quá phức tạp?

Đối với câu trả lời có thẩm quyền, tôi sẽ giới thiệu cho bạn câu trả lời của Eric Lippert cho câu hỏi đó trên StackOverflow vài năm trước, một đoạn trích được trích dẫn ngắn gọn dưới đây.

Tuy nhiên, trong trường hợp cụ thể này, tôi chắc chắn có thể cung cấp cho bạn một số lý do tại sao tôi sẽ đẩy lùi tính năng này nếu nó xuất hiện trong một cuộc họp thiết kế như một tính năng có thể có cho phiên bản ngôn ngữ trong tương lai.

...

Tôi nói rằng chúng ta nên làm toàn bộ tính năng hoặc không làm gì cả. Nếu điều quan trọng là có thể hạn chế các loại để có các hàm tạo cụ thể, thì hãy thực hiện toàn bộ tính năng và hạn chế các loại trên cơ sở các thành viên nói chung chứ không chỉ các hàm tạo.

Dịch ngược (theo gợi ý của Robert Harvey) mang lại những điều sau đây, cho bất kỳ ai quan tâm. Phương pháp này:

static T GenericMake<T>()
    where T : new()
{
    return new T();
}

Rõ ràng, khi được biên dịch, trở thành thế này:

private static T GenericMake<T>()
    where T : new()
{
    T t;
    T t1 = default(T);
    if (t1 == null)
    {
        t = Activator.CreateInstance<T>();
    }
    else
    {
        t1 = default(T);
        t = t1;
    }
    return t;
}

• Nếu Tlà một loại giá trị, new()trở thành default(T).
• Nếu Tlà một loại tham chiếu, new()hoạt động bằng cách sử dụng sự phản chiếu. Activator.CreateInstance()cuộc gọi nội bộ RuntimeType.CreateInstanceDefaultCtor().

Vì vậy, đó là - bên trong, các hàm tạo mặc định thực sự đặc biệt đối với C # liên quan đến CLR. Cung cấp cho các nhà xây dựng khác việc điều trị tương tự sẽ rất tốn kém, ngay cả khi có một số trường hợp sử dụng hợp lệ cho các ràng buộc phức tạp hơn trong thuốc generic.