給出的表達式始終爲提供的類型

Question

爲什麼Visual Studio在值類型上使用is時會發出警告，但在引用類型上不會發生此警告？第1行和第2行提示警告，而第3行和第4行不提示。

if (5 is object) 
if (new Point() is object) 

if ("12345" is object) 
if (new StringBuilder() is object) 

Answer 1

因爲它沒有被微軟實施。但它是例如由JetBrains ReSharper執行。

Visual Studio中示出了2個的編譯器警告：

ReSharper的顯示4個警告：

Answer 2

is的操作者不能被重載。

請注意，is運算符僅考慮引用轉換，裝箱轉換和拆箱轉換。不考慮其他轉換，例如用戶定義的轉換。

來源：MSDN

Answer 3

這是一個啓發式和啓發式，顧名思義，不完整的。

此啓發式的源代碼可以在這裏找到：Roslyn Source: Binder.GetIsOperatorConstantResult。該代碼包含以下報價：

// The result of "x is T" can be statically determined to be true if x is an expression 
// of non-nullable value type T. If x is of reference or nullable value type then 
// we cannot know, because again, the expression value could be null or it could be good. 

顯然，如果它是稱爲（如你的例子），其x是一個非空表達啓發式可以改進。但是，作爲Eric Lippert writes in his blog，每個警告（實際上 - 每個編譯器功能）都有成本，顯然，Roslyn開發人員並未認爲此功能對於此版本而言足夠重要。

由於Thomas Weller's answer顯示，有第三方解決方案填補了這一空白。