我最近剛剛發(fā)布了一篇關于在 Typescript 中注釋函數(shù)的博客。我剛剛完成了一些研究，并了解了更多關于如何在 Python 中注釋函數(shù)的知識，本博客將主要介紹使用與 上一篇博客類似的示例來注釋 Python 函數(shù)。

您可以通過將 python.analysis.typeCheckingMode 設置為 basic、standard、strict 之一來驗證 Visual Studio Code 中的類型注釋。 basic 和 standard 選項不一定能確保您注釋函數(shù)和變量，但 strict 可以。

功能值

這可能會讓您感到震驚，但您可以在 Python 中返回函數(shù)并將函數(shù)作為值傳遞?；卣{(diào)函數(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

我們可以創(chuàng)建一個名為 number 的 TypeAlias，它是 int 和 float 的聯(lián)合（字面意思），例如；

from typing import TypeAlias, Union

number: TypeAlias = Union[int, float]

將參數(shù)視為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ù)

經(jīng)典的泛型函數(shù)示例是

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

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

使用 TypeVar 我們現(xiàn)在可以創(chuàng)建通用詳細信息（比 typescript 更詳細）。

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

那么自定義 myMap 函數(shù)怎么樣，它的作用類似于 JavaScript 中的地圖。這樣我們就有了；

記住：Python中的map()返回的是Iterable類型而不是List類型

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

或者我們可以別名 Callable 函數(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)

你說得對

通用類

我知道我不應該談論類注釋，但請給我一些時間來解釋泛型類。

如果您來自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 中它們卻相當不同且尷尬。

• 首先我們導入 Generic 類型，然后讓它們成為 Generic 類的子類

因此要在 Python 中重新創(chuàng)建這個 GenericStore 類

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

為什么我應該學習如何在 Python 中注釋函數(shù)？

正如我在上一篇博客中所說，它有助于構建更智能的類型系統(tǒng)，從而減少出現(xiàn)錯誤的機會（特別是在使用 mypy 等靜態(tài)文件檢查器時）。此外，當使用強大的類型系統(tǒng)編寫庫（或 SDK）時，可以大幅提高使用該庫的開發(fā)人員的工作效率（主要是因為編輯器的建議）

如果您有任何疑問或者本文中存在錯誤，請隨時在下面的評論中分享?

以上是在 Python 中注釋函數(shù)的詳細內(nèi)容。更多信息請關注PHP中文網(wǎng)其他相關文章！