Array/fi: what changed
Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.
| Old | New | Line | |
|---|---|---|---|
| 1 | - | ||
| 2 | - | ||
| 3 | - | ||
| 4 | - | ||
| 5 | - | ||
| 1 | + | Taulukko on rakenteellisen [[data type|data tyypin]] käsite.Se ryhmittelee saman tyyppisiä elementtejä. Ryhmä tarjoaa satunnaisen pääsyn jokaiseen sen elementtiin tai komponenttiin, lineaarisella indeksillä. | |
| 6 | 2 | ||
| 7 | - | ||
| 8 | - | ||
| 9 | - | ||
| 10 | - | ||
| 11 | - | ||
| 12 | - | ||
| 13 | - | ||
| 14 | - | ||
| 3 | + | Taulukkoa tarkoittava sana `array` on [[Reserved word/fi|varattu sana]]. Sana array on varattu sana. Se esiintyy aina yhdessä sanan [[Of/fi|of]] kanssa. | |
| 15 | 4 | ||
| 16 | 5 | ## Käsite | |
| 17 | 6 | ||
| 18 | - | ||
| 7 | + | Taulukko eli `array` on rajoitettu ja järjestetty elementtiyhdistelmä, joilla kaikilla on sama tietotyyppi, jota kutsutaan "perustyypiksi". Sillä on ainakin yksi erillinen, rajattu ulottuvuus, jossa luetellaan peräkkäin kaikki sen elementit. Kukin elementti voidaan yksilöidä yksilöllisesti yhdellä tai useammalla skalaariarvolla, joita kutsutaan indekseiksi, näiden ulottuvuuksien mukaisesti. | |
| 19 | 8 | ||
| 20 | - | ||
| 9 | + | Yksiulotteinen taulukko (`array`) muistuttaa **n-tuple**a, kuten matematiikasta tiedetään, mutta sillä on rajoitus olla homogeeninen (kaikki elementit pitää olla saman tyyppisiä). Kaikkien mahdollisten arvojen, joita tällainen ryhmä voi sisältää, on valikoima homogeeninen peruskartaninen tuote, joka on perustyyppi. | |
| 21 | 10 | ||
| 22 | - | ||
| 11 | + | Kaksiulotteinen taulukko muistuttaa matemaattista konseptia nimeltä matriisi, paitsi homogeenisuusrajoituksella. | |
| 23 | 12 | ||
| 24 | 13 | ## Käyttö | |
| 25 | 14 | ||
| 26 | 15 | ### Pituus | |
| 27 | 16 | ||
| 28 | - | ||
| 17 | + | Alun perin Pascal:ssa oli vain kiinteän pituuden mukainen taulukko ([[Standard Pascal/fi|Standard Pascal]]). Kuinka monesta elementistä taulukko koostui, oli tiedettävä [[Compile time/fi|käännösaikana]]. Koska tämä osoittautui suureksi rajoitukseksi ja puhumattakaan muutoksista tietokoneiden laitteistoissa, sen jälkeen on perusteltua ottaa askel eteenpäin, vaihtelevan pituinen taulukko esiteltiin. | |
| 29 | 18 | ||
| 30 | - | ||
| 19 | + | [[Extended Pascal]] määritteli tähän käsitteen "schemata". [[Delphi/fi|Delphi]] esitteli “dynamic arrays”. Vuonna 2018 [[FPC/fi|FPC]] tukee viimeksi mainittuja vain pituudeltaan vaihtelevia taulukkoja, kun taas "schemata" -tuki on vasta suunnitteluvaiheessa. | |
| 31 | 20 | ||
| 32 | - | ||
| 33 | - | ||
| 21 | + | Riippuen siitä, onko taulukon tarkoitus pystyä muuttamaan sen kokoa, sen määritelmä vaihtelee, mutta vain marginaalisesti. Yksiulotteinen staattinen taulukko tyypin määritelmä näyttää tältä: | |
| 22 | + | ||
| 23 | + | ``` pascal | |
| 34 | 24 | array[indexType] of baseType | |
| 35 | 25 | ``` | |
| 36 | 26 | ||
| 37 | - | ||
| 38 | - | ||
| 27 | + | Dynaamisen taulukkotyypin määritelmä on yksinkertaisesti vapautettu ulottuvuuden määrityksestä: | |
| 28 | + | ||
| 29 | + | ``` pascal | |
| 39 | 30 | array of baseType | |
| 40 | 31 | ``` | |
| 41 | 32 | ||
| 42 | 33 | #### Staattinen taulukko | |
| 43 | 34 | ||
| 44 | - | ||
| 45 | - | ||
| 35 | + | Staattisissa taulukoissa kaikki mitta-alueet tunnetaan etukäteen. Kaikkien ulottuvuuksien on oltava peräkkäisiä. Seuraava koodi näyttää voimassa olevat taulukon määritykset, jotka kaikki ovat staattisia. | |
| 36 | + | ||
| 37 | + | ``` pascal | |
| 46 | 38 | program staticArrayDemo(input, output, stderr); | |
| 39 | + | ||
| 40 | + | type | |
| 41 | + | // specifying ordinal types as index directly | |
| 47 | 42 | ||
| 48 | - | ||
| 49 | - | ||
| 50 | - | ||
| 51 | - | ||
| 52 | - | ||
| 53 | - | ||
| 54 | - | ||
| 55 | - | ||
| 56 | - | ||
| 57 | - | ||
| 58 | - | ||
| 59 | - | ||
| 60 | - | ||
| 61 | - | ||
| 62 | - | ||
| 63 | - | ||
| 64 | - | ||
| 65 | - | ||
| 66 | - | ||
| 67 | - | ||
| 68 | - | ||
| 69 | - | ||
| 70 | - | ||
| 43 | + | /// allows selection of a character | |
| 44 | + | /// based on a Boolean value | |
| 45 | + | characterChoice = array[boolean] of UCS4char; | |
| 46 | + | ||
| 47 | + | // enumerations | |
| 48 | + | ||
| 49 | + | /// enumerates Cartesian axes | |
| 50 | + | spaceAxis = (xAxis, yAxis, zAxis); | |
| 51 | + | /// a point in three-dimensional Euclidean space | |
| 52 | + | locus = array[spaceAxis] of valReal; | |
| 53 | + | /// a point in a two-dimensional Euclidean plane | |
| 54 | + | point = array[xAxis..yAxis] of valReal; | |
| 55 | + | ||
| 56 | + | // integer subranges | |
| 57 | + | ||
| 58 | + | level = array[-24..24] of longint; | |
| 59 | + | box = array[-1..1, -1..1, -1..1] of boolean; | |
| 60 | + | transformationMatrix = array[0..1, 0..1] of valReal; | |
| 61 | + | begin | |
| 62 | + | end. | |
| 71 | 63 | ``` | |
| 72 | 64 | ||
| 73 | - | ||
| 65 | + | Koska kaikkien taulukon elementtien täytyy olla osoitettavissa, on olemassa elementtien maksimiraja, jota taulukko voi pitää. Jokaisen taulukon koon ([[SizeOf/fi|sizeOf]]) on oltava pienempi kuin [`ptrInt`](https://www.freepascal.org/docs-html/rtl/system/ptrint.html)n maksimiarvo. | |
| 74 | 66 | ||
| 75 | 67 | #### Dynaamiset taulukot | |
| 76 | 68 | ||
| 77 | - | ||
| 69 | + | [[Dynamic array/fi|Dynaaminen taulukko]] on lähestymistapa, jolla voittaa etukäteen kaikkien ulottuvuuksien tuntemisen rajoitukset. Katso lisätietoja sen omilta sivuilta. | |
| 78 | 70 | ||
| 79 | 71 | ### Elementtien osoittaminen | |
| 80 | 72 | ||
| 81 | - | ||
| 82 | - | ||
| 73 | + | Taulukon yksittäinen elementti on osoitettu nimeämällä taulukon muuttujan tunniste seuraten kelvoitelukujen sisältämää kelvollista indeksiä joka on hakasulkujen sisällä. | |
| 74 | + | ||
| 75 | + | ``` pascal | |
| 83 | 76 | program arrayAddressDemo(input, output, stderr); | |
| 84 | - | ||
| 85 | - | ||
| 86 | - | ||
| 87 | - | ||
| 88 | - | ||
| 89 | - | ||
| 90 | - | ||
| 91 | - | ||
| 77 | + | var | |
| 78 | + | msg: array[0..2] of char; | |
| 79 | + | begin | |
| 80 | + | msg[0] := 'H'; | |
| 81 | + | msg[1] := 'i'; | |
| 82 | + | msg[2] := '!'; | |
| 83 | + | writeLn(msg); | |
| 84 | + | end. | |
| 92 | 85 | ``` | |
| 93 | 86 | ||
| 94 | - | ||
| 95 | - | ||
| 87 | + | Moniulotteisten taulukoiden elementtejä voidaan käsitellä kahdella tavalla: joko [[Comma/fi|pilkulla]] erotettavilla indekseillä: | |
| 88 | + | ||
| 89 | + | ``` pascal | |
| 96 | 90 | arrayVariable[firstDimensionIndex, secondDimensionIndex, thirdDimensionIndex] | |
| 97 | 91 | ``` | |
| 98 | 92 | ||
| 99 | - | ||
| 100 | - | ||
| 93 | + | Tai sijoittamalla indeksejä omiin hakasulkeisiin: | |
| 94 | + | ||
| 95 | + | ``` pascal | |
| 101 | 96 | arrayVariable[firstDimensionIndex][secondDimensionIndex][thirdDimensionIndex] | |
| 102 | 97 | ``` | |
| 103 | 98 | ||
| 104 | - | ||
| 99 | + | Kolmas syntaksellisesti kelvollinen vaihtoehto olisi sekoittaa molemmat tyylit, mutta sitä pidetään huonona tyylinä, ehkä jos ei ole merkkejä ryhmähakemistoille (esim. `x`, `y` ja `z`-koordinaatit verrattuna muihin indekseihin) on OK. Siitä huolimatta vain ensimmäinen mainittu merkintä on voimassa, kun määritetään taulukon tyyppejä. | |
| 105 | 100 | ||
| 106 | - | ||
| 107 | - | ||
| 101 | + | Huomaa, että on erittäin tärkeää määritellä indeksejä määritetyssä järjestyksessä kunkin ulottuvuuden alueella. Mieti seuraavaa ohjelmaa. Se kääntyy, mutta epäonnistuu ajon aikana `{$rangeChecks on}`: | |
| 102 | + | ||
| 103 | + | ``` pascal | |
| 108 | 104 | program arrayAddressOrderDemo(input, output, stderr); | |
| 109 | - | ||
| 110 | - | ||
| 111 | - | ||
| 112 | - | ||
| 105 | + | {$rangeChecks on} | |
| 106 | + | var | |
| 107 | + | i: integer; | |
| 108 | + | f: array[0..1, 0..3] of boolean; | |
| 109 | + | begin | |
| 110 | + | for i := 0 to 7 do | |
| 113 | 111 | begin | |
| 114 | - | ||
| 115 | - | ||
| 116 | - | ||
| 117 | - | ||
| 118 | - | ||
| 112 | + | f[0, i] := true; | |
| 113 | + | end; | |
| 114 | + | end. | |
| 119 | 115 | ``` | |
| 120 | 116 | ||
| 121 | - | ||
| 122 | - | ||
| 123 | - | ||
| 117 | + | Vaikka ohjelma todellakin iteroidaan jokaisen taulukon elementin yli, se ei tee sitä suunnitellulla tavalla, mutta hyödyntää sitä, että taulukon sisäinen muistin rakenne, on vain jatkuva muistilohko. Tämä on huonoa tyyliä. Korkean tason kielen ohjelmoijan ei tarvitse huolehtia tietyistä muistin asetteluista. Luola: Tällä tavoin voidaan muokata muita muuttujia. Joka tapauksessa esiintyy [[runtime error/fi|ajonaikainen virhe]], nimittäin ”RTE 216 general protection fault”, jos yritetään päästä muistiin, joka ei kuulu ohjelmoijan toimivaltaan. | |
| 124 | 118 | ||
| 125 | - | ||
| 119 | + | Kun taulukoiden arvoja luetaan niin ettei tarvita sen indeksiä niin voidaan [[for-in loop|for … in luupilla]] (silmukalla) käydä taulukko läpi. | |
| 126 | 120 | ||
| 127 | 121 | ## Sovellukset | |
| 128 | 122 | ||
| 129 | - | ||
| 123 | + | Katso esimerkiksi: | |
| 130 | 124 | ||
| 131 | - | ||
| 132 | - | ||
| 125 | + | - [[Array sort|array sort]] | |
| 126 | + | - [[15-puzzle/fi|15.peli]] tai [[Peg Solitaire tutorial/fi|Peg]]:n pelilaudan tilat tallennetaan taulukkona | |
| 133 | 127 | ||
| 134 | - | ||
| 128 | + | Oletus [[RTL/fi|RTL]]: n system käännösyksikön funktio [`system.slice`](https://www.freepascal.org/docs-html/rtl/system/slice.html) palauttaa taulukon alkuosan, joka on samanlainen kuin Rubyn notation a`arrayVariable[0, n]`. Lisäksi on [`system.arrayStringToPPchar`](https://www.freepascal.org/docs-html/rtl/system/arraystringtoppchar.html). Useimmat RTL:n matematiikkayksikön [[Functions for descriptive statistics/fi|tilastolliset rutiinit]] hyväksyvät taulukon parametreiksi niinkuin jotkut muutkin rutiinit. | |
| 135 | 129 | ||
| 136 | 130 | ## Katso myös | |
| 137 | 131 | ||
| 138 | - | ||
| 139 | - | ||
| 140 | - | ||
| 141 | - | ||
| 142 | - | ||
| 143 | - | ||
| 144 | - | ||
| 145 | - | ||
| 146 | - | ||
| 147 | - | ||
| 148 | - | ||
| 149 | - | ||
| 150 | - | ||
| 151 | - | ||
| 152 | - | ||
| 153 | - | ||
| 154 | - | ||
| 155 | - | ||
| 132 | + | - [[Type information]] | |
| 133 | + | - Opas: [[Basic Pascal Tutorial/Chapter 5/1-dimensional arrays/fi|1-dimensional arrays]] | |
| 134 | + | - Opas: [[Basic Pascal Tutorial/Chapter 5/Multidimensional arrays/fi|multidimensional arrays]] | |
| 135 | + | - [[Example: Multidimensional dynamic array|example: multidimensional dynamic array]] | |
| 136 | + | - [[Why Pascal is Not My Favorite Programming Language|Why Pascal is not my favorite programming language § “the size of an array is part of its type”]] | |
| 137 | + | - [[Defensive programming techniques|defensive programming techniques]] | |
| 138 | + | - [[Vectorization|vectorization]] | |
| 139 | + | - [`matrix` unit](https://www.freepascal.org/docs-html/rtl/matrix/index.html) | |
| 156 | 140 | ||
| 157 | 141 | --- | |
| 158 | - | ||
| 142 | + | *From the Free Pascal wiki, page "Array/fi", as it stood on 2023-01-25 after a change by Kai Burghardt, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).* |