Tại sao lệnh kiểm tra trong Tuple <T1... TRest> không bị hạn chế?

Question

Trong Tuple, nếu bạn có nhiều hơn 7 mục, bạn có thể cung cấp mục thứ 8 là một bộ khác và xác định tối đa 7 mục và sau đó là một bộ khác làm thứ 8 và trên và trên xuống dòng. Tuy nhiên, không có ràng buộc về mục thứ 8 tại thời gian biên dịch. Ví dụ: đây là mã pháp lý cho trình biên dịch:

var tuple = new Tuple<int, int, int, int, int, int, int, double> 
       (1, 1, 1, 1, 1, 1, 1, 1d); 

Mặc dù tài liệu intelliSense nói rằng TREST phải là Tuple. Bạn không nhận được bất kỳ lỗi nào khi viết hoặc xây dựng mã, nó không biểu hiện cho đến khi chạy theo dạng của một ArgumentException.

Bạn có thể khoảng triển khai một Tuple sau vài phút, hoàn thành với mục thứ 8 bị ràng buộc bởi Tuple. Tôi chỉ tự hỏi tại sao nó lại được thực hiện hiện tại? Có thể đó là vấn đề tương thích về phía trước, nơi họ có thể thêm nhiều yếu tố hơn với giả thuyết C# 5?

phiên bản ngắn của thô thực hiện

interface IMyTuple { } 

class MyTuple<T1> : IMyTuple 
{ 
    public T1 Item1 { get; private set; } 
    public MyTuple(T1 item1) { Item1 = item1; } 
} 

class MyTuple<T1, T2> : MyTuple<T1> 
{ 
    public T2 Item2 { get; private set; } 
    public MyTuple(T1 item1, T2 item2) : base(item1) { Item2 = item2; } 
} 

class MyTuple<T1, T2, TRest> : MyTuple<T1, T2> where TRest : IMyTuple 
{ 
    public TRest Rest { get; private set; } 
    public MyTuple(T1 item1, T2 item2, TRest rest) 
     : base(item1, item2) 
    { 
     Rest = rest; 
    } 
} 

...

var mytuple = new MyTuple<int, int, MyTuple<int>> 
       (1, 1, new MyTuple<int>(1)); // legal 
var mytuple2 = new MyTuple<int, int, int>(1, 2, 3); // illegal at compile time 

Answer 1

Các giả thuyết ITuple hạn chế sẽ không thực sự hạn chế đó là một tuple [1], sẽ nó ? Chỉ là một lớp thực hiện ITuple.

[1] - Tôi đang xác định "tuple" là một trong các lớp học Tuple<> do BCL cung cấp.

Answer 2

Đó là một hạn chế của hệ thống kiểu. ITuple là giao diện nội bộ. Nếu nó là một ràng buộc chung chung, nó sẽ cần phải được công khai, sau đó sẽ cho phép mọi người thực hiện ITuple của riêng mình mà không thể có bất cứ điều gì để làm với tuples. Việc giới hạn nó vào bên trong cho phép đội ngũ BCL đảm bảo rằng nó thực sự là một loại tuple, nhưng kết quả là an toàn hơn một chút so với thời gian biên dịch có thể.