Stack overflow incompréhensible : déclaration int

Bonjour,

j'ai un petit code de C++ pour tester le temps d'un algo de tri.
je suis sous visual studio 2013.

Code:

---

1 2 3 4 5 6 7 8 9

int _tmain(int argc, _TCHAR* argv[]) { const int NBtab =1000000; //erreur à l’exécution srand(static_cast <unsigned int> (time(NULL)));//initialisation du generateur de nombre aleatoire int tab[NBtab]; ...

---

C'est un bug ou quoi ? On ne peut stoker 1 million dans un int qui culmine à INT_MAX= 2147483647 ?




Après un petit test, sans erreur

Code:

---

1 2 3

const int NBtab =100000; //100 mille const int NBtab2 = 10000000; //10 millions int tab[NBtab];

---

je viens de voir que c'est le tableau[1 million] qui déclenchait l'erreur car trop gros pour tenir dans la pile, et pourtant c'est la déclaration de NBtab qui lève l’exception, un défaut du debugger visual ?
ou c'est normal, quelqu’un peut m'expliquer ?

Ce n'est pas la déclaration du int qui cause l'exception, c'est l'entrée dans la fonction ou le bloc (selon le compilo).

Les variables allouées sur la pile le sont toujours au minimum en début de bloc, et le plus souvent en début de fonction, même s'ils ne sont vraiment construits que plus tard (hormis les VLA, je suppose, mais il n'y en a pas en C++) .

Sous GNU/Linux, tu peux voir la taille de la pile avec la commande ulimit -a.
Chez moi, elle fait 8192 kbytes. (C'est une valeur relativement courante).

Lorsque tu déclares ton tableau de int, si on suppose que sizeof(int) == 4 bytes, on a 1000000 * 4 = 4000000 = 4000 kbytes.

Chez moi ça passe, mais ça fait une erreur de segmentation à un peu plus de 2000000.

ok, loin de moi de vouloir augmenter la taille de la pile, ce sont des solutions pas propres, je voulais surtout comprendre...


En effet c'est l'entrée dans le bloc main, ci dessous la ligne pointée

Code:

---

mainret = wmain(argc, argv, envp);

---

du fichier, C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\crt\src\crtexe.c

Donc au début, toutes les variables non imbriquées dans des blocs sont alloués, si je me souviens bien d'un vieux cours... d'où la levée d’exception au début lors de l'allocation du tableau...

ps: @Médinoc, quelle différence fais tu entre allouer et construire ?

Allocation: La place est réservée sur la pile pour l'objet ou le tableau.
Construction: Les constructeurs sont appelés.

Le traitement d'exception C++ possède également un décalage entre destruction et dépilement. Dans cet exemple:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

void fonction() { try { ClassToto obj1; throw std::exception("test"); } catch(std::exception const &ex) { ClassToto obj2; std::cout << ex.what() << std::endl; } }

---

Ici, lors que l'exception est lancée, obj1 est détruit, mais n'est pas retiré de la pile. obj2 est empilé "par-dessus" son cadavre. Tout est dépilé une fois le traitement d'exception terminé.
(javais fais ces tests sous Visual 2005)

Il n'y donc pas de construction pour les types

Code:

---

int

---

etc.

Citation:

---

Envoyé par Ehonn

Lorsque tu déclares ton tableau de int, si on suppose que sizeof(int) == 4 bytes, on a 1000000 * 4 = 4000000 = 4000 kbytes.

Chez moi ça passe, mais ça fait une erreur de segmentation à un peu plus de 2000000.

---

En passant c'était le tableau de int pas la variable int qui provoquait l’exception, et comme l'a dit @Médinoc on s'en aperçoit au tout début du block...