LINUXSOFT.cz Přeskoč levou lištu

ARCHIV



   

> C/C++ (9) - Pole

Dnes se zaměříme na jednoduchou datovou strukturu - pole. Probereme také vztah mezi poli a ukazateli a dojde i na oblíbené programátorské chyby.

9.12.2004 13:00 | Jan Němec | Články autora | přečteno 102790×

Pole

Používat proměnné už umíme. Definovat jednoduchou proměnnou, přiřadit do ní hodnotu a někdy později ji zase načíst není nic těžkého. Dnes si ukážeme, jak lze jednou definicí vytvořit proměnných více a jak k nim budeme přistupovat. Pokud chceme takto hromadně definovat nějaký počet proměnných určitého typu, napíšeme

typ jméno[číslo];

například

int a[10];

Překladač vyhradí souvislý kus paměti pro deset proměnných typu int. Tato konstrukce se nazývá pole. Velikost pole musí být známa již v době překladu, nelze tedy psát třeba

int a[n];

kde n je obyčejná proměnná. K jednotlivým proměnným lze přistupovat pomocí indexu v hranatých závorkách, například

a[0] = 5;
a[7] = a[1] + 15;

Index pole (narozdíl od velikosti pole v definici) nemusí být konstanta, takže pokud třeba chceme vyplnit pole tak, aby na pozici i bylo číslo 2*i, nebudeme otrocky psát

int a[10];
a[0] = 0;
a[1] = 2;
a[2] = 4;
/* ... */
a[9] = 18;

ale použijeme for cyklus

int i;
int a[10];
for (i = 0; i < 10; i++)
  a[i] = 2 * i;
 

Všimněte si, že pole velikosti n má prvky od na pozicích od 0 do n - 1. Oblíbenou chybou je přístup k prvku na pozici n. Je to chyba o to nebezpečnější, že jazyk C nekontroluje meze polí, z hlediska překladače je tedy zcela v pořádku příkaz

int a[10];
a[10] = 20;

a přeloží se jako "do paměti těsně za pole a vlož číslo 20 se všemi důsledky, které to bude mít". Za polem a může být volné místo, jiná proměnná, adresa kódu po návratu z funkce, případně i paměť, do které nemáme právo psát atd. Chování takového programu pak závisí na platformě, překladači a někdy i na náhodě. Známé chyby spojené někdy až s vykonáním nepřátelského kódu jsou obvykle právě důsledky špatného hlídání mezí polí v programu. Útočník (například přes Internet) zadá programu delší vstup, než je velikost připraveného pole, a díky programátorské chybě nebude tento vstup odmítnut nebo zkrácen. Do vstupu přidá kus kódu pro daný procesor a nakonec i přepíše adresu pro návrat z funkce na tento kód. Výše uvedený postup samozřejmě závisí na architektuře napadeného počítače a nemusí být ve všech případech možný.

Podobně jako běžnou proměnnou lze i pole inicializovat již při definici.

int a[5] = {1, 2, 3, 4, 5};
 /* nebo i */
int b[5] = {1, 2};

Inicializačních hodnot může být méně než je velikost pole. V tom případě se naplní začátek pole a zbývající hodnoty nejsou definovány.

Běžným příkladem pro začínající programátory, který ukazuje praktickou použitelnost pole je třídění.

 /* Nesetříděné pole*/
int a[10] = {8, 4, 2, 5, 0, 9, 7, 6, 3, 1};
int i, j, m, tmp;

for (i = 0; i < 9; i++) {
  /* Najdi minimum nesetříděné části pole */
  m = i;
  for (j = i + 1; j < 10; j++)
    if (a[m] > a[j]) m = j;
  /* v a[m] je minimum, prohoď a[m] a a[i] */
  tmp = a[i];
  a[i] = a[m];
  a[m] = tmp;
}

Prvkem pole může být jakýkoli typ. Tím typem může být opět pole, takže lze vytvářet nejen pole např. intů ale i pole polí intů. Říká se tomu vícerozměrné pole. Takové pole pak má dva indexy.

int matice[6][3];
int i, j;

for (i = 0; i < 6; i++)
  for (j = 0; j < 3; j++)
    matice[i][j] = i + j;
 

Lze samozřejmě vytvářet i tří a vícerozměrné pole. Statická inicializace vícerozměrného pole se provádí stejně jako u jednorozměrného. Dvourozměrné pole reprezentující funkci xor by vypadalo asi takhle:

