Scala入门疑问：<:符号含义及Product with Serializable相关代码解析

整句代码含义 #

你给出的代码定义了一个名为queryregistry的不可变值，它的类型是Seq[TableInfo[_ <: Product with Serializable]]，最终被赋值为包含science、math、gk三个元素的序列集合。
简单来说就是你声明了一个存储TableInfo实例的集合，并且对TableInfo的泛型参数做了类型限制。

注：你写的代码里seq和serializable为小写，Scala标准库中对应的正确写法为首字母大写的Seq和Serializable，属于输入笔误。

<: 符号的含义 #

<:是Scala泛型体系中的上界约束操作符，T <: U的语法表示泛型参数T必须是类型U的子类（或U本身），这样可以强制限定泛型参数的取值范围，保证类型安全。
你代码里的_是存在型通配符，组合起来_ <: Product with Serializable的意思就是：TableInfo的泛型参数可以是任意符合「是Product with Serializable子类」的类型，不需要固定为某一个具体类型。

Product with Serializable 的含义 #

with是Scala中用于拼接多个特质的关键字，Product with Serializable是一个复合类型，要求泛型参数同时实现这两个特质：

• Product：Scala中所有样例类（case class）、元组默认都会自动实现的特质，提供了按索引取字段、获取字段总数、遍历字段值等通用能力。
• Serializable：序列化标记特质，实现了这个特质的类的实例可以被转为字节流，用于网络传输或者持久化存储。
  实际开发中这个约束绝大多数场景是用来限定TableInfo的泛型参数必须是样例类，因为Scala的样例类默认就自动混入了Product和Serializable两个特质，不需要手动实现。

内容的提问来源于stack exchange，提问作者punit