Kaj je zaporedna točka?

Točka zaporedja v računalniškem programiranju je trenutek, ki se pojavi med izvajanjem programa, ko je vrednost spremenljivke v celoti izračunana, brez čakajočih sprememb iz prejšnjih operacij in še nobenih izračunov v prihodnjem izrazu. Obstaja več mest, kjer obstajajo točke zaporedja – predvsem definirane v standardu jezika C – na primer pred izvedbo kode znotraj funkcije, na koncu kontrolnih izrazov v stavkih, kot sta »za« in »if« in na koncu katerega koli popolnega izraza, kot je preprosta vrstica kode C. Nekateri razlogi za definiranje točke zaporedja so izogibanje situacijam, ki so dvoumne, imajo za posledico nedefinirano vedenje ali bi lahko zmedle prevajalnik in ustvarile kodo, ki je nepredvidljiva. V mnogih primerih programerji ne skrbijo izrecno glede točke zaporedja, čeprav je pri ustvarjanju prevajalnika koncept zelo pomemben za zagotavljanje pravilne izvedbe kode.

Primer zaporedne točke v programskem jeziku C je v stavku A = A + B;. V tem izrazu je podpičje točka zaporedja; ko je izraz končan, bo vrednost A ovrednotena in na njej ne bodo izvedeni nobeni preostali izračuni, dokler se ne začne naslednji izraz. Znak enakosti ni zaporedna točka, ker lahko prevajalnik spremeni vrednost A v poljubnem vrstnem redu skozi izraz.

Glavno pravilo zaporedne točke je, da nobena spremenljivka ne bo dostopna več kot enkrat med točkami za kakršen koli namen, razen za izračun spremembe njene vrednosti. Kršitev tega pravila je najbolje izražena pri dodelitvi vrednosti matriki. Če obstajata spremenljivka A in niz, imenovan I, potem je slovnično v C mogoče zapisati izraz I[ A ] = A++. Tukaj je spremenljivka dostopna več kot enkrat z namenom, ki ni vrednotenje njene trenutne vrednosti; in sicer se uporablja kot indeks v matriki I. To pomeni, da lahko prevajalnik poveča A, preden se uporabi kot indeks ali potem, ko se uporabi, kar ustvari nepredvidljivo vedenje, na katerega se v programu ni mogoče zanesti.

Točko zaporedja je v bistvu mogoče razumeti kot način za zagotovitev, da lahko in jih bo prevajalnik dosledno ocenjeval in izvajal. To prevajalcu omogoča tudi uporabo optimizacijskih strategij, ker je definirano vedenje predvidljivo. Znotraj standarda jezika C obstajajo trije glavni primeri zaporednih točk, in sicer ko se funkcija začne izvajati, na točki logičnih operatorjev in vejic ter na koncu popolnega izraza, ki se konča s podpičjem, kot večina stavkov C .