Tableau dynamique de l'allocation sur la pile en C

J'ai juste fait une expérience d'hier, et de trouver quelque chose de déroutant:

#include <stdio.h>

int main()
{
    int j;
    scanf("%d",&j);
    const int i = j;
    int arr[i];
    return 0;
}

Le nombre j est lu à partir du clavier, et il est utilisé pour allouer le tableau arr sur la pile.

Le compilateur ne sait même pas la taille du tableau au moment de la compilation (initialise j à 0?), mais il n'y a pas d'erreur de compilation. Comment est-il possible?

En fait, vous devez expliquer pourquoi vous pensez que le compilateur doit donner une erreur
Recherche [c] VLA dans ce site.
je pense que vous avez été d'étudier c89 tout ce temps..
au passage, en passant par la variable supplémentaire i est inutile et le code serait très bien sans.
comme C11 tag a été ajouté, note que C11 introduit VLAs prise en charge. __STDC_NO_VLA__ objet macro est définie à 1 si spécifiques de mise en œuvre ne permet pas de les traiter.

OriginalL'auteur user3769509 | 2014-10-18

  1. 13

    De longueur Variable tableaux ont été ajoutés à C99. Il est décrit dans le C99 justification:

    6.7.5.2 Tableau declarators

    C99 ajoute un nouveau type de tableau appelé une longueur variable de type tableau. L'
    incapacité à déclarer des tableaux dont la taille est connue qu'au moment de l'exécution
    a souvent été citée comme principal moyen de dissuasion à l'aide de C en tant que numérique
    le calcul de la langue. L'Adoption d'une norme notion de temps d'exécution
    tableaux a été jugée cruciale pour le C de l'acceptation dans le numérique
    monde de l'informatique.

    Le nombre d'éléments figurant dans la déclaration d'une variable
    longueur type de pile est un moteur d'exécution de l'expression. Avant de C99, cette taille
    l'expression doit être une expression constante entière.

    Il n'y a pas de "tableau dynamique de l'allocation sur la pile". La taille du tableau doit être spécifié lors de la déclaration.

    Certains compilateurs, comme GCC leur permettre une extension en C90 (GCC, c'est l'équivalent de la norme ansi et C89) mode et le C++. Dans ces cas, vous obtiendrez un avertissement (-Wpedantic) ou une erreur (-Werror ou -pedantic-errors). Consultez la documentation de votre compilateur.

    Par @Deduplicator commentaire, vous semblez avoir une idée fausse. De longueur Variable, les tableaux ne peuvent pas être déclarées static.

    § 6.7.6.2

    10 EXAMPLE 4 Toutes les déclarations de variable modifiée (VM)
    les types doivent être au bloc de portée ou de prototype de fonction de la portée.
    Tableau des objets déclarés avec le _Thread_local, static, ou extern
    stockage-spécificateur de classe ne peut pas avoir une longueur variable array (VLA)
    type. Toutefois, un objet déclaré avec le static de stockage de classe
    le prescripteur peut avoir une machine virtuelle de type (qui est un pointeur vers un VLA type).
    Enfin, tous les identificateurs déclarés avec une VM type doivent être ordinaire
    les identifiants et ne peut, par conséquent, être des membres de la ostructures ou des syndicats.

    Cela signifie que static de stockage et de automatic de stockage sont mutuellement exclusifs.

    Salut, Remyabel, merci pour votre réponse. Dans ce cas, le compilateur peut générer les codes qui vont modifier le pointeur de pile avec une variable plutôt qu'un nombre fixe, est ma conjecture est correcte?

    OriginalL'auteur

  2. 2

    Pour certains de se plonger dans la façon dont l'allocation d'une quantité variable de la mémoire sur la pile peut fonctionner, voir ce d'aborder comment un compilateur peut mettre en œuvre la (non normalisées) alloca() fonction:

    Alloca mise en œuvre

    Le standard C99 offre La Longueur Variable des Tableaux ("VLA") avec essentiellement les mêmes fonctionnalités; bien que la mémoire est récupérée par la portée de base plutôt que par fonction:

    Quelle est la différence entre les alloca(n) et char x[n]?

    Il ya quelques raisons pour hésiter à utiliser de manière trop agressive avec la surabondance de la taille. Il n'y a aucun moyen de vérifier si la pile de la mémoire est disponible que vous pouvez tester pour savoir si un segment de mémoire est disponible via. NULL de malloc(). Si votre longueur variable tableau est trop grand, il va provoquer un débordement de pile et un comportement indéfini; vrai pour les deux méthodes d'allocation de pile:

    Pourquoi l'usage des alloca() pas considéré comme une bonne pratique?

    OriginalL'auteur HostileFork

  3. 0

    C est une telle fonctionnalité en tant que Variable de Tableaux de Longueur. Des tableaux avec automatique de la durée de stockage peut être défini dans le vol.

    OriginalL'auteur Vlad from Moscow