tham số kiểu Unconstrained đúc

Question

tình hình của tôi:

interface ISomeInterface { 
    void DoSmth<T>(T other); 
} 

class Base : ISomeInterface 
{ 
    public virtual void DoSmth<T>(T other){ 
     // for example do nothing 
    } 
} 

class Derived<T2> : Base { 
    Action<T2> MyAction {get;set;} 

    public override void DoSmth<T>(T other){ 
     if(typeof(T2).IsAssignableFrom(typeof(T))) 
      MyAction((T2) other); 
    } 
} 

này mang lại cho tôi một lỗi: Cannot cast expression of type 'T' to type 'T2' (hoặc Cannot convert type 'T' to 'T2')

Tôi hiểu rằng đó là vì không phải T hoặc T2 thường bị hạn chế với class, nhưng nếu tôi biết - do IsAssignableFrom - rằng tôi có thể sử dụng T khi tôi cần T2, làm thế nào tôi có thể thuyết phục trình biên dịch cho phép nó?

Answer 1

Trình biên dịch sẽ thấy các số nhận dạng T2 và T và thông báo một cách hữu ích cho bạn rằng các loại đó có vẻ không liên quan. Điều đó hoàn toàn chính xác, vì chúng không có quan hệ: không có ràng buộc chung nào có thể khẳng định bất kỳ mối quan hệ nào giữa chúng (tôi không nói điều đó sẽ có ích ở đây mặc dù :)).

Cho dù đây là một tính năng hay không, có thể tranh chấp. Đôi khi tôi muốn nó chỉ là một cảnh báo, nhưng trong hầu hết các trường hợp, nó rất hữu ích để có nó là một lỗi biên dịch. Số lượng phôi như vậy trong các lớp chung là thấp hơn nhiều so với số lỗi chính tả trong mã 'bình thường' :)

Giải pháp rất đơn giản. Chỉ cần lừa trình biên dịch biết gì về loại nguồn, và nó sẽ bỏ qua kiểm tra kiểu hệ thống phân cấp đối với loại địa điểm:

T theTee = ...; 
object temp = (object)theTee; 
T2 teeTwo = (T2)temp; // ok! 'temp' is now seen as 'object' 

hoặc trong một liner:

T2 teeTwo = (T2)(object)theTee; 

tương tự, bạn có thể sử dụng dynamic (nếu nó có sẵn ở phiên bản Net của bạn):

T theTee = ...; 
dynamic temp = theTee; 
T2 teeTwo = temp; 

và oneliner nên làm việc quá:

T2 teeTwo = (dynamic)theTee; 

mặc dù tôi chưa bao giờ thử điều đó vì tôi cho rằng nó nặng hơn đối tượng truyền qua. Tôi đã không kiểm tra hiệu suất của các đối tượng/phương pháp tiếp cận năng động mặc dù. Chỉ là một linh cảm.