Típuskövetkeztetés

  • Cikk

Ez a témakör azt ismerteti, hogy az F#-fordító hogyan következtet az értékek, változók, paraméterek és visszatérési értékek típusaira.

Típuskövetkeztetés általánosan

A típuskövetkeztetés lényege, hogy nem kell megadnia az F#-szerkezetek típusait, kivéve, ha a fordító nem tudja meggyőzően levonni a típust. A explicit típusadatok kihagyása nem jelenti azt, hogy az F# egy dinamikusan beírt nyelv, vagy hogy az F# értékei gyengén vannak beírva. Az F# egy statikusan gépelt nyelv, ami azt jelenti, hogy a fordító pontos típust ad az egyes szerkezetekhez a fordítás során. Ha nincs elegendő információ ahhoz, hogy a fordító az egyes szerkezetek típusaira következtetjen, további típusinformációkat kell megadnia, általában explicit típusú széljegyzetek hozzáadásával valahol a kódban.

Paraméter- és visszatérési típusok következtetése

A paraméterlistában nem kell megadnia az egyes paraméterek típusát. Az F# azonban statikusan gépelt nyelv, ezért fordításkor minden érték és kifejezés határozott típussal rendelkezik. A nem explicit módon megadott típusok esetében a fordító a környezet alapján következtet a típusra. Ha a típus nincs másként megadva, a rendszer általánosnak számít. Ha a kód inkonzisztens értéket használ, oly módon, hogy egyetlen kikövetkeztetett típus sem felel meg az érték összes felhasználásának, a fordító hibát jelez.

A függvény visszatérési típusát a függvény utolsó kifejezésének típusa határozza meg.

Az alábbi kódban például a paramétertípusok a és b a visszatérési típus mind arra következtetnek int , hogy a literál 100 típus int.

let f a b = a + b + 100

A típuskövetkeztetést a literálok módosításával befolyásolhatja. Ha az utótag uhozzáfűzésével készíti uint32 el az a-t , a rendszer a típusokat abés a visszatérési értéket is kikövetkeztetiuint32.100

A típuskövetkeztetést más olyan szerkezetek használatával is befolyásolhatja, amelyek a típus korlátozásait jelentik, például olyan függvényeket és metódusokat, amelyek csak egy adott típussal működnek.

Explicit típusú széljegyzeteket is alkalmazhat a függvény- vagy metódusparaméterekre vagy a kifejezések változóira, ahogyan az az alábbi példákban is látható. A hibák akkor következnek be, ha ütközések lépnek fel a különböző kényszerek között.

// Type annotations on a parameter.
let addu1 (x : uint32) y =
    x + y

// Type annotations on an expression.
let addu2 x y =
    (x : uint32) + y

Egy függvény visszatérési értékét is explicit módon megadhatja, ha az összes paraméter után egy típusjegyzetet ad meg.

let addu1 x y : uint32 =
   x + y

Gyakori eset, amikor egy paraméter esetében hasznos a típusjegyzet, ha a paraméter objektumtípus, és tagot szeretne használni.

let replace(str: string) =
    str.Replace("A", "a")

Automatikus általánosítás

Ha a függvénykód nem függ egy paraméter típusától, a fordító általánosnak tekinti a paramétert. Ezt automatikus általánosításnak nevezik, és hatékony segítséget jelenthet az általános kód írásához anélkül, hogy növelhető volna az összetettség.

Az alábbi függvény például bármilyen típusú paramétert egyesít egy rekordba.

let makeTuple a b = (a, b)

A típus a következőre lesz következtetve:

'a -> 'b -> 'a * 'b

További információ

A típuskövetkeztetést részletesebben az F# nyelvi specifikációja ismerteti.

Lásd még