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