当前位置：文江博客话题详情

在 Scala 中，什么是“早期初始化程序”？

发布于 2024-10-12 12:45:59 字数 301 浏览 1 评论 0原文

在 Martin Odersky 的最近关于 Scala 程序员能力水平的文章中，Expert在库设计者部分，他添加了术语“早期初始化程序”。

Scala 编程中没有提到这些。这些是什么？

原文

分享到QQ

分享到微博

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

发布评论

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

束缚ｍ 2024-10-19 12:45:59

早期初始化程序是子类构造函数的一部分，旨在在其超类之前运行。例如：

abstract class X {
    val name: String
    val size = name.size
}

class Y extends {
    val name = "class Y"
} with X

如果代码是这样写的

class Z extends X {
    val name = "class Z"
}

，那么在初始化Z时就会出现空指针异常，因为size是在name之前初始化的初始化的正常顺序（超类在类之前）。

Early initializers are part of the constructor of a subclass that is intended to run before its superclass. For example:

abstract class X {
    val name: String
    val size = name.size
}

class Y extends {
    val name = "class Y"
} with X

If the code was written instead as

class Z extends X {
    val name = "class Z"
}

then a null pointer exception would occur when Z got initialized, because size is initialized before name in the normal ordering of initialization (superclass before class).

回复收藏 0 原文

单身狗的梦 2024-10-19 12:45:59

据我所知，动机（如上面的链接中给出）是：

“当然，当 val 被重写时，它不会被初始化多次。因此，尽管上面示例中的 x2 似乎在每个点都定义了，但这个情况并非如此：在构造超类期间，重写的 val 将显示为 null，抽象 val 也是如此。”

我根本不明白为什么这是自然的。赋值的 rhs 完全有可能产生副作用。请注意，这样的代码结构在 C++ 或 Java 中是完全不可能的（我猜是 Smalltalk，尽管我不能代表该语言）。事实上，您必须通过构造函数在这些语言中隐式进行此类双重赋值...ticilpmi...EXplicit。鉴于 rhs 副作用的不确定性，它看起来真的根本不像一个动机：通过 ASSIGNMENT 回避超类副作用（从而消除超类不变量）的能力？恶心！

允许这种不安全的代码结构是否还有其他“杀手”动机？面向对象语言已经有大约 40 年没有这样的机制了（如果从语言的创建算起，有 30 多年），为什么现在要包含它呢？

这……只是……看起来……很危险。

回复收藏 0 原文