Cython无法识别切片参数中memoryview的维度变化求助

在使用Cython融合类型（如cython.floating）的memoryview时，直接将2D memoryview的切片结果作为1D memoryview参数传递给子函数会触发编译错误，仅先赋值给中间变量的写法可正常编译，以下是具体分析：

问题复现 #

你的代码中三种写法的差异与编译结果：

• _func1：直接传递out1[:, 0]这类切片结果给子函数，编译失败
• _func2：尝试用<cython.floating[:]>强制转换切片结果，依然编译失败
• _func3：先将切片结果赋值给同类型的1D memoryview变量，再传递给子函数，编译成功

原因解析 #

1. 融合类型的即时推导限制：Cython的融合类型（如cython.floating）是模板化的类型占位符，在处理memoryview切片的即时传递时，类型推导逻辑无法自动将切片生成的临时1D memoryview与融合类型的cython.floating[:]做匹配，导致类型不兼容的编译错误。
2. 强制转换的无效性：cython.floating[:]并非具体的C类型，而是融合类型的模板标识，C风格的强制转换语法仅适用于具体类型（如<double[:]>），因此_func2的转换写法无法生效。

结论 #

_func3的写法是现阶段Cython处理融合类型memoryview切片传递的必要写法，不属于操作失误。这是Cython融合类型与memoryview交互时的已知限制，在0.29.x到3.x版本中均存在。

内容的提问来源于stack exchange，提问作者djhoese