具有非空保护子句的自动实现属性？

Question

我同意 Mark Seeman 的观点，即 Automatic Properties are somewhat evil 因为它们破坏了封装。不过我确实喜欢它们带来的简洁语法、可读性和便利性。

我引用：

public string Name { get; set; }

代码 sn-p 的问题不在于它包含太多 仪式。问题是它破坏了封装。其实

“[...] getter 和 setter 没有实现封装或信息 隐藏：它们是一种语言合法的违反它们的方式。”

James O. Coplien 和 Gertrud Bjørnvig。精益架构。威利。 2010 年。 134.

大多数时候，添加非空保护子句对于属性设置器来说已经足够了，我想知道是否有比以下方法更好的方法。更好，我的意思是更简洁/更少重复的方式。

使用代码契约：

private string _username;
public virtual string Username
{
    get { return _username; }
    set 
    {  
        Contract.Requires(value != null);
        _username = value; 
    }
}

使用原版 .NET：

private string _username;
public virtual string Username
{
    get { return _username; }
    set 
    {
        if (value == null) throw new ArgumentNullException("Username");
        _username = value; 
    }
}

Answer 1

您可以使用 PostSharp 中的方面通过 null 检查来装饰属性设置器：

http://www.sharpcrafters.com/blog/post/5-Ways-That-Postsharp-Can-SOLIDify-Your-Code-Lazy-Loading-of-Dependencies.aspx

How to create an aspect checking for null references on all methods in a class in postsharp

http://magpie.sytes.net/jesperhogstrom/2010/11/compiler-safe-null-checking-of-arguments-with-aspects/

Answer 2

我会假设属性只是从用户的角度来看的内存缓冲区。仅当在用户代码中调用方法（操作）时，才应检查属性缓冲区的有效性（例如，空检查会引发异常）。

如果分配的数据无效（在您的算法设计中），您的属性设置器应该向内部成员放置一个无效值。错误检查和返回应该来自使用该属性值的方法

Answer 3

我只引用Code Contracts 手册，第 2.3.1 节：

public int MyProperty { get; private set ; }

[ContractInvariantMethod]
private void ObjectInvariant () 
{
      Contract. Invariant ( this.MyProperty >= 0 );
      ...
}