当目标是一个属性时@Throws 无效

Question

在查看此问题时，我注意到应用于@Throwsaget或setuse-site 无效。

此外，唯一有效的目标为@Throws是AnnotationTarget.FUNCTION，AnnotationTarget.PROPERTY_GETTER，AnnotationTarget.PROPERTY_SETTER，和AnnotationTarget.CONSTRUCTOR。

其他注释，例如 JPA 注释和Deprecated工作正常，并正确应用于该方法！

这是奇怪的行为。

为了演示，我在 Java 中创建了一个简单的抽象类，具有一个构造函数、一个方法和一个 get 方法。

public abstract class JavaAbstractClass {

    @Deprecated
    @NotNull public abstract String getString() throws IOException;
    public abstract void setString(@NotNull String string) throws IOException;

    public abstract void throwsFunction() throws IOException;

    public JavaAbstractClass() throws IOException {
    }

}

如您所见，每个方法/构造函数都标记为 throwing IOException。

然而，当我尝试在 Kotlin 中编写一个等效的类，并用throwsfor interop标记适当的方法时，生成的getString和setString方法没有throws子句。

abstract class KotlinAbstractClass @Throws(IOException::class) constructor() {

    @get:Deprecated("Deprecated")
    @get:Throws(IOException::class)
    @set:Throws(IOException::class)
    abstract var string: String

    @Throws(IOException::class)
    abstract fun throwsFunction()

}

反编译代码：

@Metadata(Some metadata here)
public abstract class KotlinAbstractClass {
   /** @deprecated */
   @Deprecated(
      message = "Deprecated"
   ) // @Deprecated made it through!
   @NotNull
   public abstract String getString(); // Nothing here!

   public abstract void setString(@NotNull String var1); // Nothing here!

   public abstract void throwsFunction() throws IOException;

   public KotlinAbstractClass() throws IOException {
   }
}

在我看来，这似乎是因为这些内部注解必须由编译器专门处理，而不是直接应用于方法。

此外，将其应用于非抽象属性的 getter：

val string: String
@Throws(IOException::class) get() = "Foo"

确实生成了一个带有签名的方法public final String getString() throws IOException！

也许这个案子没有得到妥善处理？

这是一个错误吗？

---

注意：这与该方法是否实际抛出此异常没有任何关系。

如果我做：

@get:Throws(IOException::class)
val string: String
    get() = BufferedReader(FileReader("file.txt")).readText()

编译后的代码还在

@NotNull
public final String getString() {
    return TextStreamsKt.readText((Reader)(new BufferedReader((Reader)(new FileReader("file.txt")))));
}

尽管FileReader构造函数抛出一个FileNotFoundException.

此外，这对于抽象方法无论如何都无关紧要，因为它们不能有实现并且仍然可以有throws子句。

如果我按照@tynn 的建议去做并添加一个具体的实现：

class ConcreteClass : KotlinAbstractClass() {

    override val string: String
        get() = BufferedReader(FileReader("file.txt")).readText()

    ...

}

我仍然得到相同的结果。

Answer 1

我相信 @tynn 建议您执行以下操作：

override val string: String
        @Throws(FileNotFoundException::class) get() = BufferedReader(FileReader("file.txt")).readText()

throws这应该会为您提供签名中包含的正确 Java 版本。我想原因是如果你这样做：

@get:Throws(IOException::class)
val foo: String = "foo"

编译器足够聪明，可以看到 getter 中没有任何内容会抛出IOException，因为您从未覆盖它，所以它不会生成该throws部分。当 getter 被重写时，编译器无法知道您提供的代码是否会抛出异常，因此它遵循注释并始终输出该throws部分。

更新

以下似乎生成了正确的字节码：

abstract class KotlinAbstractClass {

    abstract var string: String
        @Throws(IOException::class) get
        @Throws(IOException::class) set
}

仔细研究后，我认为@get:Throws(IOException::class)在这种情况下没有理由不工作。您可以在 YouTrack for Kotlin 上提交问题，看看团队成员对此有何评论。