พารามิเตอร์ฟังก์ชันและอาร์กิวเมนต์ค่าเริ่มต้นทำงานอย่างไร

Question

Accepted Answer

ฟังก์ชัน Python รองรับ **positional** และ **keyword** arguments พร้อมกับ **default values** การทำความเข้าใจวิธีรวมกัน — และข้อเรียนรู้ที่มีชื่อเสียงเกี่ยวกับ default-argument — ถือเป็นสิ่งสำคัญ

## Positional, keyword, และ default arguments

```python
def greet(name, greeting="Hello", punctuation="!"):
    return f"{greeting}, {name}{punctuation}"

greet("Ann")                          # positional → "Hello, Ann!"
greet("Ann", "Hi")                    # "Hi, Ann!"
greet("Ann", punctuation=".")          # keyword arg → "Hello, Ann."
greet(name="Ann", greeting="Hey")      # all by keyword
```

พารามิเตอร์ที่มีค่าเริ่มต้นเป็นทางเลือก คุณสามารถส่งอาร์กิวเมนต์ตามตำแหน่งหรือตามชื่อ (keyword arguments ปรับปรุงการอ่านและให้คุณข้ามพารามิเตอร์เสริมด้านหน้า)

## ข้อเรียนรู้ที่มีชื่อเสียง: mutable default arguments

```python
# ❌ DANGER — the default list is created ONCE and SHARED across all calls
def add_item(item, items=[]):
    items.append(item)
    return items

add_item("a")   # ["a"]
add_item("b")   # ["a", "b"]  ← surprise! the SAME list persisted
```

ค่าเริ่มต้นได้รับการประเมิน **ครั้งเดียว** เมื่อฟังก์ชันถูกกำหนด ไม่ใช่ในแต่ละครั้ง default ที่เปลี่ยนแปลงได้ (list/dict) จึงใช้ร่วมกันระหว่างการเรียก — ข้อบกพร่องแบบคลาสสิก วิธีแก้:

```python
# ✅ use None as the default and create a fresh object inside
def add_item(item, items=None):
    if items is None:
        items = []
    items.append(item)
    return items
```

## Keyword-only และ positional-only parameters

```python
def f(a, b, *, key):       # `*` → `key` MUST be passed by keyword
    ...
f(1, 2, key=3)             # ✅   f(1, 2, 3) ❌

def g(a, b, /, c):         # `/` → a, b MUST be positional
    ...
```

ตัวทำเครื่องหมาย `*` และ `/` ช่วยให้คุณบังคับวิธีส่งอาร์กิวเมนต์ — มีประโยชน์สำหรับ API ที่ชัดเจนและมั่นคง

## ทำไมถึงสำคัญ

การทำความเข้าใจการจัดการพารามิเตอร์เป็นสิ่งพื้นฐานสำหรับการเขียนและเรียกฟังก์ชัน Python อย่างถูกต้อง

ค่าเริ่มต้นทำให้ฟังก์ชันยืดหยุ่น และ keyword arguments ทำให้การเรียกเป็นเอกสารในตัว

สิ่งสำคัญคือ **mutable-default-argument trap** เป็นหนึ่งในข้อบกพร่องที่พบบ่อยที่สุดและสับสนที่สุดของ Python — การรู้ว่าค่าเริ่มต้นได้รับการประเมินเพียงครั้งเดียว (ดังนั้น mutable defaults จึงคงอยู่ระหว่างการเรียก) และการแก้ไข `None`-sentinel ป้องกันข้อบกพร่องที่ไม่อาจมองเห็นได้ทั้งชั้น

ความรู้นี้รองรับการออกแบบ API ฟังก์ชันที่สะอาดและคาดเดาได้