int xor[2][2] = {{0, 1}, {1, 0}};

Norma C zaručuje, že prvky pole následují v paměti bezprostředně za sebou. Toho lze u vícerozměrných polí využít k různým způsobům indexace jednoho prvku. Při definici

int matice[6][3];

se vyhradí místo pro šest tříprvkových polí intů, souvislý kus paměti o velikosti 6 * 3 * sizeof(int) bytů. Díky toleranci C a absenci kontroly mezí polí pak můžeme třeba místo matice[1][0] psát matice[0][3]. Výraz matice[0][3] znamená první int za polem matice[0], tedy první int pole matice[1], tedy matice[1][0]. Vícerozměrné pole tak můžeme adresovat jen pomocí posledního indexu, v konkrétních příkladech to může být (zejména z důvodů efektivity) výhodnější.

Pole a ukazatele

V Céčku je pole do značné míry kompatibilní s ukazatelem. Identifikátor pole bez indexu v hranatých závorkách se chová jako konstantní ukazatel na první prvek pole. Konstantní ukazatel znamená ukazatel, jehož hodnotu nelze měnit, lze však měnit obsah paměti, na niž ukazuje. Typ ukazatele je stejný jako typ prvků pole.

int i[3]; /* pole tří intů */
int *pi;  /* ukazatel na int */

pi = i;  /* pi míří na začátek pole, tedy na i[0] */
*pi = 1; /* totéž, jako i[0] = 1; */

Naopak neprojde

i = pi;

neboť pole samo (nikoliv jeho obsah) je konstantní. Kompatibilita polí a ukazatelů je obousměrná, k ukazateli lze přistupovat jako k poli.

pi[2] = 5;
printf("%i\n", pi[2]);

Podmínkou samozřejmě je, že ukazatel míří na nějakou paměť, k níž máme přístup.

Počítání s ukazateli

S ukazateli lze provádět některé aritmetické operace. Lze k němu přičíst nebo od něj odečíst nějaké číslo, dva ukazatele stejného typu lze také porovnávat a odečítat.

int i;
char *s = "linuxsoft.cz";
 /* s teď ukazuje na písmeno 'l'*/
char *p = s + 4;
 /* přičtení čísla k ukazateli, p míří o čtyři znaky dál, tedy na 'x' */
p--;
 /* totéž jako p = p - 1 nebo jako p -= 1, teď míří p na 'u' */
i = p - s;
 /* Rozdíl dvou ukazatelů, o kolik prvků se liší. V i bude 3 */
if (p <= s) puts("Něco nefunguje.");
 /* Porovnání ukazatelů, který ukazuje na vyšší paměť? Lze použít všechny
   porovnávací operátory včetně == */

Je důležité vědět, že celá ukazatelová aritmetika počítá s jednotkami velikosti typu ukazatele a nikoli s byty. Například ukazatel na int zvětšený v Céčku o jedničku míří do paměti o sizeof(int) výše a nikoli na druhý byte původního intu. Podobně rozdíl dvou ukazatelů typu int * mířících na dva sousední prvky pole intů (takže faktický rozdíl v paměti je sizeof(int) bytů) nebude sizeof(int), ale jedna.

Díky kompatibilitě ukazatelů a polí si může programátor vybrat, jakým stylem bude psát. Přístup k paměti v syntaxi pole je určitě přehlednější, ale přístup přes ukazatele může za určitých okolností vést k efektivnějšímu kódu. Týká se to zejména překladačů se špatnou optimalizací nebo složitějších algoritmů.

Vynulovat pole můžeme dvěma způsoby:

int a[10];
int i;
for (i = 0; i < 10; i++)
  a[i] = 0;

nebo

int a[10];
int *p, *pkonec;

 /* do pkonec dej ukazatel za pole */
pkonec = a + 10;
p = a;
 /* dokud p míří na adresu, která není za polem, do *p dej nulu a zvětši
   p o jeden prvek (respektive o sizeof(int) bytů) */
while (p < pkonec) *p++ = 0;

První způsob řešení je určitě přehlednější.

Pokračování příště

Příště se podíváme na uživatelský vstup a řetězce.

Verze pro tisk

pridej.cz

 

DISKUZE

Dobrá práce .... 19.12.2004 11:20 Pajus




Příspívat do diskuze mohou pouze registrovaní uživatelé.
> Vyhledávání software
> Vyhledávání článků

