Kuinka funktioparametrit ja oletusargumentit toimivat?

Question

Accepted Answer

Python-funktiot tukevat **paikkaansa perustuvia** ja **avainsana**-argumentteja sekä **oletusarvoja**. Ymmärtää, kuinka ne yhdistyvät – ja yksi kuuluisa oletusargumenttien sudenkuoppa – on olennaista.

## Paikkaansa perustuvat, avainsana- ja oletusargumentit

```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
```

Parametrit oletusarvoilla ovat valinnaisia; voit välittää argumentteja paikan tai nimen mukaan (avainsana-argumentit parantavat luettavuutta ja antavat sinun ohittaa aiemmat valinnaiset parametrit).

## Kuuluisa sudenkuoppa: muuttuvat oletusargumentit

```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
```

Oletusarvot arvioidaan **kerran** kun funktio määritellään, ei jokaisen kutsun yhteydessä. Muuttuva oletusarvo (lista/sanakirja) jaetaan siis kutsujen välillä – klassinen virhe. Ratkaisu:

```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
```

## Vain-avainsana- ja vain-paikkaansa-perustuvat parametrit

```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
    ...
```

Merkit `*` ja `/` antavat sinulle mahdollisuuden määrätä, miten argumentit välitetään – hyödyllinen selkeille, vakaille API:ille.

## Miksi se on tärkeää

Parametrien käsittelyn ymmärtäminen on perustavaa oikeiden Python-funktioiden kirjoittamiselle ja kutsumiselle.

Oletusarvot tekevät funktioista joustavat, ja avainsana-argumentit tekevät kutsuista itseään dokumentoivia.

Ratkaisevasti, **muuttuva-oletusargumentti-sudenkuoppa** on yksi Pythonin yleisimmistä ja sekaavimmista virheistä – tieto siitä, että oletusarvot arvioidaan kerran (joten muuttuvat oletusarvot säilyvät kutsujen välillä) ja `None`-sentinelli-korjaus estää kokonaisen luokan hienovaraisia virheitä.

Tämä tieto muodostaa perustan puhtaiden, ennustettavien funktio-API:iden suunnittelulle.