値型/参照型制約はいつC＃で役に立ちますか？

Question

私は値型/参照型制約が有用であることを示す簡単な例を探しています。

... where T : struct // when is this useful? 
... where T : class // and what about this? 

私は過去にいくつかの素晴らしい例を見て覚えていますが、私はそれらを見つけることができません。

Answer 1

T:classの場合は、Tのas演算子を使用できます。

TがT:structの場合、Tとnullとを比較することは禁じられています。

T:classを省略すると、Tが値型の場合でもTとnullを比較できます。

[注：この記事を正しく編集するには、この記事を数回編集する必要がありました。少なくとも今は正しいと思います。]

Answer 2

"T：class"は、指定されたジェネリック型を強制的に値ではなくクラスにします。これは、そうでない場合は強制力ではないかもしれませんあなたのジェネリック型Tの不変を強制

class ObjectList<T> where T : class { 
    ... 
} 

class SomeObject { ... } 

ObjectList<int> invalidList = new ObjectList<int>(); //compiler error 

ObjectList<SomeObject> someObjectList = new ObjectList<SomeObject>(); //this works 

：たとえば、私たちはクラスではなく、値に指定されたジェネリック型を必要とObjectListクラスを作ることができます。 "T：struct"は同じように動作します。この構文を使用して、タイプTがクラスであることだけでなく、それがインターフェイスに一致することを強制することもできます。私がこれを取りに行ったコードサンプルは、Tもクラスであり、かつIEntityであることを強制するものです。

Answer 3

私が発見した主な有用性は、マーシャリングとメモリ内のオブジェクトの固定にあります。

例えば、私は自動変換できない内部構造に多くの作業を行う、またはバイトストリームとしてワイヤーを下されているので、私はこのヘルパーを書いた：

public static T PinAndCast<T>(this Array o) where T : struct 
{ 
    var handle = System.Runtime.InteropServices.GCHandle.Alloc(o, GCHandleType.Pinned); 
    T result = (T)Marshal.PtrToStructure(handle.AddrOfPinnedObject(), typeof(T)); 
    handle.Free(); 
    return result; 
}