define ja const int

Siis...suositellaan käytettäväksi juurikin const int MAX=40...

Siksi koska

const int MAX = 40;

ei ole C-kieltä vaan C -kieltä. Osittain syy on historiallinen ja toisaalta define on hieman yleiskäyttöisempi, koska tilalle voi laittaa myös makron tai aliaksen mikä ei oikein const -määreellä onnistu.

1) Syy: Define ei ole muuttuja kun taas const yleensä on (vakio sellainen)

Tehdäänpä testi, käyttäen kumpaakin tapaa:

--- ALKAA: use_const.c ---

const int XX = 40;
const int YY = 50;

int main(int argc, char *argv[]) {
int x = YY*XX;
}

--- LOPPUU ---

vs.

--- ALKAA: use_define.c ---

#define XX 40
#define YY 50

int main(int argc, char *argv[]) {
int x = YY*XX;
}

--- LOPPUU ---


Kun nuo ohjelmat käännetään, ja katostaan objdump avulla miltä laskutoimitusrivin (int x = YY*XX) käännös objekti tiedostosta, niin näyttää se seuraavaa omalla kääntäjälläni:

--- ALKAA: use_const.o ---

2a: mov 0x4,%eax
2f: imul 0x0,%eax
36: mov %eax,0xfffffffc(%ebp)

0: 28 00
4: 32 00

--- LOPPUU ---

vs.

--- ALKAA: use_define.o ---

2a: movl $0x7d0,0xfffffffc(%ebp)

--- LOPPUU ---


Elikkä defineä käyttämällä, kääntäjä näki esikääntäjän jälkeen rivin int x = 50*40, ja laski sen valmiiksi, jolloin käännetystä koodista tuli erittäin kompakti. Käyttämällä vakioiksi määriteltyjä muuttujia eli consteja, niin käännös tulos ei ollutkaan yhtä kompakti, vaan käännös meni niin kuin oli kirjoitettu (eli int x = YY*XX), eli muuttujat päätyivät objekti tiedostoon ja lopputuloksena ajonaikaisesti tapahtuva kertolaskun suoritus kahden muuttujan välillä, (ellei sitten lopullinen linkkausvaihe optiomoi tuota kertolaskua pois).


2) Syy: Define on helppo lisätä header tiedostoon

Header tiedostoon voi lisätä suoraan esim. "#define XX 30", eikä se tarvitse muuta. Mutta miten menetellä constin kanssa? Jos headeriin lisätään "const int XX = 40;" niin sillon kyseistä headeria ei voi käyttää kuin yhdessä projektin C filessä tai muutoin tulee "multiple defination XX" virhettä. Yksi vaihto ehto ohittaa kyseinen ongelma olisi käyttää headerissa riviä "static const int XX = 40;", mutta toisaalta onko kannattavaa luoda yhdestä vakiosta jokaiselle C tiedostolle omaa paikallista kopiota. Oikea tapa olisi määritellä headeriin vakion prototyyppi, eli "extern const int XX;" rivi, ja sitten yhteen C tiedostoon sen toteutus rivi, eli "const int XX = 40" rivi, mutta toisaalta tämä aiheuttaa sen, että jos halutaan käyttää vain tuota vakiota ohjelmassa, niin kyiseisen vakion toteuksen sisältävä objekti tiedoston on myös linkattava mukaan, (ja toisaalta itse vakion arvoa ei näe ellei sitten omista sitä C tiedostoa jossa on sen toteutus), eli ei riittäkkään pelkkä headeri vakion käyttöön.


3) Syy: Definella voi myös tulla esiin joitakin virheitä jotka muuton jäisi ajon aikaiseksi

Kun muuttaa 1:n esimerkkin laskutoimituksen muotoon "YY/XX", ja määritää XX:n nollaksi, niin define toteutuksella kääntäjä herjaa "warning division by zero" koska jako virhe tapahtuu käännöksen aikana, mutta const toteutus menee iloisesti läpi ilman varoituksia. Kummatkin toteutukset tosin kaatuu ajonaikaisesti.

#define MAX 40 on symbolinen vakio

mites käy jos tuota MAX vakiota laittaa sellaiseen paikkaan johon tuo "40" ei "sovi".
(vrt. makro, makron parametrien tyyppitarkastus.)

Koskapa C:ssä ei toimi
const int MAX=40;
int taulukko[MAX];
C :ssa toimii. Lisäksi C:ssä noita const:eja ei voi käyttää headereissä (tai voi jos sanoo että ne on static).
Eli summa summarun C:ssä toi const juttuei ole tuettu samallalailla kun C :ssa.