"lateinit var覆盖lateinit var"

Question

假设我有一个这样的设置:

abstract class FooTest {

    open lateinit var softAssertions: SoftAssertions

    ... reusable auxiliary functions ...
}

@ExtendWith(SoftAssertionsExtension::class)
class BarTest: FooTest(){

    @InjectSoftAssertions
    override lateinit var softAssertions: SoftAssertions

    ... actual test cases ...
    
}

IntelliJ为BarTest中的softAssertions:

lateinit变量覆盖lateinit变量

伊伊伊..？来吧，你的观点是什么？

我最终意识到我的lateinit var在FooTest中确实应该是一个抽象val，而不是-它消除了警告-但即便如此，我还是想知道…是否有关于lateinit var覆盖lateinit var的内容，我应该知道但不知道，IntelliJ想告诉我但没有？

Answer 1

基本上，它只是警告你，它认为这种覆盖可能不是故意的，因为它看不到任何有用的东西。通常，你不能覆盖变量，但是静态编程语言中的变量是属性（即它们有getter和setter）。所以从技术上讲，你正在覆盖getter/setter，但是既然你没有改变它们的实现，为什么要这样做呢？

在科特林，财产覆盖的一个好例子是：

abstract class FooTest {
    open val softAssertions: SoftAssertions
}

然后

@ExtendWith(SoftAssertionsExtension::class)
class BarTest: FooTest(){

@InjectSoftAssertions
override lateinit var softAssertions: SoftAssertions

... actual test cases ...
}

在这种情况下，您将通过var（同时具有getter和setter）覆盖val（只有getter）。

Answer 2

原因在增加检查的问题中描述:

A2 [您情况下的 BarTest] 实例将具有两个用于单个属性的字段，而来自 A1 [FooTest] 的字段实际上仍未使用，这似乎很可疑。

...

为什么我们认为可疑只是一个具有后期属性的案例？我在这里要说的是，任何具有支持字段的属性覆盖另一个具有支持字段的属性的情况都是可疑的。

一般来说，带有支持字段的属性可以有自定义的setters，所以在某些情况下覆盖它们是有意义的。相反，lateinit属性从来没有自定义设置器，因此重写它们会使被重写的属性后备字段始终不被使用。

这两个不同的支持字段也可能导致有趣的事情，例如当lateinit变量的“isInitialized”属性被另一个类重写为var时，它为false。

在重写属性具有注释的情况下添加一个异常可能是有意义的，就像您的情况一样。