"???" operatörü kısa dolaşımını kullanıyor mu?

Question

C# içindeki ?? işleci, değerlendirirken kısa devreye mı sarılıyor? myObject boş olmayan olduğunda

var result = myObject ?? ExpressionWithSideEffects(); 

, ExpressionWithSideEffects() sonucu kullanılmaz, ama tamamen atlanır ExpressionWithSideEffects() olacak?

Answer 1

Evet öyle. Her zamanki gibi, C# dil belirtimi, kesin kaynağıdır. C 3. spec itibaren

, bölüm 7.12 (v4 Spec burada gerçekten alakalı olmayan dinamik detaya gider yerine 4 v3):

ifade a ?? b tipi hangi bağlıdır örtük dönüşümler, işlenenlerin türleri arasında kullanılabilir. Tercih sırasına göre, a ?? b A, A veya B'dir, burada A, a'dır, B, b'nin tipidir (b'nin bir türü vardır) ve A A, A'nın null bir tür olması durumunda A'nın temel tipidir veya aksi takdirde A'dır. . Bir değilse

• null bir tipi ya da bir referans tipi, bir derleme hatası oluşur: Özel olarak ise, a ?? b işlenir.
• A, null bir türse ve b ile A0 arasında örtük bir dönüşüm varsa, sonuç türü A0'dır. çalışma zamanında, ilk değerlendirilir. Bir boş değilse, A0 yazmak için bir sarılmış ve bu sonuç olur. Aksi takdirde, b değerlendirilir ve A0 türüne dönüştürülen ve sonuç olur.
• Aksi takdirde, örtük bir dönüşüm b'den A'ya varsa, sonuç türü A'dır. Çalışma zamanında, ilk önce bir değerlendirilir. Eğer bir null değilse, sonucu olur. Aksi takdirde, b değerlendirilir ve A türüne dönüştürülen ve sonuç olur.
• Aksi takdirde, b B türünde ve A0 ile B arasında örtük bir dönüşüm varsa, sonuç türü B'dir. Çalışma zamanında, a ilk olarak değerlendirilir. A, değilse, A0 (A ve A0 aynı türde değil) yazıp B türüne dönüştürülür ve bu sonucuna dönüşür. Aksi halde, b değerlendirilir ve sonuç olur.Aksi takdirde, a ve b uyumlu değildir ve bir derleme zamanı hatası oluşur.

, ikinci, üçüncü ve dördüncü mermilerin ilgili olanlardır.

---

Eğer kullanacağınız başına derleyici gerçeğin fiili kaynak olup olmadığı konusunda vardı edilecek bir felsefi tartışma var ... o yapmak demek ne bir dili hakkında gerçektir veya şu anda kullanıyor mu?

Answer 2

Evet, kısa devre yapıyor.

İşte LINQPad içinde test etmek için bir parçacık İşte:

string bar = "lol"; 
string foo = bar ?? string.Format("{2}", 1); 
foo.Dump(); 
bar = null; 
foo = bar ?? string.Format("{2}", 1); 
foo.Dump(); 

birinci kaynaşabilecek ikincisi atmak (biçim dizesi geçersiz) yok iken bir durum üretiliyor olmadan çalışır.

Answer 3

Bu nedenle birim testimiz var.

[TestMethod] 
    public void ShortCircuitNullCoalesceTest() 
    { 
     const string foo = "foo"; 
     var result = foo ?? Bar(); 
     Assert.AreEqual(result, foo); 
    } 

    [TestMethod] 
    [ExpectedException(typeof(ArgumentException))] 
    public void ShortCircuitNullCoalesceFails() 
    { 
     const string foo = null; 
     var result = foo ?? Bar(); 
    } 

    private static string Bar() 
    { 
     throw new ArgumentException("Bar was called"); 
    } 

Bunlar en iyi test adları değil, ancak siz bu fikri anlıyorsunuz. Boş birleştirme operatörü kısa devrelerini beklendiği gibi gösterir.