Pembolehubah yang tidak digunakan dalam C/C : kenapa dan bagaimana?

Apabila menyemak kod C/C, kami agak kerap menemui pembolehubah yang tidak pernah digunakan. Pembolehubah yang tidak digunakan sedemikian berlaku untuk pelbagai sebab. Dalam siaran ini, kita melihat beberapa sebab paling biasa mengapa pembolehubah yang tidak digunakan berlaku dalam kod C/C. Kami menyemak cara pengkompil memberi amaran tentang pembolehubah yang tidak digunakan dan cara menyekat amaran untuk pembolehubah tertentu yang tidak digunakan.

Mengapa pembolehubah tidak digunakan

Terdapat banyak sebab mengapa pembolehubah yang tidak digunakan mungkin kekal dalam pangkalan kod. Ini termasuk:

1. Pepijat dan kesilapan: sebab paling jelas bagi pembolehubah yang tidak digunakan ialah kod yang cacat. Sama ada pembolehubah itu benar-benar tidak diperlukan sama sekali dan boleh dialih keluar, atau pembolehubah itu perlu tetapi kami terlupa untuk menggunakannya pada beberapa titik kritikal.

2. Pemfaktoran Semula: Semasa perisian ditulis dan ditulis semula, keseluruhan bahagian kod boleh dialih keluar. Pembolehubah yang dahulunya penting kepada kod, seperti hasil pengiraan tambahan, kemudian boleh ditinggalkan, tidak digunakan.

3. Pembuktian masa hadapan: pembolehubah yang tidak digunakan mungkin bukan sahaja berlaku sebagai warisan kod lalu tetapi juga sebagai warisan kod masa hadapan. Anda mungkin mengisytiharkan pembolehubah dengan menjangkakan kod yang belum ditulis.

4. Kompilasi bersyarat: pembolehubah mungkin kekal tidak digunakan bergantung pada fasa prapemproses. Contoh standard ialah pembolehubah yang hanya ditakrifkan untuk tujuan nyahpepijat. Kod anda mungkin mengandungi sesuatu dalam bentuk
   

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

Jika anda menyusun dengan -DNDEBUG, maka pengkompil mungkin memberi amaran kepada anda bahawa value_for_comparison_only tidak pernah digunakan: sesungguhnya, pernyataan tegas telah digantikan dengan … tiada.

Bagaimana untuk mengesan pembolehubah yang tidak digunakan

Pengkompil dan tetapan tahap amaran yang berbeza boleh mempengaruhi sama ada pembolehubah dilaporkan sebagai tidak digunakan semasa proses penyusunan.

Sebagai contoh, GCC dan Clang menampilkan bendera pembolehubah-Wunused, yang mencetuskan amaran tentang pembolehubah yang tidak digunakan. Bendera sudah tersirat oleh pilihan amaran -Wall, dan ia boleh dimatikan melalui -Wno-unused-variable.

Syor saya ialah untuk menyusun sentiasa dengan -Wall dan kemudian mematikan amaran secara selektif seperti yang dibenarkan. Ini akan semua kejadian pembolehubah yang tidak digunakan.

Bagaimana untuk tidak mengesan pembolehubah yang tidak digunakan: atribut

Walaupun kita harus sentiasa menyusun dengan seberapa banyak amaran yang didayakan yang mungkin, terdapat keadaan di mana kita ingin mematikan amaran secara selektif tentang pembolehubah tertentu yang tidak digunakan. Cara popular untuk berbuat demikian ialah membuang ke batal:

Object unused_object;
(void)unused_object;

Pelakon untuk membatalkan dikira sebagai penggunaan (pro forma) pembolehubah, jadi tiada amaran akan dikeluarkan.

Walaupun ini mengalih keluar amaran bahawa unused_object tidak digunakan, seperti yang dimaksudkan, terdapat cara untuk memperbaiki perkara ini. Kami ingin mempunyai semantik eksplisit bahawa void-cast ini menandakan objek yang tidak digunakan. Cara biasa ialah melalui mentakrifkan makro:

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

Satu kelebihan ialah kami kini secara eksplisit menyampaikan maksud (atau kekurangannya) pembolehubah ini. Lebih-lebih lagi, jika kami memutuskan untuk membersihkan kod pembolehubah yang tidak digunakan, maka mencarinya adalah lebih mudah.

Melangkaui makro, kami mempunyai atribut berubah-ubah: sama ada asli kepada bahasa C atau sebagai sambungan bahasa yang disediakan oleh pengkompil C/C. Contohnya, Clang dan GCC membenarkan atribut pembolehubah __attribute__((unsed)). C 17 menyokong atribut [[mungkin_tidak digunakan]]:

Object unused_object;
(void)unused_object;

Atribut ini menyampaikan kepada pengkompil (dan kepada kami) bahawa pembolehubah ini mungkin tidak digunakan dan kami tidak apa-apa dengannya.

Secara sejarah, atribut GCC telah muncul dahulu, sebagai sambungan bahasa khusus pengkompil dalam C dan C . Dari C 17 dan seterusnya, atribut adalah sebahagian daripada standard bahasa. Walau bagaimanapun, bukan sahaja ejaannya berbeza, malah standard dan sambungan GCC tidak bersetuju untuk meletakkan atribut tersebut.

Atribut [[maybe_unused]] akan menemui kebanyakan aplikasinya dengan kompilasi bersyarat. Sebagai contoh, ia adalah sifat semula jadi untuk pembolehubah nyahpepijat sahaja. Atas sebab estetik semata-mata, saya secara peribadi lebih suka mentakrifkan makro #define MAYBE_UNUSED [[maybe_unused]] .

Kelebihan __attribute__((unused)) ialah ia sebenarnya akan memberi amaran kepada anda jika pembolehubah itu pernah digunakan dalam kod. Ia bukan mungkin tidak digunakan tetapi pasti tidak pernah digunakan, dan menggunakan pembolehubah kini akan menghasilkan amaran.

Menyimpan perkara yang sia-sia

Nampaknya, pembolehubah yang tidak digunakan adalah kerap dan cukup penting untuk memastikan sambungan bahasa mereka sendiri.

Sebagai perbandingan, adakah mengulas pembolehubah yang tidak digunakan merupakan strategi yang baik? Bukan selalu! Terdapat sebab mengapa anda akan menyimpan pembolehubah yang tidak digunakan sepanjang kod pembangunan dan peringkat penyahpepijatan. Katakan pembolehubah telah digunakan dalam versi kod yang lalu, mungkin anda masih belum memutuskan sama ada kod lama harus disimpan atau disepadukan semula; bermakna: anda tidak tahu sama ada anda mungkin memerlukan pembolehubah yang tidak digunakan lagi.

Ia mungkin membantu untuk tujuan penyahpepijatan untuk menyimpan kod seperti:

#define UNUSED(x) (void)(x);
// ...
Object unused_object;
UNUSED(unused_object);

Walaupun hasil pengiraan yang rumit tidak pernah digunakan, menyimpannya di sekeliling merupakan satu lagi titik kegagalan … dan itulah yang anda inginkan semasa penyahpepijatan. Walaupun pada asalnya tidak bertujuan untuk penyahpepijatan, menjadikan atur cara memulakan pembolehubah ini akan membantu jika anda memutuskan bahawa anda memerlukannya (sekali lagi).

Saya harap siaran tentang pembolehubah yang tidak digunakan ini berguna untuk anda.

Atas ialah kandungan terperinci Pembolehubah yang tidak digunakan dalam C/C : kenapa dan bagaimana?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!