Primitive types และ Reference types ในจาวาคืออะไร

Question

Accepted Answer

จาวามีสองประเภทพื้นฐาน: **primitive types** (ค่าง่าย ๆ ที่เก็บโดยตรง) และ **reference types** (objects โดยที่ตัวแปรมี reference/pointer ไปยัง object) พวกมันมีพฤติกรรมต่างกันมากในหน่วยความจำ การกำหนด และการเปรียบเทียบ ## Primitive types 8 ประเภท ```java int i = 42; // 32-bit integer long l = 100L; // 64-bit integer double d = 3.14; // 64-bit floating point float f = 1.5f; // 32-bit floating point boolean b = true; // true/false char c = 'A'; // 16-bit Unicode character byte by = 127; // 8-bit short s = 1000; // 16-bit ``` Primitive types เก็บ **ค่าจริง** โดยตรง มีขนาดคงที่ ไม่สามารถเป็น null และอยู่บน stack (สำหรับตัวแปรท้องถิ่น) มีความเร็วและประหยัดหน่วยความจำ ## Reference types — objects ```java String name = "Ann"; // reference to a String object int[] arr = {1, 2, 3}; // reference to an array object List list = new ArrayList<>(); // reference to a List object Person p = new Person("Bob"); // reference to a Person object ``` ตัวแปร reference มี **reference** (ที่อยู่หน่วยความจำ) ไปยัง object ที่เก็บบน heap — ไม่ใช่ object เอง พวกมันสามารถเป็น `null` ได้ ## ความแตกต่างที่สำคัญ: การกำหนดและการเปรียบเทียบ ```java // primitives — assignment COPIES the value (independent) int a = 5; int b = a; // b is a COPY b = 10; // a is still 5 // references — assignment COPIES the reference (both point to the SAME object) int[] x = {1, 2, 3}; int[] y = x; // y points to the SAME array y[0] = 99; // x[0] is now 99 too! (shared object) ``` ```java // == compares VALUES for primitives, but REFERENCES (identity) for objects String s1 = new String("hi"); String s2 = new String("hi"); s1 == s2; // false — different objects (different references) s1.equals(s2); // true — equals() compares CONTENT ``` นี่คือปัญหาสำคัญ: **`==` บน objects เปรียบเทียบ identity (object เดียวกันหรือไม่?) ไม่ใช่เนื้อหา** — ใช้ `.equals()` สำหรับการเปรียบเทียบเนื้อหา ## Wrapper classes เชื่อมทั้งสองเข้าด้วยกัน ```java Integer boxed = 42; // Integer is the OBJECT wrapper for int (autoboxing) int unboxed = boxed; // auto-unboxing back to primitive List nums; // collections need objects, not primitives ``` Primitive type แต่ละชนิดมี wrapper class (`int`→`Integer` เป็นต้น) เพื่อให้ primitives สามารถใช้ได้ที่ที่ต้องการ objects (collections, generics) ## เหตุใดจึงสำคัญ ความแตกต่างระหว่าง primitive-vs-reference เป็นพื้นฐานสำหรับจาวา และแหล่งที่มาของบัคและพฤติกรรมที่ลึกซึ้ง: การกำหนดคัดลอกค่าสำหรับ primitives แต่แบ่ง references สำหรับ objects (ดังนั้นการแก้ไข object ที่แบ่งจะมีผลต่อ references ทั้งหมด) และโดยเฉพาะอย่างยิ่ง **`==` เปรียบเทียบ identity สำหรับ objects** (ความผิดพลาดแบบคลาสสิก — ใช้ `.equals()` สำหรับการเปรียบเทียบเนื้อหา) ความเข้าใจนี้มีผลต่อความถูกต้องในการเปรียบเทียบ อาร์กิวเมนต์เมธอด (objects ส่งไปตามค่า reference อย่างมีประสิทธิภาพ) การจัดการ null (เฉพาะ references ที่สามารถเป็น null) และประสิทธิภาพ (primitives เบากว่า) เป็นความรู้พื้นฐานสำหรับการเขียนจาวาที่ถูกต้อง