Có thể trong C# để quá tải một toán tử cast chung theo cách sau không?

Question

Chỉ cần tự hỏi nếu có anyway để đại diện cho đoạn mã sau trong C# 3.5:

public struct Foo<T> { 

    public Foo(T item) { 
     this.Item = item; 
    } 

    public T Item { get; set; } 

    public static explicit operator Foo<U> (Foo<T> a) 
     where U : T { 

     return new Foo<U>((U)a.Item) 
    } 
} 

Cảm ơn

Answer 1

Toán tử chuyển đổi không thể là chung chung. Từ phần đặc tả 10.10, đây là định dạng của một chuyển đổi-hành-declarator:

conversion-operator-declarator: 
    implicit operator type ( type identifier ) 
    explicit operator type ( type identifier )

Hãy so sánh điều này với, chẳng hạn, một phương pháp-header:

phương pháp-header : thuộc tính _chọn phương pháp sửa đổi _chọn phần _opt trở lại kiểu viên tên tuổi kiểu tham số-list _opt ( chính thức tham số-list _opt) kiểu tham số trở ngại-khoản _{chọn số}

(Xin lỗi về định dạng - không chắc chắn cách đặt cược ter.)

Lưu ý rằng định dạng toán tử không bao gồm danh sách tham số kiểu hoặc nhập ràng buộc tham số.

Answer 2

Mã của bạn nắm để dòng: return new Foo<U>((U)a.Item)

đâu bạn cố gắng gán một baseclass để một lớp kế thừa, điều không thể.

Giả sử T (lớp cơ sở) thuộc loại Stream và U là loại MemoryStream (lớp kế thừa), bạn không thể gán Stream cho biến loại MemoryStream.

Answer 3

Tôi nghĩ câu trả lời ngắn gọn là "Không thể. Hãy thử sử dụng một phương pháp thay vì"

Cũng có vẻ là dupe của câu hỏi này Solution for overloaded operator constraint in .NET generics

Answer 4

Dường như bạn muốn có một chuyển đổi contravariant, nhưng struct s không thay đổi, chuyển đổi không mua cho bạn gì cả, bạn có thể chỉ cần nói new Foo<U>((U)a.Item) như @Gidon đã chỉ ra.

Nếu bạn coi thay đổi Foo trở thành một lớp, sau đó chúng ta có thể làm cho một số khác biệt:

public interface IFoo<in T> { 
    T Item { 
     set; 
    } 
} 

public class Foo<T>:IFoo<T> { 
    public Foo(T item) { 
     this.Item=item; 
    } 

    public T Item { 
     get; set; 
    } 

    // public static explicit operator Foo<U>(U a) { 
    // return new Foo<U>((U)a.Item); 
    // } 
} 

và sử dụng nó như:

var foo = new Foo<object>(new object { }); 
IFoo<String> bar = foo; 
bar.Item="123"; 
var b = Object.ReferenceEquals(foo, bar); // true 

Bằng cách này, khác biệt trong giao diện chung là chỉ khả dụng từ .netfx 4.0.