在阅读 Java 语言规范时，我发现了一些我无法理解的符号。例如这个
令 C 为具有零个或多个类型参数 (§4.4) F1, ..., Fn 的类型声明 (§4.12.6, §8.1, §9.1)，它们具有相应的边界 B1, ..., Bn。该类型声明定义了一组参数化类型 (§4.5) C2 ，其中每个参数类型 Ti 的范围涵盖作为相应边界中列出的所有类型的子类型的所有类型。也就是说，对于 Bi 中的每个束缚类型 Si，Ti 是 Si[ F1 := T1, ..., Fn := Tn] 的子类型。
什么是 Si[ F1 := T1, ..., Fn := Tn]？怎么读呢？有人知道吗？谢谢...
最佳答案
相同的规范描述了第 2 章中的符号。
关于java - 如何从 Java 语言规范中读取特定符号，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9234398/