有没有办法将方法标记为确保T不为空？

Question

例如,如果我有一个定义为...的方法

T Create()
{
    T t = Factory.Create<T>();

    // ...

    Assert.IsNotNull(t, "Some message.");
    // -or-
    if (t == null) throw new Exception("...");
    // -or- anything that verifies that it is not null
}

......我从其他地方打电话给那个方法......

void SomewhereElse()
{
    T t = Create();
    // >><<
}

... at >><<,我知道(意思是我,写这个的人)t保证不会为空.是否有一种方法(可能是我没有找到的属性)将方法标记为确保它返回或以其他方式传递的引用类型(可能是out参数)由内部逻辑保证不为空？

我不得不不好意思地承认,ReSharper的主要是为什么我不在乎,因为它强调了任何它认为可能会导致两种InvalidOperationException或NullReferenceException.我认为它正在读取我可以在我的方法上标记的东西,或者它只是知道Assert.IsNotNull,简单的布尔检查或其他一些东西将消除某些东西为空的可能性,并且它可以删除突出显示.

有什么想法吗？我只是成为了哦 - 我 - 上帝 - 重塑者的牺牲品 - 突显它 - 我必须要解决这种疾病吗？

Answer 1

如果ReSharper是您关心的原因,那么您可以Factory.Create<T>()使用[NotNull]其Web帮助中描述的属性标记该方法