Apa itu keamanan tipe?

Jenis Keselamatan adalah bagian dari pemrograman komputer yang membantu mencegah pembuatan bug yang muncul saat program berjalan.Jika jenis keamanan longgar, maka ada probabilitas tinggi bahwa akan ada beberapa bug, yang dapat menyebabkan berbagai kesalahan.Cara paling umum untuk memastikan kesalahan ini tidak terjadi adalah dengan menggunakan pengkodean yang kuat.Sementara banyak bahasa pemrograman secara inheren memiliki fungsi untuk memastikan kesetiaan pemrograman dan untuk mencegah kesalahan, pengkodean yang buruk dapat membuat fungsi -fungsi ini tidak berdaya.Ada dua cara agar bahasa pemrograman dapat memeriksa kesalahan ini mdash;statis atau dinamis mdash;dan keduanya bisa efektif.

Kesalahan adalah umum dalam program dan pengkodean dan, dengan keamanan tipe, kesalahan secara khusus terjadi dari berbagai tipe data yang tidak diatur dengan benar.Kesalahan yang dapat terjadi berkisar dari nominal hingga serius, tetapi sebagian besar cenderung serius.Ini dapat menutup program, atau pengkodean yang buruk dapat menyebabkan masalah yang lebih buruk yang dapat membuat pengkodean tidak berguna dan terfragmentasi.

Ada banyak cara untuk memastikan jenis keamanan, tetapi salah satu cara yang lebih mudah dan lebih umum adalah dengan menggunakan pengkodean tipe yang kuat.Tidak seperti metode pengkodean yang lebih lembut, yang dapat memungkinkan bahasa pemrograman untuk mendefinisikan pengkodean yang canggung secara tidak benar, pengkodean tipe yang kuat sangat langsung.Koding tipe yang kuat juga menggunakan aturan dan peraturan untuk memastikan pengkodean tidak didefinisikan secara tidak tepat dan memastikan ada beberapa kesalahan.

Pelanggaran dalam jenis keamanan dapat mengakibatkan masalah besar, sehingga banyak bahasa pemrograman telah mengadopsi fitur untuk menguji dan menghilangkan mdash;atau peringatan pemrogram ke mdash;masalah-masalah ini.Sebelum pemrograman berlanjut ke runtime, bahasa akan memeriksa kesalahan umum dan biasanya akan membatalkan peluncuran runtime jika kesalahan terdeteksi.Pada saat yang sama, fitur -fitur ini mungkin tidak berguna jika programmer menciptakan pengkodean yang sangat buruk.Bahasa tidak akan dapat mengenali tanda -tanda umum keselamatan jenis, sehingga program akan berjalan meskipun ada kesalahan.

Ada dua metode untuk menangkap masalah keamanan jenis potensial, dan ini hanya berlaku untuk bahasa pemrograman yang secara otomatis memeriksa kesalahan untuk kesalahan.Metode statis hanya mencari tanda -tanda umum dari suatu masalah ketika program sedang berlangsung.Metode lain, dinamis, secara menyeluruh memeriksa kode dan mencari peran masing -masing elemen pengkodean dalam program partikulat.Kemudian mencari melalui seluruh program untuk melihat apakah ada pengecualian khusus untuk pengkodean yang bisa menjadi kesalahan, dan kemudian memungkinkannya lulus atau menghentikan peluncuran program.