3. Semantica variabilelor
3.1. Introducere Variabile
limbaje de programare imperativului - o abstracție a arhitecturii calculatorului care stau la baza von Neumann. Cele două principale com-ale acestei arhitecturi piesele originale este memoria, care stochează date și instrucțiuni, precum și un procesor capabil de a schimba conținutul memoriei. Limbajul de programare ab masini straktsiyami amintiri sunt variabile. În unele cazuri, funcțiile de captărilor și celulele ticile apropiate; de exemplu este o variabilă de tip întreg, care este de obicei prezentat ca un cuvânt de memorie hardware. În alte cazuri, abstractizare este destul de departe de celule de memorie. Deci, în scopul de a menține o matrice tridimensională a funcției de afișare software este necesară.
Pentru a caracteriza variabilele pe care le puteți utiliza proprietățile, sau atribute, dintre care cel mai important este tipul - conceptul de bază în limbile. Problemele importante sunt domeniul de aplicare și de timp variabile ale vieții. Acestea sunt legate de tip de verificare și de inițializare. O altă parte esențială a structurii tipurilor de date lingvistice este compatibilitatea lor.
În continuare se va referi adesea la limba de familie ca o singură limbă. Pe-exemplu, vorbind de FORTRAN, ne referim la toate versiunile sale. Said de purtat familii Ada și Pascal, și. Trimiterile la C includ versiunea sa originală și versiunea de ANSI C. specifice limbii vor fi luate în considerare numai în cazul în care aceasta este diferită de alți reprezentanți.
Unul dintre variabile al-ribut reprezintă nume. Acestea sunt utilizate nu doar pentru variabile re-denumire. Numele sunt de asemenea asociate cu semne, subrutine, parametrii formali și construcții de programare Dru-gimi. Sinonim cu numele este de multe ori identificatorul.
Aspecte-cheie legate de denumirile sunt după cum urmează:
Care este lungimea maximă a numelui?
dacă numele folosite simbolul conector?
dacă numele sunt sensibile la caz, care tastat litere?
sunt rezervate cuvinte speciale sau cheie?
Aceste aspecte sunt discutate în următoarele două secțiuni.
Nume - un șir de caractere folosite pentru a identifica un substantiv-Ness în program. În prima limbaje de programare folosite nume care constau dintr-un singur caracter. Era normal, de la începutul anului limbajele de programare-TION au fost în principal matematică și matematică utilizate lung nume-ing constând dintr-un singur caracter, pentru desemnarea oficială a parametrilor necunoscuți.
Această tradiție a fost rupt odată cu apariția limbajului FORTRAN 1, în cazul în care numele, să decidă din nou pentru a utiliza până la șase caractere. O astfel de lungime de restricție păstrată în limba Fortran 77. În FORTRAN 90 și C-lichestvo permis să caractere în nume a crescut la 31. În Ada, nu există restricții cu privire la lungimea numelui, și toate numele sunt semnificative. În unele limbi, cum ar fi C ++, și nu există nici o limită privind lungimea numelui, deși creatorii, uneori, o astfel de restricție este introdus sisteme specifice implementari ale acestor limbi la numele tabelului, care, la momentul când cineva pilyatsii ID-urile stocate nu a fost prea mare.
O structură comună a numelui este un șir de caractere, cu sau fara a se limita lungimea acestuia, o astfel de cuplare cuprinzând codul ca un caracter de subliniere (_). Subliniere este utilizat în același scop, și că diferența în textele românești, dar el nu se sparge numele șir ce conține ea. Cele mai multe limbaje de programare moderne permit utilizarea de caractere în legătură nume.
În unele limbi (de exemplu, C, C ++, Java, C #) să se facă distincția între litere mari și mici, adică denumirile în aceste limbi sunt sensibile la litere. De exemplu, măsurile în C ++, următoarele trei nume diferite: a crescut, a crescut și Rose. Într-un sens, acest lucru reduce în mod semnificativ lizibilitatea, ca numele, se pare că arată foarte asemănătoare, de fapt, reprezintă o varietate de obiecte. Acest raport depinde de registrul pod încalcă principiul de design, care prevede că limba Const-ruktsii având același tip trebuie să aibă același înțeles.
Nu toată lumea crede că dependența de nume care nu cu succes a registrului de proprietate. De exemplu, este posibil să se evite dependența folosind doar numele litere mici în C. Cu toate acestea, Java este Daubney nu este posibil, deoarece multe nume predefinite conțin atât litere mari și mici.
În versiunile de FORTRAN FORTRAN de până la 90 de nume pot Execu-apel a tuturor scrisorilor de capital, a fost restricții inutile. Multe realizări-TION FORTRAN 77 de limbi (cum ar fi în FORTRAN 90) vă permit să utilizați litere Strauch Nye - acestea sunt convertite în litere mari pentru uz intern la momentul compilarii.
Un alt aspect important legat cu numele, este abilitatea de a folosi simbolurile internaționale. Sintaxa unui număr de limbi moderne (Java, C #), în funcție de caractere în format UNICODE. Astfel de limbi recunosc, de exemplu, utilizarea de caractere în limba rusă în identificatorii.
3.2.2. cuvinte speciale
În limbile cuvinte speciale pentru a îmbunătăți lizibilitatea programelor, de programare, de asteptare măsurile luate. Ele sunt, de asemenea, folosite pentru separarea programelor de entități sintactice. Aceste cuvinte sunt clasificatoriu-ca rezervate în cele mai multe limbaje de programare, dar în unele ele sunt singura cheie.
Compilatoare de limba FORTRAN și cititorii programelor sale trebuie să facă distincția numele și cuvintele speciale din context.
cuvânt rezervat nu poate fi folosit ca-nr IME. În dezvoltarea limbii este mai bine să se stabilească cuvintele rezervate OMS cuvinte cheie posibilitatea suprascriere poate afecta lizibilitatea. De exemplu, în FORTRAN pot întâlni operatori
În acest curs, exemple de programe sunt evidențiate cuvinte rezervate, sunt cu caractere aldine.
Multe limbi predefinite nume sunt yuschiesya-ceva mediu între cuvinte rezervate și nume de utilizator. Ei au un sens predeterminat, dar poate fi înlocuită favoarea Vatel. De exemplu, sunt construite în limba numele Ada tipurilor de date, cum ar fi: numere intregi si FLOAT, predeterminate. Cu toate acestea, aceste nume sunt rezervate: ele pot fi ignorate program de luptă Liu. În Pascal nume predefinite sunt numite uneori identificatori standard. Aceste rutine lingvistice nume comune IO, inclusiv numele de rutine readln și writeln. predestinat.
Descrieri de nume predefinite în Pascal și Ada compilatoare trebuie să fie vizibile aceste limbi ca tip de verificare se face la momentul compilarii. În ambele aceste exemple limbi nume de compilator vizibile implicit predefinite. Alte nume predefinite de Ada, pe exemplu, GET de intrare și de ieșire rutine standard și PUT, în mod clar făcute vizibile de către un operator cu.
În C și C ++, numele multor biblioteci predefinite utilizate programe vatelskimi-beneficii. De exemplu, numele printf funcții de intrare și de ieșire și scanf sunt determinate de biblioteca stdio. acces compilator la numele, NYM predeterminat în biblioteci, este posibil prin fișierele antet corespunzătoare.
Variabilele Talk atribute conduce la studiul de concepte importante, con-asociate cu această întrebare: nume alternativ, cu caracter obligatoriu, legarea de timp ny a anunțat, tip de verificare, tipul de control puternic, consultați aceste reguli și medii referințe.
Numele de variabile - acestea sunt cele mai comune nume din cadrul programelor. Cele mai multe dintre variabilele au nume. „ID-ul“ este de multe ori în loc de cuvântul „numele“ este folosit.
3.3.2 Nume alternative
Nume alternative pot fi create într-un program în mai multe moduri diferite. În FORTRAN pentru această afirmație este folosită ECHIVALENȚEI. Ele pot fi, de asemenea, create cu ajutorul înregistrărilor variante în limbi, cum ar fi Pascal și Ada, sau de către asociații în limbile C și C ++. Nume alternative mye-a crea aceste tipuri de date, economisind memorie, permițând alternarea diferitelor tipuri de Execu-apel de la momente diferite ale aceleiași celule de memorie. Acestea pot fi utilizate și pentru norme conștiente privind-Rushen de a lucra cu tipuri în unele limbi, care să permită această oportunitate.
Unele dintre cauzele utilizării denumiri alternative, care nu mai sunt sous-există. În loc de a crea un nume alternative puteți utiliza memoria dinamică pentru memorie reutilizare. Mai mult decât atât, computer modern multă memorie de durere-ea decât a fost în acele zile, atunci când a dezvoltat limbaje cum ar fi FORTRAN.
3.3.3. Tipul și valoarea
Tipul de variabilă definește structura și intervalul de valori care pot fi re-dine și un set de operații pentru variabilele acelui tip. De exemplu, pentru tipul Fortran INTEGER în unele implementări, intervalul este -32,768-32767 și definește operațiile aritmetice de adunare, scădere, înmulțire-minte, diviziunea și exponentiala. De asemenea, sunt definite funcții de bibliotecă pentru a efectua alte operații, de exemplu, calcularea valorii absolute a numărului.
Valoarea variabilă numită uneori valoarea dreptul (r-valoare), deoarece este necesară atunci când se utilizează variabila indicată în partea dreaptă a misiunii operatorului-Rhatore. Pentru a avea acces la valoarea din dreapta a variabilei, ar trebui să determine mai întâi valoarea din stânga. complică în mod semnificativ procesul mo-intestinal, de exemplu, regulile de revizuire a datelor.