考察以下函数定义代码：
def func(x:int,y:str)->str:
z=x*y
return z
以下陈述正确的是？（ ）
Python是一种动态类型语言，不强制要求指定参数类型，上述代码行是不符合Python语法的
为提高程序的可靠性，Python函数定义时允许为形参指定数据类型，也允许为返回值指定类型
由于为函数指定了返回值类型，变量z一定要做类型转换后，才能用于上述return语句中
由于为形参指定了不同的数据类型，变量x和y也需要先做类型转换后才能进行上述运算
