如何通過添加屬性來警告未經初始化訪問屬性？

Question

我想一些技術來自動替換下面的代碼：

[WarnIfGetButUninitialized] 
public int MyProperty {get; set; } 

有了這個：

/// <summary> 
/// Property which warns you if its value is fetched before it has been specifically instantiated. 
/// </summary> 
private bool backingFieldIsPopulated = false; 
private int backingField; 
public int MyProperty { 
    get 
    { 
     if (backingFieldIsPopulated == false) 
     { 
      Console.WriteLine("Error: cannot fetch property before it has been initialized properly.\n"); 
      return 0; 
     } 
     return backingField; 
    } 
    set { 
     backingField = value; 
     backingFieldIsPopulated = true; 
    } 
}  

我寧願在編譯時有效的解決方案，因爲反射緩慢。我知道面向方面編程（AOP）會這樣做（例如PostSharp和CciSharp），但如果有其他方法可以實現這一點，我會很感興趣。

更新

參見How to use PostSharp to warn if a property is accessed before it has been initialized?其具有鏈接到演示使用PostSharp的技術中的一些示例代碼。

Answer 1

從蓋爾Fraiteur上PostSharp論壇（感謝蓋爾！）：

你必須使用實現 IInstanceScopedAspect一個LocationInterceptionAspect。字段'backingFieldIsPopulated'成爲該方面的 字段。

您可以在這個例子中找到靈感：

http://doc.sharpcrafters.com/postsharp-2.1/Content.aspx/PostSharp-2.1.chm/html/d3631074-e131-467e-947b-d99f348eb40d.htm

Answer 2

T4模板可用於代碼生成。沒有實現我自己，但是T4模板用於C＃代碼生成。斯科特更多信息Hanselman的

http://www.hanselman.com/blog/T4TextTemplateTransformationToolkitCodeGenerationBestKeptVisualStudioSecret.aspx

Answer 3

屬性簡單元數據添加到類和類成員 - 它們本身什麼都不做。

在裝飾成員上完成的操作是通過反射完成的 - 在某些現有工具中對此有一些支持，但不會對定製屬性提供這種支持。

總之 - 如果編譯器不支持它，你不能在編譯時檢查屬性。

但是，您可以創建自己的code snippets，以使代碼更容易編寫和創建。

Answer 4

只有一些屬性通過編譯來檢查。 ObsoleteAttribute和ConditionalAttribute是其中的兩個。 使用Resharper，你可以得到這樣的警告。我不知道任何其他工具可以做到這一點。

Answer 5

你可以做一個類似於.NET的Lazy的實現，但是這會在使用這個屬性時需要更多的單詞。事情是這樣的非線程安全的例子：

public class WarnIfGetButUninitialized<T> 
{ 
    T _property; 
    public T Value 
    { 
     get 
     { 
      if(_property == null) 
      { 
       Console.WriteLine("Error: cannot fetch property before it has been initialized properly.\n"); 
       return default(T); 
      } 
      return _property; 
     } 
     set { _property = value; } 
    } 
}