c# – Parameter.Checking with Roslyn

代码合同：当第三方库不支持时,您会感到紧张.

public void Buy(Product product)
{
     Contract.Requires(product != null);
}

PostSharp：自定义属性.

public void Buy([NotNull] Product product)
{
}

Guard-Class：带有辅助方法的静态类.

public void Buy(Product product)
{
     Guard.NotNull(product,"product"); // Repeat parameter name,bad for refactoring.
     Guard.NotNull(() => product); // Slow
}

手册：

public void Buy(Product product)
{
     if (product == null)
     {
          throw new ArgumentNullException("product");
     }
}

对于最后一个版本的roslyn,可以选择编写扩展来简化验证.对于90％我检查空引用或空字符串,所以有这样的东西可能是有价值的：

public void Buy(required Product product)
{
}

public void Buy(Product product)
{
     requires product
}

public void FindUser(required nonempty string name)
{
     requires nonempty name
}

所以我的问题：

>有任何roslyn扩展或其他后编译器吗？
>你知道如何编写像这样的自定义扩展的好资源.
>您会使用这样的扩展吗？如果是,那么首选语法是什么.如果没有,为什么？