F#泛型sum类型约束
F#泛型sum类型约束
提问于 2021-07-21 07:17:13
什么是为泛型类型编写类型约束的正确方法，以便我们可以将其实例传递给Array.sum函数？
这不起作用：
let mySum< 'a when 'a : (static member get_Zero: unit -> 'a) and 'a : (static member (+) : 'a -> 'a -> 'a) > (xs: 'a[]) = Array.sum xs我在上面得到的错误消息是A type parameter is missing a constraint 'when ^a : (static member get_Zero : -> ^a)'
虽然我需要一个泛型类型，而不是一个静态解析的类型，但我确实尝试了以下方法，但没有成功：
let mySum< ^a when ^a : (static member get_Zero: unit -> ^a) and ^a : (static member (+) : ^a -> ^a -> ^a) > (xs: ^a[]) = Array.sum xs(我在这里再次得到相同的错误消息)。我也尝试内联该函数，但它也不起作用。
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-07-21 07:32:43
这是可行的：
let inline mySum< 'a when 'a : (static member Zero : ^a) and 'a : (static member (+) : 'a -> 'a -> 'a) > (xs: 'a[]) = Array.sum xs但不要忘记将函数标记为内联。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68465394
复制相关文章
相似问题
如何在kafka连接jdbc中重写key.serializer
找不到类，找不到类定义
卡夫卡制片人抛出"key.serializer“异常
找不到GoogleMaps类-找不到类‘laravel’
使用事务时，每个生产者的key.serializer不同
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
