Таза маалымат түрлөрү дайыма стекте сакталабы жана шилтемелүү маалымат түрлөрүнүн үлгүлөрү чын эле топтомдо сакталабы?

Эч дайым туура эмес.

Примитивдүү маалымат түрлөрү жана объекттерге шилтемелер контекстке жараша сакталат:

• Жергиликтүү өзгөрмөлөр:

  • Методдордун ичинде жергиликтүү өзгөрмө катары жарыяланган примитивдүү маалымат түрлөрү көбүнчө стекке сакталат.
  • Жергиликтүү өзгөрмө катары жарыяланган объекттерге шилтемелер да стекке сакталат. Объекттердин өзү heapте жайгашкан.

• Объекттердин талаалары (мисал өзгөрмөлөр):

  • Объекттердин талаалары болгон примитивдүү маалыматтар объекттин өзүнүн бир бөлүгү катары heapте сакталат.
  • Башка объекттерге шилтемелер, алар объекттердин талаалары болсо, да heapте сакталат. Шилтемелүү объекттер да heapте болот.

• Статикалык өзгөрмөлөр:

  • Статикалык өзгөрмөлөр (примитивдүү жана шилтемелүү) класс маалыматтарынын бир бөлүгү катары сакталат, көбүнчө PermGen (Java 8ден мурда) же Metaspace (Java 8 жана жогору) деп аталган аймакта, бирок бул концептуалдуу түрдө жергиликтүү өзгөрмөлөр үчүн чакыруу стекинен айырмаланат.

• Escape Analysis:

  • JVM Escape Analysis деп аталган оптимизацияны колдонушу мүмкүн. Эгер JVM объект түзүлгөндө, ал бул ыкмадан "чыгып" кетпейт деп аныктаса (б.а. сырттан жеткиликтүү эмес), анда ал объект түздөн-түз стекке бөлүнүп, heapтен алынып салынышы мүмкүн (Scalar Replacement). Бул оптимизация мындай объекттер үчүн чогултуу чыгымдарын азайтат.

Ошондуктан, жергиликтүү примитивдик өзгөрмөлөр жана объекттерге шилтемелер стекте сакталса да, объекттин өзү дайыма heapте сакталат, жана объекттин талаалары да объект менен бирге heapте жайгашкан. Escape Analysis сыяктуу оптимизациялар мындай жүрүм-турумду атайын учурларда өзгөртүшү мүмкүн.