第1篇:Cython的数据类型(第二部分)
Cython的C指针
与C一样，尽管指针性与变量而不是类型相关联，但可以在类型或变量附近声*号。
%%cython
cdef int *a
cdef int *b
但这样在变量a,b写在一行,cython编译器会发出警告的信息,因此建议每个变量单独声明
%%cython
cdef int *a,*b
Cython中的指针的解引操作
在Cython中解引用指针与在C语言中不同。
由于Python语言已经使用*args和**kwargs语法来允许任意位置和关键字参数并支持函数参数解包，因此Cython不支持*
*解引语法是C指针的语法。 取而代之的是，我们在位置0的指针处建立索引，以解引Cython中的指针的引用。 这种语法也可以解引C中的指针，尽管这种情况很少见。
Cython的结构体与指针
无论在C中使用箭头运算符的任何地方，在Cython中的结构体都使用点运算符访问其内部的成员变量，Cython将生成正确的C级代码
%%cython -a
cdef struct Person:
char* name
unsigned int age
#end-cdef
#初始化结构体
cdef Person p=Person("jck308",32)
#声明Person类型结构体指针p_per
#并将变量p的地址赋值给指针p_per
cdef Person *p_per=&p
#访问结构体的成员
print(p.age)
print(p.name)
print(p_per.age)
print(p_per.name)
混合静态和动态类型变量
Cython允许静态和动态类型变量之间的赋值。静态和动态的这种流体混合是一个强大的特性，我们将在多个实例中使用它：它允许我们对大多数代码基使用动态Python对象，并轻松地将它们转换为性能关键部分加速、静态类型的类比。
举例来说，假设我们有几个静态int，我们想将它们组合成（动态）Python元组。使用Python/C API创建和初始化这个元组的C代码很简单，但是很繁琐，需要几十行代码，并且需要大量的错误检查。在Cython，显而易见的方法就是：
%%cython
#静态类型的变量
cdef int a=1,b=2,c=3
##动态类型的变量
tuple_of_ints=(a,b,c)
print(tuple_of_ints)
这段代码很无聊。 这里要强调的一点是，a，b和c是静态类型的整数，而Cython允许使用它们创建动态类型的Python元组。 然后，我们可以将该元组分配给动态键入的tuple_of_ints变量。 该示例的简单性是Cython强大之处：我们可以以显而易见的方式创建一个C类型int元组，而无需进一步思考。 我们希望像这样的概念上简单的事情变得简单，这就是Cython所提供的。
此示例之所以有效，是因为C类型的int与Python int之间存在明显的对应关系，因此Python可以为我们自动类型转换。 例如，如果a，b和c是C指针，则此示例无法按原样工作。 在这种情况下，我们必须解引它们，然后再将它们放入元组或使用其他策略。
例如下面的代码是个错误的例子，因为Python解释器无法识别指针类型的变量
%%cython
cdef int k=55,j=56
cdef int *a=&k
cdef int *b=&j
tuple_of_ints=(a,b)
print(tuple_of_ints)
正确的做法,如下图所示，我们通过解引指针变量a、b
ss8.png
给出了内置Python类型与C或C ++类型之间对应关系的完整列表
ss8.png
Cythond的bint类型
bint布尔整数类型是C级别的int，并与Python的bool相互转换。 它具有真实性的标准C解释：零为False，非零为True。
整数类型转换和溢出
Python 3中，所有int对象都是无限精度的。当将整数类型从Python转换为C时，Cython会生成检查溢出的代码。 如果C类型不能表示Python整数，则会引发运行时OverflowError。
float类型转换
Python fload存储为C double。 根据IEEE 754转换规则，将Python浮点数转换为C浮点数可能会截断为0.0或正负无穷大。
Cython的double类型会被动态转换Python的float类型
%%cython
cdef double d=384848048282945060321.3835
b=d
print(b)
print(type(b))
ss8.png
Complex类定
The Python complex类型存储为两个double的C结构,Cython具有浮点复数和双复数C级类型，它们对应于Python复数类型。 C类型与Python复杂类型具有相同的接口，但是使用有效的C级操作。 这包括访问实数和虚数分量的实数和imag属性，创建多个复数共轭的共轭方法，以及用于加，减，乘和除的有效运算。C级Complex类型与C99 _Complex类型或C ++ std :: complex模板化类兼容。
bytes类型
Python字节类型会自动在char *或std :: string之间来回转换。下面示例就是Cython char类型指针 动态转换为Python的bytes
%%cython
cdef char* s="Hello World"
b=s
print(b)
print(type(b))
用Python类型静态声明变量
到目前为止，我们一直使用cdef静态声明C类型的变量。 也可以使用cdef静态声明Python类型的变量。 我们可以对内置类型（例如list，tuple和dict）执行此操作； 扩展类型，例如NumPy数组； 还有很多其他
并非所有的Python类型都可以静态声明：它们必须用C实现，并且Cython必须有权访问该声明。 内置的Python类型已经满足了这些要求，并且声明它们很简单。 例如Python典型的集合类型list,dict,str,set(str就是集合类型,字符串数组)：
cdef list mylist
cdef dict mydi
cdef str pname
cdef set myset
此示例中的变量是完整的Python对象。 在后台，Cython将它们声明为指向某些内置Python结构类型的C指针。 它们可以像普通的Python变量一样使用，但是受其声明类型的约束：
%%cython
cdef list mylist=[k+1 for k in range(1,11)]
pylist=mylist
print("mylist:",mylist)
print("删除pylist索引2的元素")
del pylist[2]
print(mylist)
在这里，通过删除pylist第3个元素也会删除mylist的第3个元素，因为它们引用的是同一列表。mylist和pylist之间的一个区别是，mylist只能引用Python列表对象，而pylist可以引用任何Python类型。 Cython将在编译时和运行时对mylist施加类型约束。
备注:关于Cython更复杂的数组类型引用，可以参考此篇文章《第5篇:Cython的线性表性操作》
乍一看，Cython允许静态声明具有内置Python类型的变量似乎有些奇怪。 为什么不照常使用Python的动态类型？ 答案指出了Cython的一般原理：我们提供的静态类型信息越多，Cython就能更好地优化结果。 像往常一样，该规则也有例外，但这通常是正确的。 例如，以下代码从Cython函数中返回sieveOfEratosthenes()返回一个cdef list的对象附加到动态类型的变量中：
%%cython
#cython:language_level=3
cpdef list sieveOfEratosthenes(int n):
cdef list pr = [True for i in range(n + 1)]
cdef int p = 2
cdef list res=list()
while (p * p <= n):
if (pr[p] == True):
for i in range(p * p, n + 1, p):
pr[i] = False
#end-for
#end-if
p += 1
#end-while
cdef int k
for k in range(2,n):
if pr[k]:
res.append(k)
#end-if
#end-for
return res
#end-def
#这是Python动态类型的list
primers=[]
primers=sieveOfEratosthenes(9)
print(primers)
print("调用append方法")
primers.append(11)
print(primers)
程序输出
Cython编译器将生成可处理任何Python对象的代码，并在运行时测试primers是否为列表。如果不是，只要它具有带参数的append方法，该代码就会运行。在后台，生成的代码首先在primers对象上查找append属性(使用PyObject_GetAttr），然后使用完全通用的PyObject_Call Python / C API函数调用该方法。 这实质上模拟了当运行等效的Python字节码时Python解释器将执行的操作。
假设上面的代码中primers变量我们使用静态声明
cdef list primers
现在，Cython可以生成专门的代码，这些代码可以直接从C API调用PyList_SET_ITEM或PyList_Append函数。 这就是上一示例中的PyObject_Call最终仍然要调用的内容，但是静态类型允许Cython绕过了Python解释器在动态调度(Dynamic Dispatch)一系列繁琐沉重的类型检测(内部类型指针查找)，这也是Cython的静态版本list比Python动态版本list性能高效的原因。
关于Python解释器的动态调度的详细介绍，请查看此文《第2篇:Cython VS Python 执行原理》
Cython当前支持的集中内置可静态声明的Python类型，我们常用静态声明的可能就是list,dict
- type,object
- bool
- complex
- basestring,str,unicode,bytes,bytearray
- list,tuple,dict,set,frosenset
- array
- slace
- date,time,datetime,timedelta,tzinfo
上面的列出的中不包括直接C对应的Python类型（例如int，long和float）。 事实证明，在Cython中静态声明和使用PyIntObjects，PyLongObjects或PyFloatObjects并不容易。 幸运的是，这样做的需要很少。 我们只声明常规的C基本数据类型int，long，float和double，然后让Cython为我们进行往返于Python的自动转换。
数字字面量的基本运算
当我们对数字字面量进行加，减或乘运算时，当操作数是动态类型化的Python对象时，这些操作具有Python语义(包括对于数值大的自动Python long强制转换）。当操作数是静态类型的C变量时，它们具有C语义（即，对于有限精度的整数类型，结果可能会溢出）
除数和模数（即计算余数）值得特别提及。使用带符号整数操作数计算模数时，C和Python具有明显不同的行为：C舍入为零，而Python舍入为无穷。例如，使用Python语义时，-1％5的结果为4；但是，如果使用C语义，它将得出-1。当将两个整数相除时，Python始终检查分母，并在其为零时引发ZeroDivisionError，而C没有适当的保护措施。
对于除法/取模运算中，即便指定了C类型的静态数字变量，Cython的行为是倾向于Python的，要获取与C/C++完全相同的语义，我们可以在全局模块级别或在指令注释中使用cdivision编译器指令，如下示例所示
在Python 3中，在C级别，所有整数都是PyLongObjects。Cython以与语言无关的方式在C整数类型和这些Python整数类型之间正确转换，并在无法进行转换时引发OverflowError。
当我们在Cython中使用Python对象时，无论是静态声明还是动态声明，Cython仍将为我们管理对象的所有方面，包括繁琐的引用计数。下一篇我们将会谈到Cython中的引用计数和静态的字符串类型。
