Est-il vrai de dire que les types de données primitifs sont toujours stockés dans la pile, tandis que les instances de types de données de référence sont stockées dans le tas?

Ce n’est pas toujours vrai.

Le stockage des types de données primitifs et des références aux objets dépend du contexte :

• Variables locales :

  • Les types primitifs déclarés comme variables locales à l’intérieur des méthodes sont généralement stockés dans la pile.
  • Les références aux objets déclarées comme variables locales sont également stockées dans la pile. Les instances d’objets elles-mêmes résident dans le tas.

• Champs d’objets (variables d’instance) :

  • Les types primitifs qui sont des champs d’objets sont stockés dans le tas en tant que partie de l’objet lui-même.
  • Les références à d’autres objets qui sont des champs d’objets sont également stockées dans le tas en tant que partie de l’objet. Les objets référencés seront également dans le tas.

• Variables statiques :

  • Les variables statiques (qu’elles soient primitives ou de référence) sont stockées en tant que partie des données de la classe dans une zone de mémoire souvent appelée PermGen (avant Java 8) ou Metaspace (Java 8 et plus), mais cela diffère conceptuellement de la pile d’appels pour les variables locales.

• Analyse d’échappement :

  • La JVM peut appliquer une optimisation appelée Escape Analysis. Si la JVM détermine qu’un objet créé dans une méthode ne "s’échappe" pas en dehors de cette méthode (c’est-à-dire qu’il ne devient pas accessible de l’extérieur), cet objet peut être alloué directement dans la pile au lieu du tas (Remplacement scalaire). Cette optimisation permet d’éviter les coûts liés à la collecte des déchets pour de tels objets.

Ainsi, bien que les variables locales primitives et les références aux objets soient stockées dans la pile, les instances d’objets elles-mêmes sont toujours stockées dans le tas, et les champs d’objets se trouvent dans le tas avec l’objet. Des optimisations comme l’Escape Analysis peuvent modifier ce comportement dans des cas exceptionnels.