Discussion :

[athlon64]

Bonjour,

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ?

[Médinoc]

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++) .

[Ehonn]

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.

[athlon64]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

   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 ?

[Médinoc]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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)

[athlon64]

Il n'y donc pas de construction pour les types

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

int

etc.

[athlon64]

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...