Mengapa saya bisa lulus 1 sebagai pendek, tetapi bukan variabel int saya?

Mengapa Tulis pertama dan kedua berfungsi tetapi bukan yang terakhir? Apakah ada cara saya bisa mengizinkan mereka bertiga dan mendeteksi apakah itu 1, (int) 1 atau saya lewat? Dan benar-benar mengapa satu diperbolehkan tetapi yang terakhir? Yang kedua diizinkan tetapi bukan yang terakhir benar-benar menghantam pikiran saya.

Demo untuk menampilkan kesalahan kompilasi

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!?
    }
}

Dua yang pertama adalah ekspresi konstan, yang terakhir tidak.

Spesifikasi C # memungkinkan konversi implisit dari int ke kependekan untuk konstanta, tetapi tidak untuk ekspresi lainnya. Ini adalah aturan yang masuk akal, karena untuk konstanta kompiler dapat memastikan bahwa nilai cocok dengan tipe target, tetapi tidak bisa untuk ekspresi normal.

Aturan ini sejalan dengan pedoman bahwa konversi implisit harus tanpa kerugian.

6.1.8 Konversi ekspresi konstan yang implisit

Konversi ekspresi konstan implisit memungkinkan konversi berikut:

• Sebuah konstan-ekspresi (§7.18) jenis intdapat dikonversi untuk mengetik sbyte, byte, short, ushort, uint, atau ulong, asalkan nilai konstan ekspresi adalah dalam kisaran jenis tujuan.
• Sebuah konstan-ekspresi dari tipe longdapat dikonversi ke jenis ulong, asalkan nilai konstan ekspresi tidak negatif.

(Dikutip dari C # Language Spesifikasi Versi 3.0)

Tidak ada konversi implisit dari intke shortkarena kemungkinan pemotongan. Namun, ekspresi konstan dapat dianggap sebagai tipe target oleh kompiler .

1? Bukan masalah: itu jelas shortnilai yang valid . i? Tidak terlalu banyak - itu bisa berupa nilai> short.MaxValuemisalnya, dan kompiler tidak dapat mengeceknya dalam kasus umum.

sebuah int literal dapat secara implisit dikonversi ke short. Sedangkan:

Anda tidak dapat secara implisit mengkonversi tipe numerik nonliteral dari ukuran penyimpanan yang lebih besar menjadi pendek

Jadi, dua karya pertama karena konversi implisit literal diperbolehkan.

Saya percaya itu karena Anda memberikan literal / konstanta di dua yang pertama, tetapi tidak ada konversi tipe otomatis ketika melewati dalam bilangan bulat di ketiga.

Sunting: Seseorang mengalahkan saya untuk itu!

Karena tidak akan ada konversi implisit antara tipe Nonliteral ke ukuran pendek yang lebih besar.

Konversi tersirat hanya mungkin untuk ekspresi konstan.

public static void Write(short v) { }

Di mana Anda memberikan integernilai sebagai argumenshort

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

Kompiler telah memberi tahu Anda mengapa kode gagal:

cannot convert `int' expression to type `short'

Jadi, inilah pertanyaan yang harus Anda tanyakan: mengapa konversi ini gagal? Saya googled "c # convert int short" dan berakhir di halaman MS C # untuk shortkata kunci:

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

Seperti yang dikatakan halaman ini, gips implisit dari tipe data yang lebih besar shorthanya diizinkan untuk literal. Kompiler dapat mengetahui kapan literal berada di luar jangkauan, tetapi tidak sebaliknya, sehingga perlu diyakinkan bahwa Anda telah menghindari kesalahan di luar jangkauan dalam logika program Anda. Jaminan itu disediakan oleh para pemain.

Write((short)i)

Konversi dari int -> short dapat mengakibatkan pemotongan data. Itu sebabnya.