VB.NET ve C # 'de bir değere karşı null kontrolünde neden bir fark var?

In VB.NET Bu durumda:

Dim x As System.Nullable(Of Decimal) = Nothing
Dim y As System.Nullable(Of Decimal) = Nothing

y = 5
If x <> y Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false") '' <-- I got this. Why?
End If

Ancak C # 'da şu olur:

decimal? x = default(decimal?);
decimal? y = default(decimal?);

y = 5;
if (x != y)
{
    Debug.WriteLine("true"); // <-- I got this -- I'm with you, C# :)
}
else
{
    Debug.WriteLine("false");
}

Neden burada bir fark var?

VB.NET ve C # .NET, kullanım hakkında farklı varsayımlarda bulunan farklı ekipler tarafından oluşturulan farklı dillerdir; bu durumda bir NULL karşılaştırmasının semantiği.

Benim kişisel tercihim, özünde NULL'a "Henüz bilmiyorum" anlamını veren VB.NET semantiğidir. Sonra 5'in "Henüz bilmiyorum" ile karşılaştırılması. doğal olarak "henüz bilmiyorum"; yani NULL. Bu, SQL veritabanlarında (tümü olmasa da çoğu) NULL davranışını yansıtma ek avantajına sahiptir. Bu aynı zamanda, burada açıklandığı gibi, üç değerli mantığın daha standart (C # 'dan) bir yorumudur .

C # ekibi, NULL'un ne anlama geldiğine dair farklı varsayımlar yaptı ve bu da gösterdiğiniz davranış farkıyla sonuçlandı. Eric Lippert, C # 'ta NULL kelimesinin anlamı hakkında bir blog yazdı . Eric Lippert'e göre: "Ayrıca burada ve burada VB / VBScript ve JScript'teki boş değerlerin anlambilimini yazdım ".

NULL değerlerin mümkün olduğu herhangi bir ortamda, Dışarıda Bırakılan Orta Yasasına (yani A veya A'nın totolojik olarak doğru olduğu) artık güvenilemeyeceğini kabul etmek önemsizdir.

Güncelleme:

A bool(a'nın aksine bool?) yalnızca DOĞRU ve YANLIŞ değerlerini alabilir. Bununla birlikte, NULL'un bir dil gerçeklemesi, NULL'un ifadeler aracılığıyla nasıl yayılacağına karar vermelidir. VB'de ifadeler 5=nullve 5<>nullBOTH yanlış döndürür. Cı benzer ifadeler arasında, içinde 5==nullve 5!=nullsadece , ikinci birinci - [PG 2014/03/02 güncelleme] döner yanlış. Bununla birlikte, null'u destekleyen HERHANGİ bir ortamda, programcının o dil tarafından kullanılan doğruluk tablolarını ve boş yayılımı bilmek görevidir.

Güncelleme

Eric Lippert'in anlambilimle ilgili blog makaleleri (aşağıdaki yorumlarında bahsedilmiştir) şimdi şu adreste:

• 30 Eylül 2003 - Çok Fazla Hiçbir Şey

• 1 Ekim 2003 - Hiçbir Şey Üzerine Biraz Daha Fazlası

Çünkü yerine x <> ydöner . Tanımlanmadığı için basitçe tanımlanmamıştır. (boş SQL'e benzer).Nothingtruex

Not: VB.NET Nothing<> C # null.

Ayrıca a'nın değerini Nullable(Of Decimal)yalnızca bir değeri varsa karşılaştırmanız gerekir.

Dolayısıyla yukarıdaki VB.NET, buna benzer (daha az yanlış görünür):

If x.HasValue AndAlso y.HasValue AndAlso x <> y Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false")  
End If

VB.NET dil spesifikasyonu :

7.1.1 Null yapılabilir Değer Türleri ... Null yapılabilir bir değer türü, türün null yapılamayan sürümünün yanı sıra boş değerle aynı değerleri içerebilir. Böylece, boş değer atanabilir bir değer türü için, türdeki bir değişkene Nothing atamak, değişkenin değerini değer türünün sıfır değerine değil, null değerine ayarlar.

Örneğin:

Dim x As Integer = Nothing
Dim y As Integer? = Nothing

Console.WriteLine(x) ' Prints zero '
Console.WriteLine(y) ' Prints nothing (because the value of y is the null value) '

Oluşturulan CIL'e bakın (Her ikisini de C #'a çevirdim):

C #:

private static void Main(string[] args)
{
    decimal? x = null;
    decimal? y = null;
    y = 5M;
    decimal? CS$0$0000 = x;
    decimal? CS$0$0001 = y;
    if ((CS$0$0000.GetValueOrDefault() != CS$0$0001.GetValueOrDefault()) ||
        (CS$0$0000.HasValue != CS$0$0001.HasValue))
    {
        Console.WriteLine("true");
    }
    else
    {
        Console.WriteLine("false");
    }
}

Visual Basic:

[STAThread]
public static void Main()
{
    decimal? x = null;
    decimal? y = null;
    y = 5M;
    bool? VB$LW$t_struct$S3 = new bool?(decimal.Compare(x.GetValueOrDefault(), y.GetValueOrDefault()) != 0);
    bool? VB$LW$t_struct$S1 = (x.HasValue & y.HasValue) ? VB$LW$t_struct$S3 : null;
    if (VB$LW$t_struct$S1.GetValueOrDefault())
    {
        Console.WriteLine("true");
    }
    else
    {
        Console.WriteLine("false");
    }
}

Visual Basic'teki karşılaştırmanın Nullable <bool> (bool, false veya true değil!) Döndürdüğünü göreceksiniz. Ve tanımsız, bool'a dönüştürülmüş yanlıştır.

Nothingher zaman Nothingolanla karşılaştırıldığında , Visual Basic'te yanlış değil (SQL'deki ile aynıdır).

Burada gözlemlenen sorun, daha genel bir sorunun özel bir durumudur; en azından bazı durumlarda faydalı olabilecek farklı eşitlik tanımlarının sayısı, bunları ifade etmek için yaygın olarak bulunan araçların sayısını aşmaktadır. Bu sorun, bazı durumlarda, eşitliği test etmenin farklı araçlarının farklı sonuçlar vermesinin kafa karıştırıcı olduğu yönündeki talihsiz bir inançla daha da kötüleştirilir ve bu tür bir kafa karışıklığı, mümkün olduğunda farklı eşitlik biçimlerinin aynı sonuçları vermesini sağlayarak önlenebilir.

Gerçekte, kafa karışıklığının temel nedeni, farklı anlambilimlerin farklı koşullarda yararlı olmasına rağmen, farklı eşitlik ve eşitsizlik testlerinin aynı sonucu vermesinin beklenmesi gerektiğine dair yanlış bir inançtır. Örneğin, aritmetik bir bakış açısından, Decimalyalnızca sondaki sıfırların eşit olarak karşılaştırılmasında farklılık gösterenlere sahip olmak yararlıdır . Aynı şekilde doublepozitif sıfır ve negatif sıfır gibi değerler için . Öte yandan, önbelleğe alma veya interning açısından bu tür anlambilim ölümcül olabilir. Örneğin birinin eşit Dictionary<Decimal, String>olması myDict[someDecimal]gereken bir tür olduğunu varsayalım someDecimal.ToString(). Böyle bir nesne, çok sayıda olsaydı mantıklı görünürdü.Decimaldizeye dönüştürmek istediği ve birçok yinelenen olması beklenen değerler. Ne yazık ki, 12.3 m ve 12.40 m'yi ve ardından 12.30 m ve 12.4 m'yi dönüştürmek için böyle bir önbelleğe alma kullanılırsa, son değerler "12.30" ve "12.4" yerine "12.3" ve "12.40" verir.

Eldeki konuya dönersek, eşitlik açısından sıfırlanabilir nesneleri karşılaştırmanın birden fazla mantıklı yolu vardır. C #, ==operatörünün davranışını yansıtması gereken bakış açısını alır Equals. VB.NET , davranışı isteyen herkesin Equalskullanabileceği için , davranışının diğer dillerinkini yansıtması gerektiği görüşünü alır Equals. Bir anlamda, doğru çözüm, üç yollu bir "if" yapısına sahip olmak ve koşullu ifade üç değerli bir sonuç döndürürse, kodun nulldurumda ne olması gerektiğini belirtmesini gerektirmektir . Bu, diller için bir seçenek olmadığından, bir sonraki en iyi alternatif, farklı dillerin nasıl çalıştığını öğrenmek ve aynı olmadıklarını kabul etmektir.

Bu arada, Visual Basic'in C'de bulunmayan "Is" operatörü, boş değer atanabilir bir nesnenin aslında boş olup olmadığını test etmek için kullanılabilir. Bir iftestin kabul etmesi gerekip gerekmediğini makul bir şekilde sorgulayabilirken , null atanabilir türlerde çağrıldığında yerine Boolean?normal karşılaştırma işleçlerinin dönmesi yararlı bir özelliktir. Bu arada, VB.NET'te, bir kişi yerine eşitlik operatörünü kullanmaya çalışırsa , karşılaştırmanın sonucunun her zaman olacağı ve bir şeyin boş olup olmadığını test etmek isterse kullanılması gerektiği konusunda bir uyarı alacaktır .Boolean?BooleanIsNothingIs

Olabilir bu yazılan kuyu size yardım:

Doğru hatırlıyorsam, VB'deki 'Hiçbir Şey', "varsayılan değer" anlamına gelir. Bir değer türü için bu, bir başvuru türü için boş olan varsayılan değerdir. Bu nedenle, bir yapıya hiçbir şey atamamak hiç sorun değil.

Bu, VB'nin kesin bir tuhaflığı.

VB'de, iki boş değer atanabilir türü karşılaştırmak istiyorsanız, kullanmalısınız Nullable.Equals().

Örneğinizde şöyle olmalıdır:

Dim x As System.Nullable(Of Decimal) = Nothing
Dim y As System.Nullable(Of Decimal) = Nothing

y = 5
If Not Nullable.Equals(x, y) Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false")
End If

VB kodunuz basitçe yanlıştır - "x <> y" yi "x = y" olarak değiştirirseniz, sonuç olarak yine "yanlış" olacaktır. Null yapılabilir örnekler için bunu en yaygın ifade şekli "Not x.Equals (y)" dir ve bu, C # 'da "x! = Y" ile aynı davranışı verecektir.