Allocation statique ou dynamiqueRésolu

Question

Bon alors, j'ai un exemple de programme. Mais je me pose la question de
sa validit&#233; sachant que ce que vous allez voir. C'est correct dans
certain langage comme Ada.



int main()

{

  int n = 10;

  

  {

    int tab[n]; // <= Grande question

    int valeur_suivante = 0;

    

    for (int i=0 ; i<n ; i++)

    {

      tab[i] = i;

      std::cout << i << " : " << tab[i] << std::endl;

    }

    

    std::cout << "Adresse de tab : " << (long)tab << std::endl;

    std::cout << "Adresse de valeur suivante : " << (long)&valeur_suivante << std::endl;

    std::cout << "Valeur de valeur suivante : " << valeur_suivante << std::endl;

  }

  system("PAUSE");

  return 0;

}


Lorsque la fonction est appel&#233;e "n" contient une valeur fixe. C'est
aussi &#224; ce moment la, que le tableau "tab" est cr&#233;&#233;. La diff&#233;rence en
Ada, c'est qu'il y a un champ sp&#233;cial de d&#233;claration de variables (type
pascal) donc il n'y a pas d'ambiguit&#233; sur la taille du tableau, meme si
la taille est un param&#232;tre de la fonction. Si bien que le code dessus
serait bon.



Alors quelqu'un pourrait il me dire si le programme au dessus est
d&#233;finitivement incorrect, ou alors il y a des cas o&#249; c'est correct.
Dans
le cas ou c'est incorrect, pourquoi est ce que le compilo ne donne pas
de message d'erreur ? Et si la preuve pouvait etre autre chose qu'une
opinion personnelle, ca serait bien :)



merci.

vecchio56 · Accepted Answer

Comme je te l'ai dit, VC++ interdit de faire ce genre d'allocation, ca explique peut être.
Je me souviens que c'était l'objet de mon premier message sur ce forum, et Kaid m'avais dit que c'était normalement interdit de faire de genre d'allocations.
Mais c'est peut-être aussi un peu risqué: j'imagine qu'il y a moins d'espace dispo dans la pile que dans le tas, du coup tu risques de te retrouver avec un stack overflow si jamais n est trop grand

luhtor · Answer

J'ai fais une petite erreur dans le post, il n'y a pas de fonction appel&#233;e, mais simplement un nouveau bloc {}.

vecchio56 · Answer

Déja j'ai pas bien compris quand tu dis n a une valeur fixe... n a toujours une valeur et le compilo est donc capable de l'utiliser pour réserver de l'espace dans la pile (il suffit en gros de faire un sub esp, n*4)
Du coup j'ai pas bien compris ton problème: comment le compilateur pourrait il dire des fois c'est correct et des fois c'est pas correct?
Je signale aussi que c'est gcc qui autorise int tab[n], c'est impossible sous VC++ (sauf si n est const int)
Et aussi, pourquoi tu as ouvert un nouveau bloc après int n=10?

luhtor · Answer

Pour l'histoire du bloc, c'est inutile ici, mais ca peut etre rentr&#233;
par l'utilisateur. En C, ca serait n&#233;cessaire, mais c'est vrai qu'en
C++, c'est inutile.

Pk je pose la question ? car il y a eu des postes sur le meme sujet, ou
il &#233;tait dit qu'il &#233;tait formellement interdit de faire ce genre de
d&#233;claration "int tab[variable]";



Enfin s'il s'av&#232;re que "int tab[variable]" est l&#233;gal, donc tous les
exemples sur ce forum ou on utilie malloc ou new pour allouer une
chaine de caract&#232;re local &#224; un bloc {} pourrait etre remplac&#233; par une
simple d&#233;claration de tableau statique.

Donc finalement, on utilise l'allocation dynamique la ou parfois, c'est pas n&#233;cessaire (dans le cas des variables locales).

ymca2003 · Answer

Voici ce j'ai compris sur le sujet :

int tab[n];
avec n autre chose qu'une constante connue &#224; la compilation est autoris&#233; en C depuis la norme ansi c99.
Par contre elle est toujours interdite en C++ qui n&#233;cessite que la taille du tableau soit connue &#224; la compilation.

Allocation statique ou dynamique

5 réponses

Votre réponse

Discussions similaires