Bu neden derlenmiyor?

int? number = true ? 5 : null;

'İnt' ve <null> arasında örtük dönüşüm olmadığından koşullu ifade türü belirlenemiyor

Spesifikasyon (§7.14), koşullu ifade için b ? x : y, üç olasılık olduğunu xve yher ikisinin de bir türü olduğunu ve belirli iyi koşulların karşılandığını, sadece bir tanesinin xve ybir türünün olduğunu ve belirli iyi koşulların karşılandığını veya derleme zamanı hatası olduğunu söylüyor. oluşur. Burada, "belirli iyi koşullar", aşağıdaki ayrıntılara gireceğimiz belirli dönüşümlerin mümkün olduğu anlamına gelir.

Şimdi, spesifikasyonun alman kısmına bakalım:

Yalnızca biri xve ytürü varsa ve her ikisi de xve ydolaylı olarak bu türe dönüştürülebilirse, bu koşullu ifadenin türüdür.

Burada mesele şu ki

int? number = true ? 5 : null;

koşullu sonuçlardan yalnızca birinin bir türü vardır. İşte xbir olan intedebi ve yolduğu nullyok ki değil bir türü var ve nullörtük bir dönüştürülebilir değildir int¹ . Bu nedenle, "belirli iyi koşullar" karşılanmaz ve derleme zamanı hatası oluşur.

Orada olan bu yaklaşık iki yolu vardır:

int? number = true ? (int?)5 : null;

Burada hala sadece bir tanesinin xve ytipinin olduğu bir durumdayız . Not o null hala bir türü yok henüz derleyici çünkü bu konuda herhangi bir sorun olmayacak (int?)5ve nullher ikisi örtük olarak dönüştürülebilir olan int?(§6.1.4 ve §6.1.5).

Diğer yol ise açıktır:

int? number = true ? 5 : (int?)null;

ama şimdi bunun neden iyi olduğunu anlamak için spesifikasyonda farklı bir madde okumalıyız :

Eğer xtürü olan Xve ytürü vardır Yardından

• Örtülü bir dönüşüm (§6.1) den varsa Xiçin Ygelen, ancak Yiçin X, daha sonra Ykoşullu ekspresyonu türüdür.

• Örtülü bir dönüşüm (§6.1) den varsa Yiçin Xgelen, ancak Xiçin Y, daha sonra Xkoşullu ekspresyonu türüdür.

• Aksi takdirde, hiçbir ifade türü belirlenemez ve bir derleme zamanı hatası oluşur.

İşte xtürü intve ytürü int?. Örtük dönüştürme yoktur int?için int, ancak bir örtük dönüştürme yoktur intiçin int?ifadenin türüdür yüzden int?.

¹ : Ayrıca, burada yaygın bir karışıklık kaynağı olan koşullu ifadenin türünü belirlerken sol tarafın türünün göz ardı edildiğine dikkat edin.

null tanımlanabilir bir türü yoktur - mutlu etmek için sadece biraz ürüne ihtiyacı vardır:

int? number = true ? 5 : (int?)null;

Diğerlerinin de belirttiği gibi, 5 birdir intve nulldolaylı olarak dönüştürülemez int.

Bu soruna geçici bir çözüm bulmak için başka yollar:

int? num = true ? 5 : default(int?);
int? num = true ? 5 : new int?();

int? num = true ? 5 : null as int?;
int? num = true ? 5 : (int?)null;

int? num = true ? (int?)5 : null;
int? num = true ? 5 as int? : null;

int? num = true ? new int?(5) : null;

Ayrıca, gördüğünüz her yerde int?de kullanabilirsiniz Nullable<int>.

Bu C# 9şimdi izin verilen blog

Hedef yazıldı ?? ve ?

Bazen şartlı ?? ve?: ifadelerin dallar arasında açık bir paylaşılan türü yoktur. Bu gibi durumlar bugün başarısız olur, ancak her iki dalın da dönüştüğü bir hedef türü varsa C # 9.0 onlara izin verir:

Person person = student ?? customer; // Shared base type
int? result = b ? 0 : null; // nullable value type

Veya örneğiniz:

// Allowed in C# 9.
int? number = true ? 5 : null;