Neden bu (null ||! TryParse) koşullu "atanmamış yerel değişkenin kullanımı" sonucunu verir?</em> atanmamış yerel değişken "numberOfGroups" nin <em>kullanımda

Question

Aşağıdaki kod sonuçları:

int numberOfGroups; 
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups)) 
{ 
    numberOfGroups = 10; 
} 

Ancak bu kod çalışıyor (gerçi, ReSharper= 10 gereksiz olduğunu söylüyor):

int numberOfGroups = 10; 
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups)) 
{ 
    numberOfGroups = 10; 
} 

Am Bir şey mi eksik, yoksa derleyici ||'umu beğenmiyor mu?

Bu soruna neden olarak dynamic nedenini daraltdım (options yukarıdaki kodumda dinamik bir değişkendi). Soru hala devam ediyor, neden bunu yapamıyorum?

internal class Program 
{ 
    #region Static Methods 

    private static void Main(string[] args) 
    { 
     dynamic myString = args[0]; 

     int myInt; 
     if(myString == null || !int.TryParse(myString, out myInt)) 
     { 
      myInt = 10; 
     } 

     Console.WriteLine(myInt); 
    } 

    #endregion 
} 

Ancak bu kod yapar:

internal class Program 
{ 
    #region Static Methods 

    private static void Main(string[] args) 
    { 
     var myString = args[0]; // var would be string 

     int myInt; 
     if(myString == null || !int.TryParse(myString, out myInt)) 
     { 
      myInt = 10; 
     } 

     Console.WriteLine(myInt); 
    } 

    #endregion 
} 

ben dynamic bu bir faktör olacağını fark etmedi

Bu kod derleme yapmaz.

Answer 1

Bunun bir derleyici hatası olduğundan eminim. Güzel bul!

Düzenleme: Quartermeister'in gösterdiği gibi bir hata değildir; Dinamik, y'un hiçbir zaman başlatılmaması için garip bir true operatörünü uygulayabilir. İşte

minimal üreme var: Bunun yasadışı olmalıdır neden göremiyorum

class Program 
{ 
    static bool M(out int x) 
    { 
     x = 123; 
     return true; 
    } 
    static int N(dynamic d) 
    { 
     int y; 
     if(d || M(out y)) 
      y = 10; 
     return y; 
    } 
} 

; Eğer dinamik boole ile değiştirirseniz, o da iyi derler.

Aslında yarın C# takımıyla buluşacağım; Onlardan bahseteceğim. Hata için özür dilerim!

Answer 2

From MSDN (vurgu benim): derleyici kontrol etmek veya dinamik Çeşidi ifadelerini içeren tüm işlemleri çözmek tipi olmadığından

The dynamic type enables the operations in which it occurs to bypass compile-time type checking. Instead, these operations are resolved at run time. The dynamic type simplifies access to COM APIs such as the Office Automation APIs, and also to dynamic APIs such as IronPython libraries, and to the HTML Document Object Model (DOM).

Type dynamic behaves like type object in most circumstances. However, operations that contain expressions of type dynamic are not resolved or type checked by the compiler.

, bu değişken TryParse() kullanımı yoluyla atanacak garanti edemez.

Answer 3

Dinamik ifadenin değeri, aşırı yüklenmiş true operatör'un türüne sahipse, değişken atamasının kaldırılması mümkündür.

|| operatör sağ tarafını değerlendirmek için karar vermek true operatörü çağıracağı ve sonra if deyimi kendi vücudunu değerlendirmek için karar vermek true operatörü açılmasına neden olur. Normal bir bool için, bunlar her zaman aynı sonucu döndürecek ve tam olarak bir tane değerlendirilecektir, ancak kullanıcı tanımlı bir operatör için böyle bir garanti yoktur!

using System; 

class Program 
{ 
    static bool M(out int x) 
    { 
     x = 123; 
     return true; 
    } 

    static int N(dynamic d) 
    { 
     int y = 3; 
     if (d || M(out y)) 
      y = 10; 
     return y; 
    } 

    static void Main(string[] args) 
    { 
     var result = N(new EvilBool()); 
     // Prints 3! 
     Console.WriteLine(result); 
    } 
} 

class EvilBool 
{ 
    private bool value; 

    public static bool operator true(EvilBool b) 
    { 
     // Return true the first time this is called 
     // and false the second time 
     b.value = !b.value; 
     return b.value; 
    } 

    public static bool operator false(EvilBool b) 
    { 
     throw new NotImplementedException(); 
    } 
}