python 鸭子类型
Python遵循EAFP(比许可更容易请求宽恕)而不是LBYL(跨越式)。 EAFP的Python哲学在某种程度上与其“鸭子打字”编码风格有关。
当程序员在代码中创建数据时,无论是常量还是变量,某些编程语言都需要知道数据是什么“类型”。 例如,如果将变量设置为13,则计算机将不知道是要将其用作单词(“十三”)还是用作整数(例如13 + 12 = 25或13-1 = 12)。 这就是为什么许多语言要求程序员在使用数据之前先声明数据的原因。
例如,在此C ++代码中,mynumber变量是整数类型,而myword变量是字符串:
#include <string> using namespace std ; int mynumber = 13 ; string myword = "13" ; int main ( ) { std :: cout << 13 + 2 << endl ; std :: cout << "My favourite number is " + myword << endl ; }#include <iostream>
不过,Python很聪明,它使用“鸭子测试”:如果变量像鸭子一样走动而说话像鸭子一样,那么它就是鸭子。 换句话说,“应用于计算机科学”意味着Python会检查数据以确定其类型。 Python知道整数用于数学运算,单词则用于通讯,因此程序员不必向Python解释如何使用在变量中找到的数据。 Python使用鸭子类型来自行确定,而不是尝试对字符串进行数学运算或打印数组的内容(无需迭代),依此类推。
但是,在讨论这些概念之前,让我们回顾一下基础知识:
比喻理解“类型”的概念
经常讨论编程语言上下文中的“类型化”概念,但更深层的含义常常使我们难以理解。 因此,让我尝试用类比解释这个概念。
在计算机程序中,对象和其他项目存储在内存中,并且通常用一些“变量名”来指代它们。 因此,当您创建特定类的对象(使用任何流行的编程语言)时,基本上是在为该对象保留一部分内存,然后使用该变量名引用该对象。
因此,以此类推,您可以将内存中的这种空间视为一种容器或盒子。 对于本练习,我们称它为盒子。 所以现在我们有了两件事—一个对象和一个包含它的盒子。
为了进一步论证,通常,必须“设计”一个盒子以容纳其中包含的对象(即,用于容纳比赛的盒子对于放置鞋子不是理想的选择,反之亦然)实际可能)。 因此,我们可以同意对象和包含它的盒子必须都具有相似的类型吗?
但是,像Python这样的动态类型语言的工作方式却有所不同。 在这里,您可以想到变量名,它不像盒子,而是类似于“标签”(有点像商店中的价格标签)。 因此,标签没有类型。 而是,如果您询问标记的类型是什么,它可能会选择此时标记了标记的对象。 我之所以说“那一刻”是因为,就像在现实世界中一样,贴在鞋子上的标签也可以在不同的时间贴到其他物品上。 因此,Python解释器本身不会将任何类型分配给变量名。 但是,如果您询问变量名称的类型,那么它将为您提供当前绑定到的对象的类型。 这是动态类型。
这种动态类型与静态类型直接影响您编写代码的方式。 就像在现实世界中,您不能将鞋子放在用于比赛的盒子里一样,它也适用于静态类型的语言-通常,您不能将一种类型的对象放入为另一种类型的对象创建的变量名称中。
强类型与弱类型语言
这里还有一个重要的概念需要解决,即强类型语言和弱类型语言。 键入的“强度”实际上与动态键入或静态键入无关。 它与“投射”或将一种对象类型转换为另一种对象的能力有关。 与流行的看法相反,Python是一种相当强类型的语言,就像C ++或Java。 因此,例如,在Python中,您不能在字符串中添加“整数”,但是,可以使用JavaScript之类的语言来实现。 实际上,JavaScript是臭名昭著的“弱类型”语言之一。 因此,应该清楚的是,强/弱类型键入与静态/动态类型完全不同。 通常,像Python这样的脚本语言倾向于动态类型化,而编译语言倾向于静态类型化。
鸭子打字和EAFP和LBYL
Python遵循鸭子的编码类型。
让我们再次以真实世界为例。 假设您有一个对象“ Machine M”。 现在,您不知道该机器M是否具有飞行能力。 下图说明了LBYL与EAFP的进行方式:
让我们用一些Python代码(带有虚构函数)来阐明这个概念:
if can_fly ( ) : fly ( ) else : do_something_else ( ) # EAFP:- Easier to Ask Forgiveness than permission try : fly ( ) except : clean_up ( )# LBYL:- Look Before You Leap
鸭子打字如何支持EAFP
鸭子键入非常适合EAFP风格的编码。 这是因为我们不在乎对象的“类型”。 我们只关心其“行为”和“功能”。 所谓“行为”,基本上是指其属性,所谓“功能”,是指其方法。
总结一下:
如果看到很多if-else
块,则说明您是LBYL编码器。
但是,如果看到很多try-except
块,则可能是EAFP编码器。
翻译自: /article/20/5/duck-typing-python
python 鸭子类型