28.11.2018 23:56 /František Kučera
Prosincový sraz spolku OpenAlt se koná ve středu 5.12.2018 od 16:00 na adrese Zikova 1903/4, Praha 6. Tentokrát navštívíme organizaci CESNET. Na programu jsou dvě přednášky: Distribuované úložiště Ceph (Michal Strnad) a Plně šifrovaný disk na moderním systému (Ondřej Caletka). Následně se přesuneme do některé z nedalekých restaurací, kde budeme pokračovat v diskusi.
Komentářů: 1

12.11.2018 21:28 /Redakce Linuxsoft.cz
22. listopadu 2018 se koná v Praze na Karlově náměstí již pátý ročník konference s tématem Datová centra pro business, která nabídne odpovědi na aktuální a často řešené otázky: Jaké jsou aktuální trendy v oblasti datových center a jak je optimálně využít pro vlastní prospěch? Jak si zajistit odpovídající služby datových center? Podle jakých kritérií vybírat dodavatele služeb? Jak volit vhodné součásti infrastruktury při budování či rozšiřování vlastního datového centra? Jak efektivně datové centrum spravovat? Jak co nejlépe eliminovat možná rizika? apod. Příznivci LinuxSoftu mohou při registraci uplatnit kód LIN350, který jim přinese zvýhodněné vstupné s 50% slevou.
Přidat komentář

6.11.2018 2:04 /František Kučera
Říjnový pražský sraz spolku OpenAlt se koná v listopadu – již tento čtvrtek – 8. 11. 2018 od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5). Tentokrát bez oficiální přednášky, ale zato s dobrým jídlem a pivem – volná diskuse na téma umění a technologie, IoT, CNC, svobodný software, hardware a další hračky.
Přidat komentář

4.10.2018 21:30 /Ondřej Čečák
LinuxDays 2018 již tento víkend, registrace je otevřená.
Přidat komentář

18.9.2018 23:30 /František Kučera
Zářijový pražský sraz spolku OpenAlt se koná již tento čtvrtek – 20. 9. 2018 od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5). Tentokrát bez oficiální přednášky, ale zato s dobrým jídlem a pivem – volná diskuse na téma IoT, CNC, svobodný software, hardware a další hračky.
Přidat komentář

9.9.2018 14:15 /Redakce Linuxsoft.cz
20.9.2018 proběhne v pražském Kongresovém centru Vavruška konference Mobilní řešení pro business. Návštěvníci si vyslechnou mimo jiné přednášky na témata: Nejdůležitější aktuální trendy v oblasti mobilních technologií, správa a zabezpečení mobilních zařízení ve firmách, jak mobilně přistupovat k informačnímu systému firmy, kdy se vyplatí používat odolná mobilní zařízení nebo jak zabezpečit mobilní komunikaci.
Přidat komentář

12.8.2018 16:58 /František Kučera
Srpnový pražský sraz spolku OpenAlt se koná ve čtvrtek – 16. 8. 2018 od 19:00 v Kavárně Ideál (Sázavská 30, Praha), kde máme rezervovaný salonek. Tentokrát jsou tématem srazu databáze prezentaci svého projektu si pro nás připravil Standa Dzik. Dále bude prostor, abychom probrali nápady na využití IoT a sítě The Things Network, případně další témata.
Přidat komentář

16.7.2018 1:05 /František Kučera
Červencový pražský sraz spolku OpenAlt se koná již tento čtvrtek – 19. 7. 2018 od 18:00 v Kavárně Ideál (Sázavská 30, Praha), kde máme rezervovaný salonek. Tentokrát bude přednáška na téma: automatizační nástroj Ansible, kterou si připravil Martin Vicián.
Přidat komentář

   Více ...   Přidat zprávičku

> Poslední diskuze

31.7.2023 14:13 / Linda Graham
iPhone Services

30.11.2022 9:32 / Kyle McDermott
Hosting download unavailable

13.12.2018 10:57 / Jan Mareš
Re: zavináč

2.12.2018 23:56 / František Kučera
Sraz

5.10.2018 17:12 / Jakub Kuljovsky
Re: Jaký kurz a software by jste doporučili pro začínajcího kodéra?

Více ...

ISSN 1801-3805 | Provozovatel: Pavel Kysilka, IČ: 72868490 (2003-2024) | mail at linuxsoft dot cz | Design: www.megadesign.cz | Textová verze