关于c＃：为什么Resharper认为IPrincipal.Identity永远不会为null？

Why does Resharper think IPrincipal.Identity will never be null?

在VS2010中运行的Resharper 8告诉我可以删除principal.Identity != null的检查：

enter image description here

我假设这是因为IPrincipal的代码中存在NotNull属性或某些内容，但是编写自己的IPrincipal实现返回一个空的Identity很容易：

1
2
3
4
5
6
7
8
9
10

void Main() {
var foo = new FooPrincipal();
Console.WriteLine(foo.Identity == null ?"Yep!" :"Not Null");
}

class FooPrincipal : IPrincipal {
public IIdentity Identity { get; set; }
public bool IsInRole(string role) { return(false); }
public FooPrincipal() {}
}

Resharper怎么知道传递给此方法的IPrincipal不会是我的返回空身份的FooPrincipals之一？

编辑：好的，这是一个完整的复制案例，其中Resharper实际上鼓励您编写在生产中爆炸的代码...

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

using System;
using System.Security.Principal;

namespace ResharperPrincipalTest {
class Program {
static void Main(string[] args) {
var p = new TestPrincipal();
var isJeff = IsUserCalledJeff(p);
Console.WriteLine(isJeff);
}

static bool IsUserCalledJeff(IPrincipal principal) {
if (principal != null) {
if (principal.Identity == null) throw(new Exception("Resharper says this will never happen!"));
return (principal.Identity.Name =="jeff");
}
return false;
}
}

class TestPrincipal : IPrincipal {
public bool IsInRole(string role) {
return (false);
}

public IIdentity Identity { get; set; }
}
}

VS2010的屏幕截图显示Resharper的"有用"突出显示...

enter image description here

确实，当您按F5时，程序将引发异常。我会说这是我原来的问题的答案，"因为Resharper错误" ：)

编辑2：在http://youtrack.jetbrains.com/issue/RSRP-398551上提交的Resharper错误报告