Yapı değeri bir arabirim değeri olarak geçerken nasıl bokstan kurtulabilirim?

Question

Arabirim (I) bir referans türüdür, struct (S) bir değer türüdür. Yapılar arayüzleri uygulayabilir.

public interface I {} 
struct S: I {} 

bu kutu gereken Bu durumda, I, bir değişken olarak bir yönteme geçirilen bir S değeri vardır varsayalım.

void Method(I i) {} 

void Test() { 
    var s = new S(); 
    this.Method(s); // <---- boxing! 
} 

Bu durumda bokstan kurtulmanın bir yolu var mı?

Answer 1

size Method tanımını değiştirirseniz Boksu önleyebilirsiniz:

void Method<T>(T i) where T : I 
{ 
} 

zamanında CLR jenerik argüman (lar) türüne göre genel yöntemler uzmanlaşmış çünkü bu, boks önler. Referans türlerinin hepsi aynı uygulamayı paylaşabilirken, yapı türleri her birinin kendi versiyonunu alır. Bu, T numaralı Method'daki tüm işlemlerin, beton yapı türünün boyutunu dikkate alacağı anlamına gelir.

sanal yöntem sevk beri kutulu edilecek i neden olacaktır Equals veya GetHashCode gibi System.Object tanımlanan sanal yöntemleri çağırmadan beri Ancak dikkatli olmalı JIT bazı statik sevk yapmak mümkün olabilir rağmen (bir yöntem tablo işaretçisi gerektirir

durumlar). Bununla birlikte, yapınızın türü, söz konusu sanal yöntemi/yöntemleri geçersiz kılarsa, yapmanın (ve dolayısıyla üyelerinin) mühürlendiğinden, çağrılacak yöntem tekrar statik olarak bilindiğinden, kutunun yapılması gerekmeyecektir. Genellikle

doğrudan IEquatable<T> uygulamak için ayrıca T kısıtlayıcı ve örneğin karşılaştırmalar için bir IEqualityComparer<T> kullanarak Equals veya GetHashCode arayarak önleyebilirsiniz

void Method<T>(T i) where T : I, IEquatable<T> 
{ 
    T other = ... 
    if(i.Equals(other)) //avoids boxing 
    { 
    } 
} 

Answer 2

Kullanım jenerik:

public interface I {} 
pubic struct S : I {} 
public class Foo 
{ 
    public static void Bar<T>(T i) 
     where T : I 
    {} 
}