Konstanta (pemrograman)

Perbandingan dengan literal dan macro

Ada beberapa cara utama beberapa mengekspresikan nilai data yang tidak berubah selama pelaksanaan program yang konsisten di berbagai bahasa pemrograman. Salah satu cara yang sangat dasar dengan hanya menulis literal angka, karakter, atau string ke dalam kode program, yang langsung di C, C + +, dan bahasa yang sama.
Dalam bahasa assembly, angka literal dan karakter yang dilakukan dengan menggunakan "modus langsung" petunjuk yang tersedia pada mikroprosesor kebanyakan. Nama "langsung" berasal dari nilai-nilai yang segera tersedia dari instruction stream, Sebagai lawan memuat mereka secara tidak langsung dengan melihat alamat memori  Di sisi lain, nilai-nilai lama dari panjang kata mikroprosesor, seperti string dan array, ditangani langsung dan perakit umumnya memberikan "data" pseudo-op untuk menanamkan data tersebut tabel dalam sebuah program.
Cara lain adalah dengan mendefinisikan simbolik macro. Banyak bahasa pemrograman tingkat tinggi, dan perakit (assemblers), menawarkan fasilitas makro di mana programmer dapat menentukan, umumnya pada awal sebuah file sumber atau dalam file definisi yang terpisah, nama untuk nilai yang berbeda. Sebuah preprocessor kemudian mengganti nama-nama dengan nilai-nilai yang sesuai sebelum kompilasi, sehingga sesuatu yang fungsional identik dengan menggunakan literal, dengan keunggulan kecepatan modus langsung. Karena bisa sulit untuk mempertahankan kode di mana semua nilai ditulis harfiah, jika nilai yang digunakan dengan cara apapun berulang atau tidak-jelas, hal ini sering dilakukan sebagai makro.
Cara ketiga adalah dengan menyatakan dan mendefinisikan variabel constant. Sebuah variabel global atau statis dapat dinyatakan (atau simbol didefinisikan dalam assembly) dengan kualifikasi kata kunci seperti , constant, or final
yang berarti bahwa Nilai akan ditetapkan pada waktu kompilasi dan tidak boleh berubah pada saat runtime. Compiler biasanya menempatkan constant statis di bagian teks dari file objek bersama dengan kode itu sendiri, yang bertentangan dengan bagian data di mana non-const data diinisialisasi disimpan, meskipun beberapa memiliki pilihan untuk menghasilkan bagian khusus didedikasikan untuk constant, jika demikian diinginkan. Perlindungan memori dapat diterapkan ke daerah ini untuk mencegah variabel constant yang saling menimpa dengan petunjuk menyimpang.
Ini "variabel constant" berbeda dari literal dalam beberapa cara. Compiler biasanya menempatkan constant di lokasi memori tunggal yang diidentifikasi oleh simbol, daripada tersebar di seluruh executable seperti dengan makro. Sementara ini menghalangi keuntungan kecepatan dari modus langsung, ada keuntungan dalam efisiensi memori, dan debugger dapat bekerja dengan constant saat runtime. Juga ketika macro dapat didefinisikan ulang sengaja oleh file header bertentangan dalam C dan C + +, constant yang bertentangan terdeteksi pada waktu kompilasi.
Tergantung pada bahasa, constant dapat menjadi untyped atau typed. Dalam C dan C + +, macro menyediakan bekas/sisa, sedangkan  menyediakan yang terakhir:
#define PI 3.1415926535const float pi2 = 3.1415926535;
while in Ada, there are universal numeric types that can be used, if desired:
pi: constant:= 3.1415926535;pi2: constant float:= 3.1415926535;

dengan varian untyped yang implisit dikonversi ke jenis yang sesuai pada setiap penggunaan

Parameter fungsi constant

Dalam C / C + +, adalah mungkin untuk menyatakan parameter dari fungsi atau metode sebagai constant. Ini adalah jaminan bahwa parameter ini tidak dapat diubah setelah tugas pertama (secara tidak sengaja). Jika parameter adalah pra-didefinisikan (built-in) jenis, itu adalah called by value/disebut oleh nilai dan tidak dapat diubah. Jika itu adalah tipe user-defined, variabel adalah alamat pointer, yang tidak dapat dimodifikasi juga. Namun, isi dari objek dapat dimodifikasi tanpa batas. Mendeklarasikan parameter sebagai constant mungkin menjadi cara untuk signalise bahwa nilai harus tidak diubah, tetapi programmer harus diingat bahwa pemeriksaan tentang modifikasi objek tidak dapat dilakukan oleh compiler.
Selain fitur ini, itu di C / C + + juga memungkinkan untuk menyatakan fungsi atau metode sebagai . Hal ini mencegah fungsi atau metode dari memodifikasi apa pun kecuali variabel lokal.
Dalam C #, kata kunci  ada, tetapi tidak memiliki efek yang sama untuk parameter fungsi, seperti halnya di C / C + +. Ada, bagaimanapun, suatu cara untuk "membangkitkan" compiler untuk melakukan membuat cek, meskipun itu adalah sedikit rumit.
Untuk mendapatkan efek yang sama, pertama, dua antarmuka yang didefinisikan
public interface IReadable{
  IValueInterface aValue { get; }}public interface IWritable: IReadable{
  IValueInterface aValue { set; }}public class AnObject: IWritable{
  private ConcreteValue _aValue;

  public IValueInterface aValue
  {
    get { return _aValue; }
    set { _aValue = value as ConcreteValue; }
  }}
Kemudian, metode yang didefinisikan memilih antarmuka yang tepat dengan read-only atau membaca / menulis kemampuan:
public void DoSomething(IReadable aVariable){
  // Cannot modify aVariable!}public void DoSomethingElse(IWritable aVariable){
  // Can modify aVariable, so be careful!}

Berorientasi objek constant

Sebuah struktur data constant atau objek yang disebut sebagai "immutable" dalam berorientasi objek bahasa. Sebuah benda yang berubah menganugerahkan beberapa keuntungan dalam perancangan program. Misalnya, mungkin "disalin" hanya dengan menyalin pointer atau referensi, menghindari operasi memakan waktu copy dan menghemat memori.
Bahasa berorientasi objek seperti C + + memperpanjang constantness lebih jauh. Setiap anggota dari struct atau kelas dapat dibuat const bahkan jika kelas tidak. Sebaliknya,  kata kunci memungkinkan anggota kelas untuk diubah bahkan jika objek yang instantiated sebagai .
Bahkan fungsi dapat const di C + +. Makna di sini adalah bahwa hanya fungsi const dapat disebut untuk objek instantiated sebagai const, fungsi const tidak mengubah data non-bisa berubah.
Java memiliki kualifikasi yang disebut final
yang mencegah perubahan referensi dan memastikan tidak akan pernah menunjuk ke objek yang berbeda. Hal ini tidak mencegah perubahan pada objek disebut sendiri. Jawa final
pada dasarnya setara dengan pointer di C + +. Ini tidak menyediakan fitur lain dari .
C # memiliki kedua const dan readonlyyang di kualifikasi, const adalah hanya untuk kompilasi-waktu constant, sementara readonly dapat digunakan dalam konstruktor dan aplikasi runtime lainnya.