Mengapa kita tidak membuang pengecualian ini?

Saya menemukan halaman MSDN ini yang menyatakan:

Jangan melempar Exception , SystemException , NullReferenceException , atau IndexOutOfRangeException dengan sengaja dari kode sumber Anda sendiri.

Sayangnya, tidak repot-repot menjelaskan alasannya. Saya bisa menebak alasannya tetapi saya berharap seseorang yang lebih berwibawa pada subjek dapat menawarkan wawasan mereka.

Dua yang pertama masuk akal, tetapi dua yang terakhir tampak seperti yang ingin Anda gunakan (dan sebenarnya, saya punya).

Selanjutnya, apakah ini satu-satunya pengecualian yang harus dihindari? Jika ada yang lain, apakah mereka dan mengapa mereka juga harus dihindari?

Exceptionadalah tipe dasar untuk semua pengecualian, dan karenanya sangat tidak spesifik. Anda tidak boleh membuang pengecualian ini karena tidak mengandung informasi yang berguna. Penangkapan kode panggilan untuk pengecualian tidak dapat menghilangkan ambiguitas pengecualian yang sengaja dilemparkan (dari logika Anda) dari pengecualian sistem lain yang sama sekali tidak diinginkan dan menunjukkan kesalahan nyata.

Alasan yang sama juga berlaku untuk SystemException. Jika Anda melihat daftar jenis turunan, Anda dapat melihat sejumlah besar pengecualian lain dengan semantik yang sangat berbeda.

NullReferenceExceptiondan IndexOutOfRangeExceptiondari jenis yang berbeda. Sekarang ini adalah pengecualian yang sangat spesifik, jadi membuangnya bisa saja tidak masalah. Namun, Anda tetap tidak ingin membuang ini, karena biasanya itu berarti ada beberapa kesalahan aktual dalam logika Anda. Misalnya pengecualian referensi null berarti Anda mencoba mengakses anggota objek yang null. Jika itu adalah kemungkinan dalam kode Anda, Anda harus selalu memeriksa secara eksplisit nulldan melemparkan pengecualian yang lebih berguna sebagai gantinya (misalnya ArgumentNullException). Demikian pula, IndexOutOfRangeExceptions terjadi ketika Anda mengakses indeks yang tidak valid (pada array — bukan daftar). Anda harus selalu memastikan bahwa Anda tidak melakukan itu di tempat pertama dan memeriksa batas-batas misalnya array terlebih dahulu.

Ada beberapa pengecualian lain seperti keduanya, misalnya InvalidCastExceptionatau DivideByZeroException, yang diberikan untuk kesalahan tertentu dalam kode Anda dan biasanya berarti Anda melakukan sesuatu yang salah atau Anda tidak memeriksa beberapa nilai yang tidak valid terlebih dahulu. Dengan membuangnya secara sadar dari kode Anda, Anda hanya mempersulit kode pemanggil untuk menentukan apakah mereka terlempar karena beberapa kesalahan dalam kode, atau hanya karena Anda memutuskan untuk menggunakannya kembali untuk sesuatu dalam implementasi Anda.

Tentu saja, ada beberapa pengecualian (hah) untuk aturan ini. Jika Anda sedang membangun sesuatu yang dapat menyebabkan pengecualian yang sama persis dengan yang sudah ada, silakan gunakan itu, terutama jika Anda mencoba untuk mencocokkan beberapa perilaku bawaan. Pastikan Anda memilih jenis pengecualian yang sangat spesifik.

Namun secara umum, kecuali Anda menemukan pengecualian (spesifik) yang memenuhi kebutuhan Anda, Anda harus selalu mempertimbangkan untuk membuat jenis pengecualian Anda sendiri untuk pengecualian khusus yang diharapkan. Terutama saat Anda menulis kode perpustakaan, ini bisa sangat berguna untuk memisahkan sumber pengecualian.

Saya menduga maksud dengan 2 terakhir adalah untuk mencegah kebingungan dengan pengecualian bawaan yang memiliki arti yang diharapkan. Namun, saya berpendapat bahwa jika Anda mempertahankan maksud pengecualian yang tepat : itu adalah yang benar untuk throw. Misalnya, jika Anda menulis koleksi ubahsuaian, tampaknya sepenuhnya masuk akal untuk digunakan IndexOutOfRangeException- lebih jelas dan lebih spesifik, IMO, daripada ArgumentOutOfRangeException. Dan sementara List<T>mungkin memilih yang terakhir, setidaknya ada 41 tempat (milik reflektor) di BCL (tidak termasuk array) yang melempar dipesan lebih dahulu IndexOutOfRangeException- tidak ada yang cukup "tingkat rendah" untuk pantas mendapatkan pengecualian khusus. Jadi ya, saya pikir Anda bisa dengan adil membantah bahwa pedoman itu konyol. Juga,NullReferenceException agak berguna dalam metode ekstensi - jika Anda ingin mempertahankan semantik yang:

