Null yapılabilir her şey için C # genel tür kısıtlaması

Bu yüzden bu sınıfa sahibim:

public class Foo<T> where T : ???
{
    private T item;

    public bool IsNull()
    {
        return item == null;
    }

}

Şimdi, olabilecek her şeyi tür parametresi olarak kullanmama izin veren bir tür kısıtlaması arıyorum null. Bu, tüm Nullable( T?) türlerinin yanı sıra tüm referans türleri anlamına gelir :

Foo<String> ... = ...
Foo<int?> ... = ...

mümkün olmalıdır.

Kullanılması classtür kısıtlaması sadece bana referans türlerini kullanmak için imkanı verir.

Ek Bilgi: Bir boru ve filtre uygulaması yazıyorum nullve boru hattına geçen son öğe olarak bir referans kullanmak istiyorum , böylece her filtre güzelce kapanabilir, temizlik yapabilir, vb ...

Derleme zamanı denetimi yerine Foo'nun yapıcısında çalışma zamanı denetimi yapmaya istekliysen, türün başvuru veya null atanabilir tür olup olmadığını kontrol edebilir ve durum buysa bir istisna atabilirsin.

Yalnızca bir çalışma zamanı kontrolüne sahip olmanın kabul edilemez olabileceğinin farkındayım, ancak her ihtimale karşı:

public class Foo<T>
{
    private T item;

    public Foo()
    {
        var type = typeof(T);

        if (Nullable.GetUnderlyingType(type) != null)
            return;

        if (type.IsClass)
            return;

        throw new InvalidOperationException("Type is not nullable or reference type.");
    }

    public bool IsNull()
    {
        return item == null;
    }
}

Ardından aşağıdaki kod derlenir, ancak sonuncusu ( foo3) yapıcıda bir istisna atar:

var foo1 = new Foo<int?>();
Console.WriteLine(foo1.IsNull());

var foo2 = new Foo<string>();
Console.WriteLine(foo2.IsNull());

var foo3= new Foo<int>();  // THROWS
Console.WriteLine(foo3.IsNull());

Genelde OR ile eşdeğerini nasıl uygulayacağımı bilmiyorum . Ancak, null atanabilir türler için null ve yapılar için 0 değeri oluşturmak için varsayılan anahtar sözcüğü kullanmayı önerebilirim :

public class Foo<T>
{
    private T item;

    public bool IsNullOrDefault()
    {
        return Equals(item, default(T));
    }
}

Ayrıca Nullable sürümünüzü de uygulayabilirsiniz:

class MyNullable<T> where T : struct
{
    public T Value { get; set; }

    public static implicit operator T(MyNullable<T> value)
    {
        return value != null ? value.Value : default(T);
    }

    public static implicit operator MyNullable<T>(T value)
    {
        return new MyNullable<T> { Value = value };
    }
}

class Foo<T> where T : class
{
    public T Item { get; set; }

    public bool IsNull()
    {
        return Item == null;
    }
}

Misal:

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(new Foo<MyNullable<int>>().IsNull()); // true
        Console.WriteLine(new Foo<MyNullable<int>> {Item = 3}.IsNull()); // false
        Console.WriteLine(new Foo<object>().IsNull()); // true
        Console.WriteLine(new Foo<object> {Item = new object()}.IsNull()); // false

        var foo5 = new Foo<MyNullable<int>>();
        int integer = foo5.Item;
        Console.WriteLine(integer); // 0

        var foo6 = new Foo<MyNullable<double>>();
        double real = foo6.Item;
        Console.WriteLine(real); // 0

        var foo7 = new Foo<MyNullable<double>>();
        foo7.Item = null;
        Console.WriteLine(foo7.Item); // 0
        Console.WriteLine(foo7.IsNull()); // true
        foo7.Item = 3.5;
        Console.WriteLine(foo7.Item); // 3.5
        Console.WriteLine(foo7.IsNull()); // false

        // var foo5 = new Foo<int>(); // Not compile
    }
}

