1をshortとして渡すことができるのに、int変数iを渡せないのはなぜですか？

最初と2番目の書き込みは機能するが、最後は機能しないのはなぜですか？3つすべてを許可して1（int）1であるか、それとも渡されたかを検出できる方法はありますか？そして、本当になぜそれが許されるのですか？2つ目は許可されていますが、最後は許可されていません。

コンパイルエラーを表示するデモ

using System;
class Program
{
    public static void Write(short v) { }
    static void Main(string[] args)
    {
        Write(1);//ok
        Write((int)1);//ok
        int i=1;
        Write(i);//error!?
    }
}

最初の2つは定数式で、最後の1つはそうではありません。

C＃仕様では、定数の場合、intからshortへの暗黙的な変換を許可していますが、他の式の場合は許可していません。定数の場合、コンパイラは値がターゲットの型に適合することを保証できますが、通常の式の場合はそうでないため、これは妥当な規則です。

このルールは、暗黙的な変換はロスレスでなければならないというガイドラインに沿っています。

6.1.8暗黙的な定数式変換

暗黙的な定数式変換では、次の変換が可能です。

• 定数式タイプの（§7.18）はint型に変換することができsbyte、byte、short、ushort、uint、又はulong、の提供された値の定数式は、先の型の範囲内です。
• 定数式タイプのは、long型に変換することができるulongの値設け、定数式が負ではありません。

（C＃言語仕様バージョン3.0から引用）

切り捨ての可能性があるため、からintへの暗黙の変換はありませんshort。ただし、定数式は、コンパイラーによってターゲット・タイプとして扱うことができます。

1？問題ありません。これは明らかに有効なshort値です。i？それほどではありません。short.MaxValueたとえば、ある値になる可能性があり、コンパイラーは一般的なケースではそれをチェックできません。

int リテラルは暗黙的に変換することができますshort。一方：

あなたは暗黙的に、より大きなストレージサイズの非リテラル数値型を変換することはできません短いです

したがって、リテラルの暗黙的な変換が許可されているため、最初の2つは機能します。

最初の2つはリテラル/定数を渡していますが、3番目の整数を渡すときに型の自動変換は行われないためです。

編集：誰かが私を倒しました！

非リテラル型から大きなサイズのshortへの暗黙的な変換は行われないためです。

暗黙的な変換は、定数式でのみ可能です。

public static void Write(short v) { }

integer引数として値を渡す場所short

int i=1;
Write(i);  //Which is Nonliteral here

コンパイラーは、なぜコードが失敗するのかを教えてくれました：

cannot convert `int' expression to type `short'

だからここにあなたが尋ねるべき質問があります：なぜこの変換は失敗するのですか？私は「c＃convert int short」をググって、shortキーワードのMS C＃ページに行きました：

http://msdn.microsoft.com/en-us/library/ybs77ex4(v=vs.71).aspx

このページにあるように、より大きなデータ型からの暗黙的なキャストshortはリテラルに対してのみ許可されています。コンパイラーはリテラルが範囲外であることを認識できますが、そうでない場合はそうでないため、プログラムロジックで範囲外のエラーを回避したことを再確認する必要があります。その安心感はキャストによって提供されます。

Write((short)i)

int-> shortから変換すると、データが切り捨てられる可能性があります。それが理由です。