如何在 isInstanceOf 调用中使用结构类型?

发布于 2024-10-15 06:49:30 字数 164 浏览 7 评论 0原文

标题基本上已经说明了这一点。

有没有办法在 isInstanceOf[] 调用中使用例如 new Object {def foo = "bar"} 的类型?

The title basically says it.

Is there a way to use the type of e. g. new Object {def foo = "bar"} in an isInstanceOf[<structural_type_here>] call?

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

扫码二维码加入Web技术交流群

发布评论

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

评论(2

人生百味 2024-10-22 06:49:30

结构类型不适用于 isInstanceOf。同样,结构类型的模式匹配是没有意义的(它们总是匹配)。

这通常归咎于类型擦除,但即使没有擦除,它也不起作用,因为 JVM 不理解结构类型。

另一方面,Scala 可能足够聪明,可以通过擦除来进行结构类型检查。

Structural types will not work with isInstanceOf. Likewise, pattern matches to structural types are meaningless (they always match).

This is usually blamed on type erasure, but even in the absence of erasure it would not work, since JVM does not understand structural types.

On the other hand, Scala could have been smart enough to make structural type checking work through erasure.

欲拥i 2024-10-22 06:49:30

我想说你可以使用类型别名:

type HasFooMethod = { def foo: String }
val v = new Object {def foo = "bar"}
v.isInstanceOf[HasFooMethod]

但是由于擦除,它总是返回 true。

因此,您可以使用反射,或者只是尝试将对象传递给采用结构类型作为参数的方法 - 如果它无效,编译器将出错。

I'd like to say that you can use a type alias:

type HasFooMethod = { def foo: String }
val v = new Object {def foo = "bar"}
v.isInstanceOf[HasFooMethod]

But that'll always return true, thanks to erasure.

So you can either use reflection, or just try and pass the object to a method taking a structural type as a parameter - the compiler will then error if it's not valid.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文