sbyte []は魔法のようにバイト[]にキャストできます

Question

これは.NETのバグかどうかわかりませんが、本当に面白いと思います。

予想通り

、私はこれを行うことはできません。sbytesのタイプはobjectある場合

sbyte[] sbytes = { 1, 2, 3 }; 
byte[] bytes = sbytes; // fails: cannot convert source type 'sbyte[]' to taget type 'byte[]' 

しかし、これは動作します：1

object obj = new sbyte[]{ 1, 2, 3 }; 
byte[] bytes = obj as byte[]; 
Assert.IsNull(bytes, "WTF??") 

備考：同じ問題がint[]のために発生します - uint[]と他のプリミティブ型も同様です。

備考2：コードはbyte[]として配列を扱うが、デバッガは、フォーカスを失って、アレイ内の? -sを示します。

備考3：これは配列のためではなく、根本的なタイプの自分自身のために働く：

object sbyteObj = (sbyte)1; 
byte byteObj = (byte)sbyteObj; // System.InvalidCastException: Specified cast is not valid. 

[OK]を、もちろん私はこのようなタイプを確認することができます。

if (obj.GetType() == typeof(byte[])) 

を

asオペレータとダイレクトキャストの意図した動作ですか、これは.NET bですug？

Answer 1

いいえ、バグではありません。これは、C＃言語ルール（変換が利用できないと主張する）とCLRルール（が利用可能なの変換）の間のインピーダンスの不一致に過ぎません。

コンパイラは本当に、本当に、それは最高のを知っていると考えていることを注意：

byte[] bytes = new byte[10]; 
// error CS0030: Cannot convert type 'byte[]' to 'sbyte[]' 
sbyte[] sbytes = (sbyte[]) bytes; 

そして、あなたは警告してコンパイルしたコードを持っている場合でも、それは実際にそれが言う何をしていません。

byte[] bytes = new byte[10]; 
// warning CS0184: The given expression is never of the provided ('sbyte[]') 
if (bytes is sbyte[]) 
{ 
    Console.WriteLine("Yes"); 
} 

実行するコードと、あなたはは、出力を得ることはありません...しかし、あなただけのbytesのコンパイル時の型を変更した場合、それは印刷はい行います

を

object bytes = new byte[10]; 
// No warning now 
if (bytes is sbyte[]) 
{ 
    Console.WriteLine("Yes"); // This is reached 
}