「キャストが冗長である」警告否定ブール

Question

を返すときに、次のプログラムは、アップデート2のVisual Studio 2015年には罰金コンパイルしますが、「キャストが冗長である」という警告が生成されます。

class Program 
{ 
    static void Main(string[] args) 
    { 
     Program p = new Program(); 
     bool negated = p.NegateBool(true); 
    } 

    public bool NegateBool(object value) 
    { 
     // "Cast is redundant" warning. 
     return !(bool)value; 

     // No warning. 
     //return (bool)value; 

     // No warning. 
     //var negated = !(bool)value; 
     //return negated; 
    } 
} 

「クイックフィックス」を受け付けた場合キャストを削除するための提案、プログラムはもうコンパイルされません。

これは、キャストがreturnステートメントで直接行われ、否定演算子が使用されている場合にのみ発生します。

結果が変数に入れられてから返された場合、警告は生成されません。

これはなぜ起こっているのですか？

Answer 1

これはRoslynコンパイラのバグでした。

私はGithubの上のバグレポートを提出しており、問題は、将来のバージョンで修正されます。
https://github.com/dotnet/roslyn/issues/10311

Answer 2

bool negated = p.NegatedBool（true）;

コンパイラは、この時点であなたが渡してブール値であることを既に知っています。 trueの代わりにtrueeを試してみると、エラーが発生します。 trueと入力した場合、コンパイラはsystem.booleanのbooleanを知っています。マウスを真の上に置くだけです。 これで、コンパイラはすでにそのブールを知っています。 メソッドの最初の行にデバッグポイントを置くだけです。開いている中括弧です。デバッグに行きます。価値のある時計を追加すると、そのオブジェクトにこのオブジェクト{bool}のようなものが表示されることがあります。