@ターゲットがプロパティのときには効果がありません

Question

this questionを見て、getまたはsetへの@Throwsの適用は無効です。

はさらに、@Throwsためのみ有効なターゲットはAnnotationTarget.FUNCTION、AnnotationTarget.PROPERTY_GETTER、AnnotationTarget.PROPERTY_SETTER、およびAnnotationTarget.CONSTRUCTORです。

JPAアノテーションやDeprecatedなどの他のアノテーションは、このメソッドに正しく適用されています。

これは異常な動作です。

私がデモンストレーションするために、Javaで単純な抽象クラスを作成しました。コンストラクタ、メソッド、getメソッドがそれぞれ1つずつありました。

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 { 
    } 

} 

あなたが見ることができるように、すべてのメソッド/コンストラクタがIOExceptionを投げるとしてマークされています。

しかし

、私はKotlinの等価クラスを作成し、相互運用のためのthrowsとの適切な方法をマークしようと、生成された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 { 
    } 
} 

私にとって、これらの内部のアノテーションではなくメソッドに直接適用されるので、コンパイラによって特別に扱わなければならないためと考えられます。

また、非抽象プロパティのゲッターにそれを適用する：

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() 

コンパイルされたコードはFileReader constructorがFileNotFoundExceptionスローという事実にもかかわらず、まだ

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

です。

さらに、抽象メソッドの場合は、実装を行うことができず、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" 

あなたはそれをオーバーライドしたことがありませんので、コンパイラは、IOExceptionを投げるでしょうゲッターで何もないことを確認するために十分にスマートであるので、それは勝った：私は推論はあなただけのこの操作を行う場合ということですねthrowsセクションを生成します。ゲッターがオーバーライドされると、コンパイラは指定したコードがスローできるかどうかを知る方法がないため、アノテーションに従い、常にthrows部分を出力します。

abstract class KotlinAbstractClass { 

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

それを詳しく見て取った後、私はこのケースでは動作しない@get:Throws(IOException::class)ない理由を見ない：

UPDATEは

以下は正しいバイトコードを生成しているようです。あなたはKotlinのYouTrackに問題を提出し、チームメンバーがそれについて何を言わなければならないかを見るかもしれません。