"Nullable" (referans türleri veya Nullable'lar) alabilen genel bir statik yöntem isteyen daha basit bir durum için bu sorunla karşılaştım, bu da beni tatmin edici bir çözüm olmadan bu soruya getirdi. Bu yüzden, basitçe iki aşırı yüklenmiş yönteme sahip olarak çözülmesi OP'nin belirttiği sorudan nispeten daha kolay olan kendi çözümümü buldum, biri a alan Tve kısıtlamaya sahip, where T : classdiğeri a T?ve sahip olan where T : struct.

Daha sonra, kurucuyu özel (veya korumalı) yaparak ve statik bir fabrika yöntemi kullanarak derleme zamanında kontrol edilebilen bir çözüm oluşturmak için çözümün bu soruna da uygulanabileceğini fark ettim:

    //this class is to avoid having to supply generic type arguments 
    //to the static factory call (see CA1000)
    public static class Foo
    {
        public static Foo<TFoo> Create<TFoo>(TFoo value)
            where TFoo : class
        {
            return Foo<TFoo>.Create(value);
        }

        public static Foo<TFoo?> Create<TFoo>(TFoo? value)
            where TFoo : struct
        {
            return Foo<TFoo?>.Create(value);
        }
    }

    public class Foo<T>
    {
        private T item;

        private Foo(T value)
        {
            item = value;
        }

        public bool IsNull()
        {
            return item == null;
        }

        internal static Foo<TFoo> Create<TFoo>(TFoo value)
            where TFoo : class
        {
            return new Foo<TFoo>(value);
        }

        internal static Foo<TFoo?> Create<TFoo>(TFoo? value)
            where TFoo : struct
        {
            return new Foo<TFoo?>(value);
        }
    }

Şimdi bunu şu şekilde kullanabiliriz:

        var foo1 = new Foo<int>(1); //does not compile
        var foo2 = Foo.Create(2); //does not compile
        var foo3 = Foo.Create(""); //compiles
        var foo4 = Foo.Create(new object()); //compiles
        var foo5 = Foo.Create((int?)5); //compiles

Parametresiz bir kurucu istiyorsanız, aşırı yükleme nezaketini elde edemezsiniz, ancak yine de şöyle bir şey yapabilirsiniz:

    public static class Foo
    {
        public static Foo<TFoo> Create<TFoo>()
            where TFoo : class
        {
            return Foo<TFoo>.Create<TFoo>();
        }

        public static Foo<TFoo?> CreateNullable<TFoo>()
            where TFoo : struct
        {
            return Foo<TFoo?>.CreateNullable<TFoo>();
        }
    }

    public class Foo<T>
    {
        private T item;

        private Foo()
        {
        }

        public bool IsNull()
        {
            return item == null;
        }

        internal static Foo<TFoo> Create<TFoo>()
            where TFoo : class
        {
            return new Foo<TFoo>();
        }

        internal static Foo<TFoo?> CreateNullable<TFoo>()
            where TFoo : struct
        {
            return new Foo<TFoo?>();
        }
    }

Ve bunu şu şekilde kullanın:

        var foo1 = new Foo<int>(); //does not compile
        var foo2 = Foo.Create<int>(); //does not compile
        var foo3 = Foo.Create<string>(); //compiles
        var foo4 = Foo.Create<object>(); //compiles
        var foo5 = Foo.CreateNullable<int>(); //compiles

Bu çözümün birkaç dezavantajı vardır, bunlardan biri, nesneleri oluşturmak için 'yeni'yi kullanmayı tercih edebilirsiniz. Başka Kullanmak mümkün olmayacak olmasıdır Foo<T>gibi bir şey bir tür kısıtlaması için genel tür bağımsız değişken olarak: where TFoo: new(). Son olarak, burada ihtiyacınız olan ve özellikle birden fazla aşırı yüklenmiş kurucuya ihtiyacınız varsa artacak olan fazladan kod bitidir.

Belirtildiği gibi, bunun için derleme zamanı kontrolüne sahip olamazsınız. .NET'teki genel kısıtlamalar ciddi ölçüde eksiktir ve çoğu senaryoyu desteklemez.

Ancak bunun çalışma zamanı denetimi için daha iyi bir çözüm olduğunu düşünüyorum. Her ikisi de sabit oldukları için JIT derleme zamanında optimize edilebilir.

public class SomeClass<T>
{
    public SomeClass()
    {
        // JIT-compile time check, so it doesn't even have to evaluate.
        if (default(T) != null)
            throw new InvalidOperationException("SomeClass<T> requires T to be a nullable type.");

        T variable;
        // This still won't compile
        // variable = null;
        // but because you know it's a nullable type, this works just fine
        variable = default(T);
    }
}

Böyle bir tür kısıtlaması mümkün değildir. Tür kısıtlamalarının belgelerine göre, hem null yapılabilir hem de başvuru türlerini yakalayan kısıtlama yoktur. Kısıtlamalar yalnızca bir bağlantılı olarak birleştirilebildiğinden, böyle bir kısıtlamayı kombinasyonla yaratmanın bir yolu yoktur.

Bununla birlikte, ihtiyaçlarınız için bir kısıtlama türü parametresine geri dönebilirsiniz, çünkü her zaman == null'u kontrol edebilirsiniz. Tür bir değer türü ise, kontrol her zaman yanlış olarak değerlendirilir. Ardından, anlambilim sizin için doğru olduğu sürece kritik olmayan "Değer türünün null ile olası karşılaştırması" R # uyarısını alırsınız.

Bir alternatif kullanmak olabilir

object.Equals(value, default(T))

null kontrol yerine, varsayılan (T) olduğundan, burada T: class her zaman boştur. Ancak bu, null yapılamayan bir değerin hiçbir zaman açıkça ayarlanmadığı veya yalnızca varsayılan değerine ayarlandığı hava durumunu ayırt edemeyeceğiniz anlamına gelir.

kullanırım

public class Foo<T> where T: struct
{
    private T? item;
}

    public class Foo<T>
    {
        private T item;

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

        public bool IsNull()
        {
            return object.Equals(item, null);
        }
    }

    var fooStruct = new Foo<int?>(3);
        var b = fooStruct.IsNull();

        var fooStruct1 = new Foo<int>(3);
        b = fooStruct1.IsNull();

        var fooStruct2 = new Foo<int?>(null);
        b = fooStruct2.IsNull();

        var fooStruct3 = new Foo<string>("qqq");
        b = fooStruct3.IsNull();

        var fooStruct4 = new Foo<string>(null);
        b = fooStruct4.IsNull();