私は最近、Typescript の関數(shù)の注釈についてブログを投稿しました。少し勉強(qiáng)を終えて、Python で関數(shù)にアノテーションを付ける方法についてさらに理解しました。このブログでは、前回のブログと同様の例を使用して、Python 関數(shù)にアノテーションを付けることについて説明していきます。

Visual Studio Code で python.analysis.typeCheckingMode を Basic、standard、strict のいずれかに設(shè)定することで、型の注釈を検証できます。 Basic オプションと Standard オプションでは、必ずしも関數(shù)や変數(shù)に注釈を付ける必要はありませんが、strict オプションでは必ず注釈を付けます。

関數(shù)値

ショックを受けるかもしれません しかし、Python では関數(shù)を返したり、関數(shù)を値として渡すことができます。コールバック関數(shù)は、実際には次のように記述される Callable 型を使用して注釈が付けられます。

Callable[[argtype1, argtype2, argtype3], returnType]

たとえば、関數(shù) length(text: str) -> int には Callable[[str], int]

という注釈が付けられます

例:

JavaScript のこの関數(shù)

function multiplier(factor){
    return value => factor * value
}

const n = multiplier(6)
n(8) // 48

Python では次のように記述できます

def multiplier(factor):
? ? def inner(value):
? ? ? ? return value * factor
? ? return inner ? ? 

n = multiplier(6)
n(8) #48

次のように、(文字通り) int と float の両方の Union である、number という TypeAlias を作成できます。

from typing import TypeAlias, Union

number: TypeAlias = Union[int, float]

パラメータを JavaScript の數(shù)値 としてアプローチします。

したがって、この関數(shù)に注釈を付けるには、

def multiplier(factor: number) -> Callable[[number], number]:
    def inner(value: number) -> inner:
        return value * factor
    return inner

a = multiplier(4.5)
a(3) #13.5

汎用関數(shù)

古典的なジェネリック関數(shù)の例は次のとおりです

def pick(array, index):
    return array[index]

pick([1,2,3], 2) #3

TypeVar を使用して、一般的な冗長(zhǎng) (typescript よりも冗長(zhǎng)です) を作成できるようになりました。

from typing import TypeVar

T = TypeVar("T") # the argument and the name of the variable should be the same

それで、

from typing import TypeVar, Sequence

def pick(array: Sequence[T], index: int) -> T:
    return array[index]

print(pick([1,2,3,4], 2))

それでは、JavaScript でマップのように動(dòng)作するカスタム myMap 関數(shù)はどうでしょうか。そのようなものです;

覚えておいてください: Python の map() は List 型ではなく Iterable 型を返します

def myMap(array, fn):
    return map(fn, array)

def twice(n): return n * 2
print(myMap([1,2,3], twice))

Callable 型と TypeVar 型を組み合わせて使用??して、この関數(shù)に注釈を付けることができます。 観察してください...

from typing import TypeVar, Iterable, Callable

Input = TypeVar("Input")  # Input and "Input" must be the same
Output = TypeVar("Output")

def myMap(array: Iterable[Input], fn: Callable[[Input], Output]) -> Iterable[Output]:
    return map(fn, array)

def twice(n: int) -> int: return n * 2
print(myMap([1,2,3], twice))

または、呼び出し可能な関數(shù)にエイリアスを付けることもできます

from typing import TypeVar, Iterable, Callable

Input = TypeVar("Input")
Output = TypeVar("Output")

MappableFunction = Callable[[Input], Output]

def myMap(array: Iterable[Input], fn: MappableFunction[Input, Output]) -> Iterable[Output]:
    return map(fn, array)

MappableFunction がこれらのジェネリック型の入力と出力を受け取り、それらを Callable[[Input], Output] のコンテキストに適用することに注目してください。

myFilter 関數(shù)にどのように注釈が付けられるかを少し考えてください?

そう思いましたか?

from typing import Iterable, TypeVar, Callable

Input = TypeVar("Input")

def myFilter(array: Iterable[Input], fn: Callable[[Input], bool]) -> Iterable[Input]:
    return filter(fn, array)

その通りです

汎用クラス

クラスのアノテーションについて話すべきではないことは承知していますが、ジェネリック クラスについて説明する時(shí)間をください。

あなたが Typescript の出身なら、これがそれらを定義する方法です

class GenericStore<Type>{
    stores: Array<Type> = []

    constructor(){
        this.stores = []
    }

    add(item: Type){
        this.stores.push(item)
    }
}

const g1 = new GenericStore<string>(); //g1.stores: Array<string>
g1.add("Hello") //only string are allowed

しかし、Python ではそれらはかなり異なり、扱いにくいです。

• 最初にジェネリック型をインポートし、次にそれをジェネリック クラスの子にします

この GenericStore クラスを Python で再作成するには

Callable[[argtype1, argtype2, argtype3], returnType]

Python で関數(shù)に注釈を付ける方法を?qū)Wぶ必要があるのはなぜですか?

前のブログで述べたように、これはよりスマートな型システムの構(gòu)築に役立ち、バグの可能性が減ります (特に mypy のような靜的ファイル チェッカーを使用する場(chǎng)合)。また、堅(jiān)牢な型システムを使用してライブラリ ( または SDK) を作成する場(chǎng)合、そのライブラリを使用する開発者の生産性が大幅に向上します (主にエディターの提案によるものです)

この文章に質(zhì)問や間違いがある場(chǎng)合は、下のコメント欄でお?dú)葺Xに共有してください ?

以上がPython で関數(shù)に注釈を付けるの詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國(guó)語(yǔ) Web サイトの他の関連記事を參照してください。