我是 Kotlin 的新手，正在学习它。我想出了一些高级语法。
abstract class BaseVMActivity(VM:ViewModel,B:ViewBinding) => This is I know as constructor.
但是
abstract class BaseVMActivity<VM : ViewModel , B : ViewBinding> => This syntax I didn't understand.
它与构造函数有什么不同？
【问题讨论】：
标签： android android-studio kotlin binding android-viewmodel
<> 的语法用于泛型类型参数，它独立于构造函数。从技术上讲，您可以同时拥有两者：
class BaseVMActivity<VM : ViewModel , B : ViewBinding>(vm: VM, b: B)
您可以阅读一些关于泛型的内容in the documentation，但该文档更侧重于与 Java 的差异（例如关于泛型差异），而不是解释泛型的基础知识。 @Tenfour04 提到的Java documentation 更有指导意义。
基本上，当类的代码除了类的某些输入/输出值的类型（构造函数/方法参数和返回类型）之外应该相同时，泛型类很有用。与在任何地方使用 Any 或其他父类型相比，它可以提供更多的类型安全性。
例如，这个Box 类可以包含任何类型的值：
class Box(var value: Any)
但是当你得到一个 Box 的实例时，你无法在编译时知道它包含什么：访问 box.value 会给你一个类型为 Any 的值，你需要强制转换它（冒着运行时失败的风险) 以获取可用值：
val box: Box = Box("some string")
val value1: String = box.value // not allowed
val value2: String = box.value as String // risky if box is declared somewhere else
val value3: Int = box.value as Int // compiles fine, fails at runtime
泛型是增加编译时安全性的好方法。这是如何声明一个通用的Box<T> 类，其中T 是在实例化该类时确定的类型。 T 被称为Box 类的类型参数。 Box 的不同实例可以为T 使用不同的类型（它们可以有不同类型的值）：
class Box<T>(var value: T)
val box: Box<String> = Box("some string")
// this compiles and is safe, because it's a Box<String>, not any box
val value: String = box.value
val value: Int = box.value // doesn't compile
val value: Int = box.value as Int // doesn't compile, because String can't be cast to Int
现在这个Box<T> 可以与任何类型T 一起使用，但有时您希望constrain that type 只接受某些类型。这就是 : 的语法来源：
abstract class Animal
class Dog : Animal()
class Cat : Animal()
class Box<T : Animal>(val animal: T)
如果我这样声明Box，则只允许Animal 的子类型：
val catBox: Box<Cat> = Box(Cat())
val dogBox: Box<Dog> = Box(Dog())
val stringBox: Box<String> = Box("some string") // doesn't compile
您还可以在泛型类中声明多个类型参数，方法是用逗号分隔它们：
interface Map<K, V>
每个类型参数也可以有自己的界限，这就是你所看到的语法：
abstract class BaseVMActivity<VM : ViewModel , B : ViewBinding>
本例中有VM和B两个类型参数，它们必须分别是ViewModel和ViewBinding的子类型。
【讨论】：