静态编程语言：从Java类访问公共字段，该类也覆盖同名的公共getter

Question

我有一个Java类（我不能编辑，因为它是由Thrift自动生成的）定义如下：

public class TheirException extends Throwable {
  public String message;

  public TheirException(String message) {
    this.message = message;
  }

  public String getMessage() {
    return this.message;
  }
}

但是，如果我尝试从静态编程语言获取消息，则getMessage（）不可用，并会产生未解决的引用错误。尝试使用消息字段会产生以下错误：

错误：（470,30）静态编程语言：重载解决歧义：
公共最终var消息：字符串！定义在com.example.TheirExctive
公共打开val消息：字符串？定义在com.example.TheirExctive

然而，如果我这样做：

(exception as Throwable).message

很好。

为什么这里有必要强制转换为可丢弃的，为什么不能使用getMessage（），是什么导致了这种歧义？

Answer 1

这种歧义是由于消息是公开的。即使没有支持字段，Kotlin也会将每个getter转换为属性。如果将另一个函数添加到此类：

public String getSecondMessage() {
  return "second message"; // Note that this getter does not rely on a field
}

您可以在Kotlin中这样访问它：

TheirException("message").secondMessage

如果message是公共的，并且有一个getMessage（）函数，那么Kotlin会创建两个getter，并且在调用站点上，您知道该使用哪个。在您的示例中，两个getter具有相同的行为，但情况并非总是如此。

当您将类强制转换为一个Throwable时，您显式地告诉编译器该类具有Throwable的签名，这意味着您定义了只有一个消息getter，这就解决了歧义。请注意，Kotlin对可丢弃的有自己的定义（这一点稍后会很重要）。

现在你可能会问为什么没有getMessage（）函数。这是因为您正在向Throwable而不是java施压。lang.Throwable。Throwable的Kotlin定义没有getMessage（）