Làm thế nào để bắt hoặc cờ vấn đề tiềm ẩn do thứ tự khởi lĩnh vực tĩnh

Question

xem xét mã C# sau:

using System; 
class Program 
{ 
    static string string1 = "AAA"; 
    static string string2 = string1 + string3; 
    static string string3 = "BBB"; 

    static void Main() 
    { 
     Console.WriteLine(string2); 
    } 
} 

tôi đã viết một số mã như ngày nay trước đây và đã mong string2 để chứa các giá trị AAABBB, nhưng thay vào đó nó chỉ chứa AAA. Tôi đã làm một số đọc về thứ tự khởi tạo các biến tĩnh, nhưng nó có vẻ thích hợp với tôi rằng một số loại cảnh báo hoặc lỗi sẽ được tạo ra trong quá trình biên dịch.

Hai câu hỏi:

1. Tại sao mã như vậy cho phép để biên dịch thành công? (và nếu câu trả lời là: "bởi vì đó là cách C# spec được viết", thì tại sao nó được viết theo cách đó? Có lý do nào tôi bỏ lỡ lý do tại sao điều này không phải lúc nào cũng chỉ là một lỗi biên dịch?)

2. Có bất kỳ cách nào cách để nhận cảnh báo biên dịch hoặc một số loại cờ khác nếu tôi vô tình viết lại loại mã này trong tương lai không?

Answer 1

Là # 1: Lý do mã được phép biên dịch là vì, theo 10.4.5.1 của thông số C#, "trình khởi tạo biến trường tĩnh của một lớp tương ứng với chuỗi các bài tập được thực hiện theo thứ tự văn bản mà chúng xuất hiện trong khai báo lớp. " Điều đó có nghĩa là biến số string2 của bạn được khởi tạo rõ ràng thành "AAA" + null. Có thể cho rằng ít nhất bạn cũng nên cảnh báo ... về lý do tại sao IDE của bạn chọn không cảnh báo bạn, tôi không biết.

Liên quan đến # 2: Tôi không biết. Điều này có vẻ giống như một câu hỏi phù hợp hơn nếu được gắn thẻ với IDE của bạn.

Answer 2

Đó là bởi design.

Trường tĩnh initializers biến của một lớp tương ứng với một chuỗi các bài tập được thực hiện theo thứ tự văn bản trong mà chúng xuất hiện trong khai báo lớp.

C# có chính sách definite assignment có nghĩa là, ví dụ: trường được tự động khởi tạo. Do đó, string3 của bạn được tự động khởi tạo thành null và do đó, theo như trình biên dịch có liên quan, nó đã có giá trị.

Điều này có nghĩa là đầu ra của string2 là string1 + null (chỉ đơn giản là string2) và do đó không có lý do gì để trình biên dịch ném bất kỳ lỗi nào (mặc dù tôi thấy cảnh báo này hữu ích như thế nào).

Answer 3

Đối với câu hỏi 2:

Các công cụ như ReSharper bắt những điều này. Có thể có một thiết lập bên trong Visual Studio mà bạn có thể bật để có thêm đầu ra biên dịch chi tiết.

Dưới đây là đoạn code sau khi dọn dẹp Reshaper sản xuất "AAABBB"

class Program 
    { 
     private const string String1 = "AAA"; 
     private const string String2 = String1 + String3; 
     private const string String3 = "BBB"; 

     static void Main() 
     { 
      Console.WriteLine(String2); 
      Console.ReadLine(); 

     } 

    } 

Là một mặt lưu ý, tôi muốn nói vì chúng ta thường đọc từ trên xuống dưới nó có vẻ hợp lý cho khởi tạo xảy ra theo cách tương tự như được mô tả trong 10.4.5.1 của đặc tả C#.

Answer 4

Nếu bạn nghĩ về các trình khởi tạo tĩnh của bạn như một phần logic của hàm tạo tĩnh, mọi thứ sẽ có ý nghĩa hơn rất nhiều. Trong trường hợp của bạn, nó giống như bạn đã viết:

private static string String1; 
private static string String2; 
private static string String3; 

static Program() 
{ 
    String1 = "AAA"; 
    String2 = String1 + String3; 
    String3 = "BBB"; 
} 

Lý do khởi tạo tĩnh không hoạt động theo cách bạn muốn là không thể trong trường hợp chung cho trình biên dịch sắp xếp lại thứ. Nó có thể trong trường hợp này, và trong nhiều trường hợp khác. Nhưng nếu bạn xem xét các hiệu ứng bậc 2 như tôi đã đề cập trong answer to a similar question, trình biên dịch không thể sắp xếp lại bất cứ thứ gì một cách đáng tin cậy.

Nó sẽ gây nhầm lẫn trong cực đối với trình biên dịch để làm điều đó sắp xếp lại "đôi khi".