<div class="key-takeaways"><ul><li>ใน Python ตัวแปรไม่ใช่กล่องเก็บค่า แต่เป็นป้ายชื่อที่ชี้ไปยังอ็อบเจกต์ในหน่วยความจำ</li><li>การแก้ไขข้อมูลแบบ Mutable (เช่น list) ส่งผลกระทบต่อทุกคนที่ใช้ข้อมูลร่วมกัน</li><li>การรีบาวด์ชื่อตัวแปร (เช่น n = ...) จะเปลี่ยนผลเฉพาะชื่อในขอบเขตนั้นเท่านั้น</li><li>CPython มีการแคชจำนวนเต็มล่วงหน้าในช่วง -5 ถึง 256 ซึ่งใช้งานจริงในหน่วยความจำ</li></ul></div><p>ในภาษาโปรแกรมมิ่งส่วนใหญ่ คุณมักจะได้เรียนรู้ตั้งแต่เนิ่นๆ ว่าค่าและตัวแปรนั้นแยกออกจากกัน โดยมองว่าตัวแปรเป็นกล่องที่มีป้ายชื่อและเราหยอดค่าลงไปข้างใน แต่ภาษา Python ได้พลิกแนวคิดนั้นเงียบๆ ใน Python ทุกสิ่งคืออ็อบเจกต์ ไม่ว่าจะเป็นตัวเลขจำนวนเต็ม, สตริง, ลิสต์, ฟังก์ชัน แม้กระทั่งคลาสเอง และตัวแปรไม่เคยเป็นกล่อง แต่มันคือชื่อที่ชี้ไปยังอ็อบเจกต์ที่อาศัยอยู่ ณ ที่ใดที่หนึ่งในหน่วยความจำ</p><p>แนวคิดเพียงข้อเดียวนี้สามารถอธิบายช่วงเวลาที่ชวนให้สงสัยว่า เกิดอะไรขึ้น ได้อย่างน่าประหลาดใจ เช่น ทำไมการเปลี่ยนแปลงลิสต์หนึ่งจึงดูเหมือนไปเปลี่ยนอีกลิสต์หนึ่ง ทำไมการเช็คเงื่อนไขด้วย a is b บางครั้งจึงเป็น True และบางครั้งเป็น False แม้ว่าค่าจะเท่ากัน และทำไมฟังก์ชันจึงสามารถแก้ไขลิสต์ของคุณได้แต่ทำกับตัวเลขจำนวนเต็มไม่ได้ เรามาคลายปมเหล่านี้กันทีละประเด็น</p><p>ทุกอ็อบเจกต์ใน Python จะมีคุณสมบัติหลักสองประการที่เราสามารถสอบถามได้เสมอคือ มันคืออะไร และมันอยู่ที่ไหน ซึ่งความแตกต่างนี้เองคือจุดที่มักทำให้หลายคนสับสนเมื่อเริ่มต้นเขียนโค้ด</p><p>เมื่อส่งอ็อบเจกต์แบบ Immutable เข้าไปเป็นอาร์กิวเมนต์ ตัวเรียกใช้งานจะไม่ได้รับผลกระทบใดๆ ดังตัวอย่างโค้ดด้านล่างนี้</p><ul><li>ฟังก์ชัน increment(n) จะทำการเพิ่มค่า n ขึ้น 1 ซึ่งเป็นการผูกชื่อตัวแปรระดับท้องถิ่น (local name) เข้ากับอ็อบเจกต์ตัวเลขใหม่</li><li>ค่าของตัวแปร a ฝั่งผู้เรียกใช้งานจึงยังคงเดิมไม่เปลี่ยนแปลง</li></ul><div class="mb-20"><img class="img-bdrd-16" src="https://api.inewgen.co/uploads/python_ms3haoei_inline_1_5f256c3610.jpg" alt="python code editor dark mode" loading="lazy" /><p class="color-gray-500 text-sm mt-10">ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง</p></div><p>ในทางตรงกันข้าม หากส่งอ็อบเจกต์แบบ Mutable เข้าไปและมีการกลายพันธุ์ในที่เดิม (Mutated in place) ผู้เรียกใช้งานจะเห็นการเปลี่ยนแปลงที่เกิดขึ้นทันที</p><ul><li>การเรียกใช้เมธอด .append(4) กับลิสต์ จะเป็นการเปลี่ยนแปลงอ็อบเจกต์ลิสต์เดิมตัวเดียวกัน</li><li>ตัวแปร l ที่ถูกส่งเข้าไปจะแสดงผลลัพธ์เป็น [1, 2, 3, 4]</li></ul><p>อย่างไรก็ตาม หากส่งอ็อบเจกต์แบบ Mutable เข้าไป แต่มีการรีบาวด์ชื่อตัวแปรภายในฟังก์ชัน ผู้เรียกใช้งานก็จะไม่ได้รับผลกระทบเช่นกัน</p><ul><li>การกำหนดค่า n = v ภายในฟังก์ชัน assign_value จะเป็นการรีบาวด์เฉพาะชื่อในขอบเขตท้องถิ่นเท่านั้น</li><li>ตัวแปร l1 จึงยังคงไม่เปลี่ยนแปลงค่า ถึงแม้ว่าจะมีการส่ง l2 เข้ามาทางพารามิเตอร์ก็ตาม</li></ul><p>กฎเหล็กที่ควรจำให้ขึ้นใจคือ การทำให้อ็อบเจกต์เกิดการเปลี่ยนแปลง (เช่น การเรียกใช้เมธอดอย่าง .append หรือการกำหนดค่าผ่านอินเด็กซ์) จะส่งผลกระทบต่อทุกคนที่ใช้งานร่วมกัน แต่การรีบาวด์ชื่อตัวแปรใหม่ (เช่น n = ...) จะส่งผลกระทบเฉพาะชื่อนั้นๆ เท่านั้น</p><div class="ai-insight"><p>ในทางวิศวกรรมซอฟต์แวร์ ความเข้าใจเรื่องการส่งผ่านค่า (Pass by assignment) ใน Python เป็นหัวใจสำคัญที่ช่วยป้องกันข้อผิดพลาดประเภท Side Effects ที่มักเกิดขึ้นโดยไม่รู้ตัว เมื่อตัวแปรหลายตัวอ้างอิงถึงข้อมูลโครงสร้างชุดเดียวกัน (Aliasing) การปรับแต่งข้อมูลผ่านตัวแปรตัวหนึ่งจะสะท้อนไปยังจุดอื่นๆ ทั้งหมด การแยกระหว่างการเปลี่ยนสภาพอ็อบเจกต์ (Mutation) กับการเปลี่ยนการอ้างอิงชื่อ (Rebinding) จึงเป็นทักษะที่แยกนักพัฒนามือใหม่ออกจากมืออาชีพ</p></div><p>อีกจุดหนึ่งที่เรื่องของตัวตน (Identity) มักสร้างความประหลาดใจให้กับโปรแกรมเมอร์คือกลไกการแคชตัวเลขขนาดเล็ก โดยขนาดของแคชดังกล่าวถูกกำหนดไว้ในซอร์สโค้ดของ CPython ผ่านค่าคงهاสองตัวในไฟล์ Objects/longobject.c ซึ่งร่วมกันแคชตัวเลขจำนวนเต็มในช่วง -5 ถึง 256 รวมเป็นจำนวน 5 + 257 = 262 อ็อบเจกต์ที่ถูกจัดเตรียมไว้ล่วงหน้า</p><p>อย่างไรก็ตาม คุณควรระลึกไว้เสมอว่าไม่ควรพึ่งพาพฤติกรรมนี้ในโค้ดของคุณ เพราะแคชตัวเลขจำนวนเต็มขนาดเล็กนี้เป็นเพียงรายละเอียดเชิงการ ใช้งาน (Implementation detail) ของ CPython เท่านั้น ให้ใช้เครื่องมือเปรียบเทียบค่าด้วย == และสงวนการใช้ is ไว้สำหรับการตรวจสอบตัวตน เช่น x is None เท่านั้น</p><p>สำหรับ Tuples และ frozensets ถือเป็นคอนเทนเนอร์แบบ Immutable ซึ่งคุณไม่สามารถเพิ่ม ลบ หรือแทนที่ธาตุภายในได้ แต่มีความซ่อนเร้นที่ต้องระวังคือ ความไม่เปลี่ยนแปลงของตัวคอนเทนเนอร์ไม่ได้ทำให้เนื้อหาข้างในไม่เปลี่ยนแปลงตาม ทัปเปิลสามารถถืออ็อบเจกต์แบบ Mutable เอาไว้ได้ และอ็อบเจกต์นั้นก็ยังคงสามารถเปลี่ยนแปลงได้เช่นกัน นอกจากนี้ควรสังเกตเรื่องความแปลกประหลาดของทัปเปิลว่างและทัปเปิลที่มีสมาชิกตัวเดียวด้วย</p><p>สรุปสั้นๆ คือจดจำไว้ว่าให้ใช้ == สำหรับเปรียบเทียบค่า และใช้ is สำหรับตรวจสอบตัวตน เพียงเท่านี้คุณก็จะเขียนโค้ดที่ทำงานได้ตรงตามความคาดหมายทุกประการ</p><p class="source-attribution">ที่มา: <img src="https://www.google.com/s2/favicons?domain=dev.to&sz=64" alt="Dev.to" class="source-logo" width="16" height="16" /> <a href="https://dev.to/ishimwe_charles_9a4461252/python-mutable-immutable-everything-is-an-object-3eaf" target="_blank" rel="noopener noreferrer">Dev.to</a></p>

