如何在 F# 中定义编译时类型转换运算符？

发布于 2024-12-27 11:56:49 字数 250 浏览 2 评论 0原文

鉴于：

let ab = ArgumentBlockSettingStore()
let a  = ab :> ISettingStore

有没有办法定义前缀运算符 (~~) 以便这

let ab, a = ~~ArgumentBlockSettingStore() : _ * ISettingStore

成为可能？

原文

Given:

let ab = ArgumentBlockSettingStore()
let a  = ab :> ISettingStore

Is there a way to define a prefix operator (~~) so that

let ab, a = ~~ArgumentBlockSettingStore() : _ * ISettingStore

becomes possible?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

ˇ宁静的妩媚 2025-01-03 11:56:49

我认为您遇到了评论中提到的编译器限制 - 您无法以完全通用且安全的方式编写 ~~ 运算符，这意味着它只允许转换为以下接口：论证实现。您可以定义一个将转换为任何其他类型的运算符，但这不太安全：

let inline (~~) (a:^T) : ^T * ^R = a, (box a) :?> ^R

let reader, (disposable:IDisposable) = ~~(new StreamReader("..."))

我使用内联，因为该运算符非常简单，但它的工作方式与正常运营商。即使您在 disposable 的类型注释中使用 Random，它也会编译，这有点不幸。

I think you're hitting the compiler restrictions that you mentioned in the comment - you can't write the ~~ operator in a fully generic and safe way meaning that it will only allow casting to an interface that the argument implements. You can define an operator that will cast to any other type, but that's less safe:

let inline (~~) (a:^T) : ^T * ^R = a, (box a) :?> ^R

let reader, (disposable:IDisposable) = ~~(new StreamReader("..."))

I used inline, because the operator is quite simple, but it works the same way with normal operators. This compiles even if you use Random in the type annotation for disposable, which is a bit unfortunate.

回复收藏 0 原文

~没有更多了~