C # jeneriklerinde geçersiz?

İstek alan ve yanıt veren genel bir yöntemim var.

public Tres DoSomething<Tres, Treq>(Tres response, Treq request)
{/*stuff*/}

Ancak isteğim için her zaman bir yanıt istemiyorum ve bir yanıt almak için her zaman istek verilerini beslemek istemiyorum. Ayrıca küçük değişiklikler yapmak için yöntemleri bütünüyle kopyalayıp yapıştırmak zorunda kalmak istemiyorum. İstediğim, bunu yapabilmek:

public Tre DoSomething<Tres>(Tres response)
{
    return DoSomething<Tres, void>(response, null);
}

Bu bir şekilde uygulanabilir mi? Görünüşe göre özellikle void kullanmak işe yaramıyor, ancak benzer bir şey bulmayı umuyorum.

Kullanamazsınız void, ancak kullanabilirsiniz object: bu biraz rahatsızlıktır çünkü olası voidişlevlerinizin geri dönmesi gerekir null, ancak kodunuzu birleştirirse, ödenmesi gereken küçük bir bedel olmalıdır.

voidBir iade türü olarak kullanılamaması , jenerik delegelerin Func<...>ve Action<...>aileleri arasındaki bölünmeden en azından kısmen sorumludur : geri dönmek mümkün olsaydı void, hepsi Action<X,Y,Z>basitleşirdi Func<X,Y,Z,void>. Maalesef bu mümkün değil.

Hayır, ne yazık ki hayır. void"Gerçek" bir tip olsaydı (örneğin unitF # 'da olduğu gibi) hayat birçok yönden çok daha basit olurdu. Özellikle, hem gerek olmazdı Func<T>ve Action<T>sadece orada olurdu - ailelerini Func<void>yerine Action, Func<T, void>yerine Action<T>vs.

Aynı zamanda eşzamansızlığı daha basit hale getirirdi - jenerik olmayan türe hiç gerek kalmazdı Task- bizde olurduk Task<void>.

Ne yazık ki, C # veya .NET tipi sistemlerin çalışma şekli bu değil ...

İşte yapabilecekleriniz. @JohnSkeet'in dediği gibi C # 'da birim türü yoktur, bu yüzden kendiniz yapın!

public sealed class ThankYou {
   private ThankYou() { }
   private readonly static ThankYou bye = new ThankYou();
   public static ThankYou Bye { get { return bye; } }
}

Artık Func<..., ThankYou>bunun yerine her zaman kullanabilirsinizAction<...>

public ThankYou MethodWithNoResult() {
   /* do things */
   return ThankYou.Bye;
}

Veya Rx ekibi tarafından önceden yapılmış bir şeyi kullanın: http://msdn.microsoft.com/en-us/library/system.reactive.unit%28v=VS.103%29.aspx

ObjectBaşkalarının önerdiği gibi kullanabilirsiniz . Ya Int32da bazı kullanım gördüğüm. Kullanmak Int32bir "sahte" sayı (kullanım 0) getirir, ancak en azından herhangi bir büyük ve egzotik nesneyi bir Int32referansa koyamazsınız (yapılar mühürlenmiştir).

Kendi "void" türünüzü de yazabilirsiniz:

public sealed class MyVoid
{
  MyVoid()
  {
    throw new InvalidOperationException("Don't instantiate MyVoid.");
  }
}

MyVoidreferanslara izin verilir (bu statik bir sınıf değildir) ancak yalnızca olabilir null. Örnek kurucu özeldir (ve birisi bu özel kurucuyu yansıtma yoluyla çağırmaya çalışırsa, onlara bir istisna atılır).

Değeri demetler tanıtıldı yana (2017, .NET 4.7), kullanımı belki doğal yapıValueTuple yerine, örneğin a (0-tuple, genel olmayan varyant) MyVoid. Örneğinde ToString()dönen bir o vardır "()", bu nedenle sıfır demeti gibi görünür. Mevcut C # sürümünden itibaren, ()bir örnek almak için koddaki belirteçleri kullanamazsınız . Bunun yerine default(ValueTuple)veya just default(tür bağlamdan çıkarıldığında) kullanabilirsiniz.

Aleksey Bykov'un yukarıdaki fikrini beğendim, ancak biraz basitleştirilebilir

public sealed class Nothing {
    public static Nothing AtAll { get { return null; } }
}

Nothing.AtAll neden hiçbir açık neden görmediğim için boş veremez

Aynı fikir (veya Jeppe Stig Nielsen'in fikri), tiplenmiş sınıflarla kullanım için de harika.

Örneğin, tür yalnızca bir yönteme / yönteme bağımsız değişken olarak iletilen bir yordam / işleve ilişkin bağımsız değişkenleri tanımlamak için kullanılıyorsa ve kendisi herhangi bir bağımsız değişken almazsa.

(Yine de ya sahte bir sarmalayıcı yapmanız ya da isteğe bağlı bir "Hiçbir Şey" e izin vermeniz gerekecek. Ancak IMHO, sınıfın kullanımı myClass <Nothing> ile güzel görünüyor)

void myProcWithNoArguments(Nothing Dummy){
     myProcWithNoArguments(){
}

veya

void myProcWithNoArguments(Nothing Dummy=null){
    ...
}

voidbir tür olsa da, yalnızca bir yöntemin dönüş türü olarak geçerlidir.

Bu sınırlamayı aşmanın yolu yok void.

Şu anda yaptığım şey, özel oluşturucu ile özel mühürlü türler oluşturmaktır. Bu, c-tor'a istisnalar atmaktan daha iyidir çünkü durumun yanlış olduğunu anlamak için çalışma zamanına kadar beklemeniz gerekmez. Statik bir örnek döndürmekten ince bir şekilde daha iyidir çünkü bir kez bile ayırmanız gerekmez. Çağrı tarafında daha az ayrıntılı olduğundan statik boş döndürmekten biraz daha iyidir. Arayanın yapabileceği tek şey boş vermektir.

public sealed class Void {
    private Void() { }
}

public sealed class None {
    private None() { }
}