在機器學習中,我們經常需要使用類別和函數定義模型的各個部分,例如定義讀取資料的函數、預處理資料的函數、模型架構和訓練過程的函數等等。那麼什麼樣的函數才是漂亮的、賞心悅目的程式碼呢?本期教程,會從命名到程式碼量等六個面向探討如何養成美妙的函數。 文末有給大家錄的影片教學課程,大家可以按需學習,不清楚的地方也可以留言!
與多數現代程式語言一樣,在 Python 中,函數是抽象和封裝的基本方法之一。你在開發階段或許已經寫過數百個函數,但並非每個函數都生而平等。寫出「糟糕的」函數會直接影響程式碼的可讀性和可維護性。那麼,什麼樣的函數是「糟糕的」函數呢?更重要的是,要怎麼寫出**「好的」**函數呢?
簡單回顧
數學充滿了函數,儘管我們可能記不住它們。首先來回想一下大家最喜歡的話題—微積分。你可能會記得這個方程式:f(x) = 2x 3. 這是一個叫做「f」的函數,含有一個未知數 x,「回傳」2*x 3。這個函數可能和我們在 Python 中看到的不一樣,但它的基本想法和電腦語言中的函數是一樣的。
函數在數學中歷史悠久,但在電腦科學中更神通廣大。儘管如此,函數還是存在一些缺陷。接下來我們將討論一下什麼是「好的」函數,以及在出現什麼樣的徵兆時我們需要重構函數。
決定函數好壞的關鍵
好的 Python 函數與蹩腳 Python 函數的差別是什麼? 「好」函數的定義之多讓人驚訝。從我們的目的出發,我會把好的Python 函數定義為符合以下清單中大部分規則的函數(有些比較難實現):
對很多人來說,這個清單可能有些太嚴格。但我保證,如果你的函數符合這些規則,你的程式碼看起來會非常漂亮。下面我將逐步講解各個規則,然後總結這些規則如何構成一個「好」函數。
命名
關於這個問題,我最喜歡的一句話(出自Phil Karlton,總被誤以為是Donald Knuth 說的)是:
在電腦科學中只有兩個難題:快取失效和命名問題。
聽起來有點匪夷所思,但整個不錯的命名真的很難。下面就有一個糟糕的函數命名:
def get_knn(from_df):复制代码
我基本上在任何地方都看過糟糕的命名,但這個例子來自資料科學(或者說,機器學習),從業者總是在Jupyter notebook上寫程式碼,然後嘗試將那些不同的單元變成一個可理解的程式。
該函數命名的第一個問題是使用首字母縮寫/縮寫。比起縮寫和未普及的首字母縮寫,完整的英語單字會更好。使用縮寫的唯一原因是為了節省打字時間,但現代的編輯器都有自動補全功能,所以你只需鍵入一次全名。之所以說縮寫是一個問題,是因為它們通常只能用於特定領域。在上面的程式碼中,knn 是指「K-Nearest Neighbors」,df 指的是「DataFrame」——無所不在的 Pandas 資料結構。如果另外一個不太熟悉這些縮寫的程式設計師正在閱讀程式碼,那 TA 就會一頭霧水。
關於這個函數名稱,還有另外兩個小問題:單字「get」無關緊要。對於大多數命名比較好的函數,很明顯函數會傳回一些東西,其名字會反映這一點。 from_df 也是不必要的。如果參數的名稱描述不夠清楚的話,函數的文檔註解或類型註解將描述參數類型。
那我們要如何重新命名這個函數呢?例如:
def k_nearest_neighbors(dataframe):复制代码
現在,即使是外行人也知道這個函數在計算什麼了,參數的名稱(dataframe)也清楚地告訴我們應該傳遞什麼類型的參數。
單一功能原則
「单一功能原则」来自 Bob Martin「大叔」的一本书,不仅适用于类和模块,也同样适用于函数(Martin 最初的目标)。该原则强调,函数应该具有「单一功能」。也就是说,一个函数应该只做一件事。这么做的一大原因是:如果每个函数只做一件事,那么只有在函数做那件事的方式必须改变时,该函数才需要改变。当一个函数可以被删除时,事情就好办了:如果其他地方发生改动,不再需要该函数的单一功能,那么只需将其删除。
举个例子来解释一下。以下是一个不止做一件「事」的函数:
def calculate_and print_stats(list_of_numbers): sum = sum(list_of_numbers) mean = statistics.mean(list_of_numbers) median = statistics.median(list_of_numbers) mode = statistics.mode(list_of_numbers) print('-----------------Stats-----------------') print('SUM: {}'.format(sum) print('MEAN: {}'.format(mean) print('MEDIAN: {}'.format(median) print('MODE: {}'.format(mode)复制代码
这一函数做两件事:计算一组关于数字列表的统计数据,并将它们打印到 STDOUT。该函数违反了只有一个原因能让函数改变的原则。显然有两个原因可以让该函数做出改变:新的或不同的数据需要计算或输出的格式需要改变。最好将该函数写成两个独立的函数:一个用来执行并返回计算结果;另一个用来接收结果并将其打印出来。函数有多重功能的一个致命漏洞是函数名称中含有单词「and」
这种分离还可以简化针对函数行为的测试,而且它们不仅被分离成一个模块中的两个函数,还可能在适当情况下存在于不同的模块中。这使得测试更加清洁、维护更加简单。
只做两件事的函数其实非常罕见。更常见的情况是一个函数负责许多许多任务。再次强调一下,为可读性、可测试性起见,我们应该将这些「多面手」函数分成一个一个的小函数,每个小函数只负责一项任务。
文档注释
很多 Python 开发者都知道 PEP-8,它定义了 Python 编程的风格指南,但很少有人了解定义了文档注释风格的 PEP-257。在这里并不会详细介绍 PEP-257,读者可详细阅读该指南所约定的文档注释风格。
首先文档注释是在定义模块、函数、类或方法的第一段字符串声明,这一段字符串应该需要描述清楚函数的作用、输入参数和返回参数等。PEP-257 的主要信息如下:
在编写函数时,遵循这些规则很容易。我们只需要养成编写文档注释的习惯,并在实际写函数主体之前完成它们。如果你不能清晰地描述这个函数的作用是什么,那么你需要更多地考虑为什么要写这个函数。
返回值
函数可以且应该被视为一个独立的小程序。它们以参数的形式获取一些输入,并返回一些输出值。当然,参数是可选的,但是从 Python 内部机制来看,返回值是不可选的。即使你尝试创建一个不会返回值的函数,我们也不能选择不在内部采用返回值,因为 Python 的解释器会强制返回一个 None。不相信的读者可以用以下代码测试:
❯ python3 Python 3.7.0 (default, Jul 23 2018, 20:22:55) [Clang 9.1.0 (clang-902.0.39.2)] on darwin Type "help", "copyright", "credits" or "license" *for *more information. >>> def add(a, b): ... print(a + b) ... >>> b = add(1, 2) 3 >>> b >>> b is None True复制代码
运行上面的代码,你会看到 b 的值确实是 None。所以即使我们编写一个不包含 return 语句的函数,它仍然会返回某些东西。不过函数也应该要返回一些东西,因为它也是一个小程序。没有输出的程序又会有多少用,我们又如何测试它呢?
我甚至希望发表以下声明:每一个函数都应该返回一个有用的值,即使这个值仅可用来测试。我们写的代码应该需要得到测试,而不带返回值的函数很难测试它的正确性,上面的函数可能需要重定向 I/O 才能得到测试。此外,返回值能改变方法的调用,如下代码展示了这种概念:
with open('foo.txt', 'r') as input_file: for line in input_file: if line.strip().lower().endswith('cat'): # ... do something useful with these lines复制代码
代码行 if line.strip().lower().endswith('cat') 能够正常运行,因为字符串方法 (strip(), lower(), endswith()) 会返回一个字符串以作为调用函数的结果。
以下是人们在被问及为什么他们写的函数没有返回值时给出的一些常见原因:
「函数所做的就是类似 I/O 的操作,例如将一个值保存到数据库中,这种函数不能返回有用的输出。」
我并不同意这种观点,因为在操作成功完成时,函数可以返回 True。
「我需要返回多个值,因为只返回一个值并不能代表什么。」
当然也可以返回包含多个值的一个元组。简而言之,即使在现有的代码库中,从函数返回一个值肯定是一个好主意,并且不太可能破坏任何东西。
函数长度
函数的长度直接影响了可读性,因而会影响可维护性。因此要保证你的函数长度足够短。50 行的函数对我而言是个合理的长度。
如果函数遵循单一功能原则,一般而言其长度会非常短。如果函数是纯函数或幂等函数(下面会讨论),它的长度也会较短。这些想法对于构造简洁的代码很有帮助。
那么如果一个函数太长该怎么办?代码重构(refactor)!代码重构很可能是你写代码时一直在做的事情,即使你对这个术语并不熟悉。它的含义是:在不改变程序行为的前提下改变程序的结构。因此从一个长函数提取几行代码并转换为属于该函数的函数也是一种代码重构。这也是将长函数缩短最快和最常用的方法。只要适当给这些新函数命名,代码的阅读将变得更加容易。
幂等性和函数纯度
幂等函数(idempotent function)在给定相同变量参数集时会返回相同的值,无论它被调用多少次。函数的结果不依赖于非局部变量、参数的易变性或来自任何 I/O 流的数据。以下的 add_three(number) 函数是幂等的:
def add_three(number): """Return *number* + 3.""" return number + 3复制代码
无论何时调用 add_three(7),其返回值都是 10。以下展示了非幂等的函数示例:
def add_three(): """Return 3 + the number entered by the user.""" number = int(input('Enter a number: ')) return number + 3复制代码
这函数不是幂等的,因为函数的返回值依赖于 I/O,即用户输入的数字。每次调用这个函数时,它都可能返回不同的值。如果它被调用两次,则用户可以第一次输入 3,第二次输入 7,使得对 add_three() 的调用分别返回 6 和 10。
为什么幂等很重要?
可测试性和可维护性。幂等函数易于测试,因为它们在使用相同参数的情况下会返回同样的结果。测试就是检查对函数的不同调用所返回的值是否符合预期。此外,对幂等函数的测试很快,这在单元测试(Unit Testing)中非常重要,但经常被忽视。重构幂等函数也很简单。不管你如何改变函数以外的代码,使用同样的参数调用函数所返回的值都是一样的。
什么是「纯」函数?
在函数编程中,如果函数是幂等函数且没有明显的副作用(side effect),则它就是纯函数。记住,幂等函数表示在给定参数集的情况下该函数总是返回相同的结果,不能使用任何外部因素来计算结果。但是,这并不意味着幂等函数无法影响非局部变量(non-local variable)或 I/O stream 等。例如,如果上文中 add_three(number) 的幂等版本在返回结果之前先输出了结果,它仍然是幂等的,因为它访问了 I/O stream,这不会影响函数的返回值。调用 print() 是副作用:除返回值以外,与程序或系统中其余部分的交互。
我们来扩展一下 add_three(number) 这个例子。我们可以用以下代码片段来查看 add_three(number) 函数被调用的次数:
add_three_calls = 0 def add_three(number): """Return *number* + 3.""" global add_three_calls print(f'Returning {number + 3}') add_three_calls += 1 return number + 3 def num_calls(): """Return the number of times *add_three* was called.""" return add_three_calls复制代码
现在我们向控制台输出结果(一项副作用),并修改了非局部变量(又一项副作用),但是由于这些副作用不影响函数的返回值,因此该函数仍然是幂等的。
纯函数没有副作用。它不仅不使用任何「外来数据」来计算值,也不与系统/程序的其它部分进行交互,除了计算和返回值。因此,尽管我们新定义的 add_three(number) 仍是幂等函数,但它不再是纯函数。
纯函数不记录语句或 print() 调用,不使用数据库或互联网连接,不访问或修改非局部变量。它们不调用任何其它的非纯函数。
总之,纯函数无法(在计算机科学背景中)做到爱因斯坦所说的「幽灵般的远距效应」(spooky action at a distance)。它们不以任何形式修改程序或系统的其余部分。在命令式编程中(写 Python 代码就是命令式编程),它们是最安全的函数。它们非常好测试和维护,甚至在这方面优于纯粹的幂等函数。测试纯函数的速度与执行速度几乎一样快。而且测试很简单:没有数据库连接或其它外部资源,不要求设置代码,测试结束后也不需要清理什么。
显然,幂等和纯函数是锦上添花,但并非必需。即,由于上述优点,我们喜欢写纯函数或幂等函数,但并不是所有时候都可以写出它们。关键在于,我们本能地在开始部署代码的时候就想着剔除副作用和外部依赖。这使得我们所写的每一行代码都更容易测试,即使并没有写纯函数或幂等函数。
总结
写出好的函数的奥秘不再是秘密。只需按照一些完备的最佳实践和经验法则。希望本期教程能够帮助到大家。
相關免費學習推薦:python影片教學
以上是什麼樣的函數才叫 Pythonic的詳細內容。更多資訊請關注PHP中文網其他相關文章!