obj.SomeMethod(); // this is actually an extension method

melempar NullReferenceExceptionketika objadalah null.

Seperti yang Anda tunjukkan, dalam artikel Membuat dan Melempar Pengecualian (Panduan Pemrograman C #) di bawah topik Hal-hal yang Harus Dihindari Saat Melempar Pengecualian , Microsoft memang mencantumkan System.IndexOutOfRangeExceptionsebagai jenis pengecualian yang tidak boleh dibuang dengan sengaja dari kode sumber Anda sendiri.

Sebaliknya, bagaimanapun, dalam lemparan artikel (C # Reference) , Microsoft tampaknya melanggar pedomannya sendiri. Berikut adalah metode yang disertakan Microsoft dalam contohnya:

static int GetNumber(int index)
{
    int[] nums = { 300, 600, 900 };
    if (index > nums.Length)
    {
        throw new IndexOutOfRangeException();
    }
    return nums[index];
}

Jadi, Microsoft sendiri tidak konsisten karena mendemonstrasikan pelemparan IndexOutOfRangeExceptiondalam dokumentasinya untuk throw!

Hal ini membuat saya percaya bahwa setidaknya untuk kasus IndexOutOfRangeException, mungkin ada saat-saat di mana jenis pengecualian itu dapat dilemparkan oleh programmer dan dianggap sebagai praktik yang dapat diterima.

Ketika saya membaca pertanyaan Anda, saya bertanya pada diri sendiri dalam kondisi apa seseorang ingin membuang tipe pengecualian NullReferenceException, InvalidCastExceptionatau ArgumentOutOfRangeException.

Menurut pendapat saya, ketika menemukan salah satu dari jenis pengecualian tersebut, saya (pengembang) merasa prihatin dengan peringatan dalam arti bahwa kompiler sedang berbicara kepada saya. Jadi, mengizinkan Anda (pengembang) untuk melempar tipe pengecualian tersebut sama dengan (kompilator) menjual tanggung jawab. Misalnya, ini menyarankan kompilator sekarang harus mengizinkan pengembang untuk memutuskan apakah suatu objek null. Tetapi membuat penentuan seperti itu seharusnya menjadi tugas compiler.

PS: Sejak tahun 2003 saya mengembangkan pengecualian saya sendiri sehingga saya bisa membuangnya sesuai keinginan. Saya pikir itu dianggap praktik terbaik untuk melakukannya.

Mengesampingkan diskusi tentang NullReferenceExceptiondan IndexOutOfBoundsExceptionkesampingkan:

Bagaimana dengan menangkap dan melempar System.Exception. Saya telah banyak membuang jenis pengecualian ini dalam kode saya dan saya tidak pernah mengacaukannya. Demikian pula, sangat sering saya menangkap Exceptiontipe yang tidak spesifik , dan itu juga bekerja dengan cukup baik untuk saya. Jadi kenapa begitu?

Biasanya pengguna berpendapat, bahwa mereka harus bisa membedakan penyebab kesalahan. Dari pengalaman saya, hanya ada sedikit situasi di mana Anda ingin menangani jenis pengecualian yang berbeda secara berbeda. Untuk kasus tersebut, saat Anda mengharapkan pengguna menangani error secara terprogram, Anda harus menampilkan jenis pengecualian yang lebih spesifik. Untuk kasus lain, saya tidak yakin dengan pedoman praktik terbaik umum.

Jadi, terkait melempar, Exceptionsaya tidak melihat alasan untuk melarang ini dalam semua kasus.

EDIT: juga dari halaman MSDN:

Pengecualian tidak boleh digunakan untuk mengubah aliran program sebagai bagian dari eksekusi biasa. Pengecualian hanya boleh digunakan untuk melaporkan dan menangani kondisi kesalahan.

Klausa tangkapan yang berlebihan dengan logika individu untuk jenis pengecualian yang berbeda juga bukan praktik terbaik.