Est-il théoriquement possible de développer dynamiquement la taille du tableau dans la mémoire de la pile?

Question

Je me demandais, étant donné le fonctionnement habituel de la mémoire de pile, s'il est possible qu'un tableau comme un type primitif soit autorisé à grandir en taille pour exister.
Le fonctionnement d'un tel type primitif est comme suit.

• Toute fonction ne peut avoir qu'une seule variable primitive.
• L'ajout d'une telle variable primitive n'est autorisé que dans la fonction dans laquelle il a été initialisé.
• Si la fonction dans laquelle une telle variable primitive était initialisée n'est pas la dernière de la pile, une telle variable primitive n'est pas autorisée à croître en taille.

Je me demandais si:

• Un tel type primitif est théoriquement possible.
• Que ce soit quelque chose qui est déjà utilisé.