Việc mở hộp chung kiểu giá trị đóng hộp

Question

Tôi có một chức năng chung được giới hạn trong cấu trúc. Đầu vào của tôi được đóng hộp ("đối tượng"). Có thể unbox giá trị tại thời gian chạy để tránh phải kiểm tra từng loại có thể và làm các phôi bằng tay?

Xem ví dụ trên:

public struct MyStruct 
    { 
     public int Value; 
    } 

    public void Foo<T>(T test) 
     where T : struct 
    { 
     // do stuff 
    } 

    public void TestFunc() 
    { 
     object o = new MyStruct() { Value = 100 }; // o is always a value type 

     Foo(o); 
    } 

Trong ví dụ này, tôi biết rằng o phải là một struct (tuy nhiên, nó không cần phải được MyStruct ...). Có cách nào để gọi Foo mà không có tấn mã boilerplate để kiểm tra cho mọi loại struct có thể?

Cảm ơn bạn.

Answer 1

.NET Generics được triển khai theo cách cho phép các loại giá trị dưới dạng thông số loại chung mà không phải chịu bất kỳ chi phí boxing/unboxing nào. Bởi vì bạn đang đúc để đối tượng trước khi gọi Foo bạn không tận dụng lợi thế đó, trên thực tế bạn thậm chí không tận dụng lợi thế của generics ở tất cả.

Toàn bộ điểm sử dụng generics ở nơi đầu tiên là thay thế "thành ngữ đối tượng". Tôi nghĩ rằng bạn đang thiếu khái niệm ở đây. Bất kỳ loại nào T xảy ra, nó có sẵn tại thời gian chạy và vì bạn đã hạn chế nó thành cấu trúc được đảm bảo là loại cấu trúc.

TestFunc của bạn có thể được viết như thế này mà không có vấn đề:

public void TestFunc() 
{ 
    MyStruct o = new MyStruct() { Value = 100 }; // o is always a value type 

    Foo<MyStruct>(o); 
} 

Nhìn vào Foo, nó sẽ trông như thế này trong ví dụ của bạn:

public void Foo<T>(T test) 
    where T : struct 
{ 
    T copy = test; // T == MyStruct 
} 

EDIT:

Ok, vì OP làm rõ những gì ông muốn gọi phương pháp chung chung nhưng không biết loại cấu trúc của mình (nó chỉ là đối tượng). Cách dễ nhất để gọi phương thức chung của bạn với tham số kiểu đúng là sử dụng một chút phản ánh.

public void TestFunc() 
{ 
    object o = new DateTime(); 

    MethodInfo method = this.GetType().GetMethod("Foo"); 
    MethodInfo generic = method.MakeGenericMethod(o.GetType()); 
    generic.Invoke(this, new object[] {o}); 


} 
public void Foo<T>(T test) 
    where T : struct 
{ 
    T copy = test; // T == DateTime 
} 

Answer 2

Không; bạn đang sử dụng object, nghĩa là (theo định nghĩa) không phải là loại cấu trúc/giá trị. Tại sao bạn cố ý đấm bốc giá trị theo cách này?

Answer 3

Toàn bộ điểm sử dụng Generics là tránh những tình huống như thế này.

Khi bạn thực sự "đóng" chung chung với một loại cấu trúc, bạn loại bỏ sự cần thiết phải kiểm tra kiểu thời gian chạy: tức là.

Foo<MyStruct>(MyStruct test); 

Triển khai Foo của bạn, có thể giả định rằng nó đang xử lý cấu trúc.

Answer 4

(Được đánh dấu là CW vì bạn không thể chuyển trường hợp ValueType đến yêu cầu chung là struct nhưng có thể hữu ích cho những người khác gặp phải câu hỏi này).

---

Thay vì tuyên bố o như một object, bạn có thể sử dụng một loại System.ValueType, mà chỉ có thể được gán struct giá trị; bạn không thể lưu trữ object trong số ValueType.

Tuy nhiên, tôi thành thật không chắc chắn liệu điều đó có làm bất kỳ điều gì về (un) quyền anh hay không. Lưu ý rằng ECMA-334 11.1.1 nói:

System.ValueType không phải là một loại giá trị. Thay vào đó, nó là một loại lớp mà từ đó tất cả các loại giá trị được tự động bắt nguồn.

Answer 5

Tôi không biết chính xác những gì bạn đang cố gắng để archieve, nhưng bạn có thể vượt qua một đại biểu/lambda để Unbox giá trị, và chọn một số giá trị trong struct bạn quan tâm:

(Cập nhật ngày đoạn mã này sau khi bình luận slurmomatics)

public void Foo<TValue>(object test, Func<object, TValue> ValueSelector) 
      where TValue : struct 
{ 
    TValue value = ValueSelector(test); 

    // do stuff with 'value' 
} 

public void TestFunc() 
{ 
    object o = new MyStruct() { Value = 100 }; 

    // Do the unboxing in the lambda. 
    // Additionally you can also select some 
    // value, if you need to, like in this example 
    Foo(o, x => ((MyStruct)x).Value); 
} 

cập nhật:

Sau đó, làm điều này:

public static void Foo<TUnboxed>(object test) 
        where TUnboxed : struct 
{ 
    try 
    { 
     TUnboxed unboxed = (TUnboxed)test; 
    } 
    catch (InvalidCastException ex) 
    { 
     // handle the exception or re-throw it... 
     throw ex; 
    } 

    // do stuff with 'unboxed' 
} 

public void TestFunc() 
{ 
    // box an int 
    object o = 100; 

    // Now call foo, letting it unbox the int. 
    // Note that the generic type can not be infered 
    // but has to be explicitly given, and has to match the 
    // boxed type, or throws an `InvalidCastException` 
    Foo<int>(o); 
}