<div class="key-takeaways"><ul><li>In Python, variables are never boxes; they are names pointing to objects in memory.</li><li>Mutating a shared mutable object (like a list) affects everyone sharing it.</li><li>Rebinding a variable name (e.g., n = ...) only affects that local name.</li><li>CPython pre-allocates and caches integers in the range -5 to 256.</li></ul></div><p>In most programming languages, you learn early on to separate values from variables: a variable is a labelled box, and you drop a value inside it. Python quietly breaks that mental model. In Python, everything is an object — integers, strings, lists, functions, even classes themselves — and a variable is never the box. It is a name that points at an object living somewhere in memory.</p><p>That single idea explains a surprising number of wait, what? moments: why changing one list seems to change another, why a is b is sometimes True and sometimes False for equal values, and why a function can modify your list but not your integer. Let us unpack it.</p><p>Every object in Python carries two things we can always ask about: what it is and where it is. This is the distinction that trips everyone up.</p><p>When an immutable argument is passed, the caller remains completely unaffected, as demonstrated below.</p><ul><li>The increment function rebinds the local name n to a new integer object.</li><li>The caller's original object a is left entirely untouched.</li></ul><div class="mb-20"><img class="img-bdrd-16" src="https://api.inewgen.co/uploads/python_ms3haoei_inline_1_5f256c3610.jpg" alt="python code editor dark mode" loading="lazy" /><p class="color-gray-500 text-sm mt-10">Stock photo for illustration only, not from the actual event</p></div><p>On the flip side, when a mutable argument is mutated in place, the caller sees the change immediately.</p><p><ul><li>Calling the .append method mutates the exact same list object.</li><li>The list l passed into the function now reflects the appended value [1, 2, 3, 4].</li></ul></p><p>However, if a mutable argument is passed but its name is rebound inside the function, the caller is once again unaffected.</p><ul><li>Reassigning n = v inside the assign_value function rebinds only the local name.</li><li>The list l1 remains unchanged because we only moved a local reference name.</li></ul><p>The rule of thumb is clear: mutating an object (calling a method like .append, or performing index assignment) affects everyone who shares it, whereas rebinding a name (n = ...) affects only that specific name.</p><div class="ai-insight"><p>Understanding pass-by-assignment in Python is crucial for avoiding subtle bugs related to aliasing. When multiple names reference the same underlying mutable structure, modifying the data through one reference inadvertently alters all of them. Differentiating between in-place mutation and name rebinding separates competent Python developers from beginners.</p></div><p>This is where identity gets genuinely surprising. The size of the integer cache is defined in CPython's source files under Objects/longobject.c by two constants, which together cache integers in the range of -5 to 256, accounting for a total of 5 + 257 = 262 pre-allocated integer objects.</p><p>Never rely on this behavior in your production code. The small-integer cache is merely an implementation detail of CPython. Always use == to compare values and reserve is strictly for identity checks such as x is None.</p><p>Tuples and frozensets are immutable containers, meaning you cannot add, remove, or replace their elements. Yet there is a subtle catch: the immutability of a container does not guarantee the immutability of its contents. A tuple can hold a mutable object, and that inner object can still change over time. Also, keep note of empty-tuple singletons and single-element quirks.</p><p>Keep using == for values and is for identity, and you will write code that behaves exactly the way you expect.</p><p class="source-attribution">Source: <img src="https://www.google.com/s2/favicons?domain=dev.to&sz=64" alt="Dev.to" class="source-logo" width="16" height="16" /> <a href="https://dev.to/ishimwe_charles_9a4461252/python-mutable-immutable-everything-is-an-object-3eaf" target="_blank" rel="noopener noreferrer">Dev.to</a></p>

medium_article-499.jpg

small_article-499.jpg

thumbnail_article-499.jpg

Inewgen

Inewgen

#CPython

A Deep Dive into Python's Object Model and Mutability

Inewgen