Արդյո՞ք ճիշտ է, որ հիմնական տվյալների տեսակները միշտ պահվում են ստեկում, իսկ հղումային տվյալների տեսակների օրինակները՝ հողում։

Երբեմն դա ճիշտ չէ:

Բազմաթիվ դեպքերում primitive տիպերի տվյալների պահպանումը և օբյեկտների հղումները կախված են կոնտեքստից:

• Տեղական փոփոխականներ:

  • Պրիմիտիվ տվյալների տիպերը, որոնք հայտարարվում են որպես տեղական փոփոխականներ մեթոդների ներսում, սովորաբար պահվում են ստեկում:
  • Օբյեկտների հղումները, որոնք հայտարարվում են որպես տեղական փոփոխականներ, նույնպես պահվում են ստեկում: Օբյեկտների ինստանսները գտնվում են հողում:

• Օբյեկտների դաշտեր (նմուշի փոփոխականներ):

  • Պրիմիտիվ տվյալների տիպերը, որոնք հանդիսանում են օբյեկտների դաշտեր, պահվում են հողում որպես օբյեկտի մաս:
  • Հղումները այլ օբյեկտների, որոնք հանդիսանում են օբյեկտների դաշտեր, նույնպես պահվում են հողում որպես օբյեկտի մաս:

• Ստատիկ փոփոխականներ:

  • Ստատիկ փոփոխականները (պրիմիտիվ և հղումային) պահվում են որպես դասի տվյալների մաս՝ հիշողության տարածքում, որը հաճախ կոչվում է PermGen (Java 8-ից առաջ) կամ Metaspace (Java 8 և բարձր), բայց այս կոնցեպտում տարբեր է մեթոդների կանչերի ստեկից:

• Escape Analysis:

  • JVM կարող է կիրառել Escape Analysis օպտիմիզացիա: Եթե JVM որոշի, որ մեթոդում ստեղծված օբյեկտը "չափում" է այդ մեթոդի սահմաններից դուրս (այլ կերպ ասած, դուրս չի գալիս), ապա այդ օբյեկտը կարող է ուղղակիորեն տեղակայվել ստեկում՝ փոխարենը հողում (Scalar Replacement): Այս օպտիմիզացիան թույլ է տալիս խուսափել այդպիսի օբյեկտների հավաքման ծախսերից:

Այսպիսով, թեև տեղական primitives և օբյեկտների հղումները պահվում են ստեկում, ինքնին օբյեկտների ինստանսները միշտ պահվում են հողում, իսկ օբյեկտների դաշտերը գտնվում են հողում՝ օբյեկտի հետ միասին: Escape Analysis-ի նման օպտիմիզացիաները կարող են փոխել այս վարքագիծը բացառիկ դեպքերում: