为什么不能访问具体类型参数的伴侣 object？

Question

在下面，由于T被具体化，我想通过访问它的同伴 object 来“几乎就像是一个普通类一样”使用它。

class Cls {
  companion object {
    fun method() { }
  }    
}

inline fun <reified T> func() {
  T.method()  // error
}

fun main() {
  func<Cls>()
}

但失败了

Type parameter 'T' cannot have or inherit a companion object, so it cannot be on the left hand side of dot

因此，似乎丢失了大量信息。 无论有没有reified ，我都会遇到同样的错误。 我希望一个reified的类型参数能比 Java 的更全面的通用实现。 我在 C++ 模板方面拥有丰富的经验。

我找到了一些解决方法（使用反射都非常令人失望），但我真的在问为什么这不起作用。

Answer 1

我不确定这是否回答了所有问题，但它太大了，无法发表评论。

首先，正如评论中所述，代码的编写方式， T不一定是Cls ，因此您需要进行一些更改：

open class Cls {
  companion object {
    fun method() { }
  }    
}

inline fun <reified T : Cls> func() {
  
}

打开 class 并让 Kotlin 知道T是Cls

然而，即使它是内联的，这仍然不会让你调用伴随方法，因为T没有伴随方法。 即使没有 generics：

open class Cls {
  companion object {
    fun method() { }
  }    
}

class Foo : Cls

fun main() = Foo.method() // doesn't work

不起作用，因为同伴不是继承的。 为什么？ 这是 Kotlin 设计人员有意识的决定。 如您所知，Kotlin 旨在纠正 Java 的许多问题，这就是其中之一。

Java 中的 Static 方法在编译时绑定，而覆盖基于运行时的动态绑定。 当你混合两者时，这变得相当混乱，Kotlin 试图避免这种情况。 这是一个例子：

class Cls {
    public static void method() {
        System.out.println("Cls' method");
    }
}

class Foo extends Cls {
    public static void method() {
        System.out.println("Foo's method");
    }
}

public class Main {
    public static void main(String[] args) {
        Cls parent = new Foo();
        parent.method();
    }
}

如果method真的被覆盖，它会打印出Foo's method ，但实际上这会打印Cls' method 。 原因是没有覆盖，但有阴影发生。 另一方面，如果方法不是 static，那么你会得到Foo's method ，因为它确实被覆盖了。 这显然引起了开发人员的混淆，Kotlin 完全不允许这样做。