Pernyataan yang dicentang dan tidak dicentang (referensi C#)

Pernyataan checked dan unchecked menentukan konteks pemeriksaan luapan untuk operasi dan konversi aritmatika jenis integral. Ketika luapan aritmatika bilangan bulat terjadi, konteks pemeriksaan luapan menentukan apa yang terjadi. Dalam konteks yang dicentang, System.OverflowException dilemparkan; jika luapan terjadi dalam ekspresi konstanta, kesalahan waktu kompilasi terjadi. Dalam konteks yang tidak dicentang, hasil operasi dipotong dengan membuang bit berurutan tinggi yang tidak sesuai dengan jenis tujuan. Misalnya, penambahan membungkus dari nilai maksimum ke nilai minimum. Contoh berikut menunjukkan operasi yang sama dalam konteks yang dicentang dan tidak dicentang:

uint a = uint.MaxValue;

unchecked
{
    Console.WriteLine(a + 3);  // output: 2
}

try
{
    checked
    {
        Console.WriteLine(a + 3);
    }
}
catch (OverflowException e)
{
    Console.WriteLine(e.Message);  // output: Arithmetic operation resulted in an overflow.
}

Untuk informasi selengkapnya, lihat bagian Luapan dan pembagian Aritmatika berdasarkan nol dan operator yang diperiksa yang ditentukan pengguna dari artikel Operator aritmatika.

Untuk menentukan konteks pemeriksaan luapan untuk ekspresi, Anda juga dapat menggunakan checked operator dan unchecked , seperti yang ditunjukkan contoh berikut:

double a = double.MaxValue;

int b = unchecked((int)a);
Console.WriteLine(b);  // output: -2147483648

try
{
    b = checked((int)a);
}
catch (OverflowException e)
{
    Console.WriteLine(e.Message);  // output: Arithmetic operation resulted in an overflow.
}

Pernyataan checked dan unchecked dan operator hanya memengaruhi konteks pemeriksaan luapan untuk operasi yang secara tekstual di dalam blok pernyataan atau tanda kurung operator, seperti yang ditunjukkan contoh berikut:

int Multiply(int a, int b) => a * b;

int factor = 2;

try
{
    checked
    {
        Console.WriteLine(Multiply(factor, int.MaxValue));  // output: -2
    }
}
catch (OverflowException e)
{
    Console.WriteLine(e.Message);
}

try
{
    checked
    {
        Console.WriteLine(Multiply(factor, factor * int.MaxValue));
    }
}
catch (OverflowException e)
{
    Console.WriteLine(e.Message);  // output: Arithmetic operation resulted in an overflow.
}

Pada contoh sebelumnya, pemanggilan Multiply pertama fungsi lokal menunjukkan bahwa checked pernyataan tidak memengaruhi konteks pemeriksaan luapan dalam fungsi karena Multiply tidak ada pengecualian yang dilemparkan. Pada pemanggilan Multiply fungsi kedua, ekspresi yang menghitung argumen kedua fungsi dievaluasi dalam konteks yang diperiksa dan menghasilkan pengecualian karena secara tekstual di dalam blok checked pernyataan.

Perilaku checked dan unchecked tergantung pada jenis dan operasi. Bahkan untuk bilangan bulat, operasi seperti unchecked(x / 0) selalu dilemparkan karena tidak ada perilaku yang masuk akal. Periksa perilaku untuk jenis dan operasi untuk memahami bagaimana checked kata kunci dan unchecked memengaruhi kode Anda.

Jenis numerik dan konteks pemeriksaan luapan

Kata checked kunci dan unchecked terutama berlaku untuk jenis integral di mana ada perilaku luapan yang masuk akal. Perilaku wraparound di mana T.MaxValue + 1 menjadi T.MinValue masuk akal dalam nilai pelengkap dua. Nilai yang diwakili tidak benar karena tidak dapat pas di penyimpanan untuk jenis tersebut. Oleh karena itu, bit mewakili n-bit yang lebih rendah dari hasil penuh.

Untuk jenis seperti decimal, float, double, dan Half yang mewakili nilai yang lebih kompleks atau nilai pelengkap seseorang, wraparound tidak masuk akal. Ini tidak dapat digunakan untuk menghitung hasil yang lebih besar atau lebih akurat, jadi unchecked tidak bermanfaat.

float, , doubledan Half memiliki nilai jenuh yang masuk akal untuk PositiveInfinity dan NegativeInfinity, sehingga Anda dapat mendeteksi luapan unchecked dalam konteks. Untuk decimal, tidak ada batasan seperti itu, dan menjenuhkan dapat MaxValue menyebabkan kesalahan atau kebingungan. Operasi yang menggunakan decimal pelemparan checked dalam konteks dan unchecked .

Operasi yang dipengaruhi oleh konteks pemeriksaan luapan

Konteks pemeriksaan luapan memengaruhi operasi berikut:

• Operator aritmatika bawaan berikut: operator unary , --- dan biner +++, , -, *dan , dan / , ketika operand mereka adalah jenis integral (yaitu, jenis numerik atau karakter integral) atau jenis enum.

• Konversi numerik eksplisit antara jenis integral atau dari float atau double ke jenis integral.

  Catatan

  Saat Anda mengonversi decimal nilai ke jenis integral dan hasilnya berada di luar rentang jenis tujuan, nilai OverflowException selalu dilemparkan, terlepas dari konteks pemeriksaan luapan.

• Dimulai dengan C# 11, operator dan konversi yang diperiksa yang ditentukan pengguna. Untuk informasi selengkapnya, lihat bagian Operator yang diperiksa yang ditentukan pengguna dari artikel Operator aritmatika.

Konteks pemeriksaan luapan default

Jika Anda tidak menentukan konteks pemeriksaan luapan, nilai opsi pengkompilasi CheckForOverflowUnderflow menentukan konteks default untuk ekspresi yang tidak konstant. Secara default, nilai opsi tersebut tidak diatur dan operasi dan konversi aritmatika jenis integral dijalankan dalam konteks yang tidak dicentang .

Ekspresi konstan dievaluasi secara default dalam konteks yang diperiksa dan luapan menyebabkan kesalahan waktu kompilasi. Anda dapat secara eksplisit menentukan konteks yang tidak dicentang untuk ekspresi konstanta dengan unchecked pernyataan atau operator.

Spesifikasi bahasa C#

Untuk informasi selengkapnya, lihat bagian berikut dari spesifikasi bahasa C#:

• Pernyataan yang dicentang dan tidak dicentang
• Operator yang diperiksa dan tidak
• Operator yang dicentang dan tidak dicentang oleh pengguna - C# 11

Lihat juga

• Opsi pengkompilasi CheckForOverflowUnderflow