Divné chování polí – C / C++ – Fórum – Programujte.com

Nazdar,

střetl jsem se s něčím co opravdu nechápu. Problematiku polí jsem už dávno překonal a pro usnadnění jsem začal používat kontejnery. Ale co čert nechtěl, musím se hrabat v jednom ze svých starších kódů kde ještě pole používám. No, a to je ten problém. Oni ty kódy totiž nefungují (ale předtím fungovali ... aspoň myslím, já už teď fakt nevím nic jistě).  Problém popíšu přímo ve zdrojáku:

int foo(int ** bar, int width, int height)
{
    int result=0;
    for (int i=0;i<width;++i)
    {
        for (int y=0;y<height;++y)
        {
            result += bar[i][y];
        }
    }
    return result;
}

int main()
{
    using namespace std;
    int arr[3][3] =
    {
        {41,47,85},
        {96,78,14},
        {32,14,58}
    };
    /*Kompiler křičí že se nejedná o kompatibilní datové typy, ale co kecá OMG...arr JE 2D pole a to je skutečně pointer na pointer*/
    cout << foo(arr,3,3) << endl;
    /*Zde už kompiler nekřičí...ALE...program leze do paměti kam nemá a linux mi vyhodí SIGSEGV*/
    cout << foo((int**)arr,3,3) << endl;
    return 0;
}

Jakmile 2D pole dynamicky alokuju (přímo do ** ), žádné problémy nemám. Je to snad tím že C++ začalo brát staticky alokované pole jinak?? Dřív to nebylo ne? Jsem opravdu zmaten tímto problémem.

nezacalo nic brat jinak... int ** predpoklada, ze druhy rozmer bude typu  int *

to ale dvojrozmerne pole nesplnuje - odpovida spis jen int * nez int** - vsechny cisla jsou v pameti hned za sebou a indexace se resi tak, ze kompilator proste vi, jakej je ten druhej rozmer, tak to prepocita

Pak kdyz udelas dereferenci prvniho rozmeru, tak tam nemas pointer na rozmer druhy, ale rovnou cislo

Takže to mám chápat tak, že u staticky alokovanejch polí kompilátor dělá optimalizaci v přístupu (2D pole je int * 2DArr ačkoli logika (a kniha) říká int ** 2DArr) a proto to prostě nepasuje ... fajn. Já mám prostě v podvědomí uloženo že to dřív fungovalo i s klasickym zápisem ... asi ne když říkáš. 

Ať se snažím vzpomenout sebeurputněji, nemůžu si vzpomenout že by mi C++ (G++) něco takového v minulosti provedlo. Fakt mám pocit že tyto optimalizace přišli nedávno (rok zpět?). Na druhou stranu chápu výhodu tohoto řešení (vzhledem k tomu že staticky alokovaná pole jsou uložena na stacku).  

to tvoje pole se prevede na:
{41,47,85, 96,78,14, 32,14,58}

a indexy se jen prepocitavaj podle toho druhyho rozmeru...  arr[x+y*3] by pak vyslo stejne jako arr[y][x] ...

Je to tak, děkuji za ochotu mi osvětlit tento problém.

#6 Seph
coz u   int n=3; int ** arr = new int[n];  arr[0] = new int[n]; arr[1] = new int[n]; arr[2] = new int[n];

se uz nic jako  arr[x+n*y] pouzit neda .. zaprve by se to pokouselo ziskat pointer na adrese arr + x + n*y (kde uz zadnej pravdepodobne nebude), a hlavne to bude stale brano jako pointer