Python语言如何知道标识符的类型？

Question

我最近面临这一问题..

How does python identifies the type of an identifier? 

例如

a=5 
b=6 
c=a+b 

c的值是11

凡为

x="hello" 
y="world" 
z=x+y 

z的值是“ helloworld“

Python如何区分这两种情况？

Answer 1

检查__add__方法的类。

真的会发生什么是对象的__add__方法被称为：

a + b真的a.__add__(b)

检查也diveintopython特殊方法名。

从doc：

int类型实现了numbers.Integral抽象基类。

同样，字符串是str类的实例。

Answer 2

在Python中，类型不与变量名称关联，但与值关联。名称'a'不包含任何类型信息，它的值是'1'，它保存该信息（即它是'int'类）。

这是C和Java的契约，其中类型与变量名称相关联。

这正是咖喱式打字系统和教堂式系统的区别。

http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus#Intrinsic_vs._extrinsic_interpretations

C和Java使用教会打字（变量名有类型），而Python和JavaScript中使用咖喱打字（值都有一个类型）。