Chisel3创建泛型Bundle时报别名异常与类型不匹配错误如何解决

第一个错误：AliasedAggregateFieldException #

产生原因 #

Chisel 要求 Bundle 中的每个字段必须是独立的 Data 实例，你在定义 ParamBus 时直接将同一个传入的 gen 对象同时赋值给 dat1 和 dat2，导致两个字段指向同一个实例，触发别名冲突校验。

修复方法 #

每个字段都调用 gen 的 cloneType 方法生成独立的实例，Chisel 3.2+ 版本已经支持自动推导 cloneType，不需要手动重写该方法。修改后的 ParamBus 代码如下：

class ParamBus[T <: Data](gen: T) extends Bundle {
  val dat1 = gen.cloneType
  val dat2 = gen.cloneType
}

第二个错误：加法操作类型不匹配 #

产生原因 #

你定义的泛型 T 只有 <: Data 的上界，而 Data 类型本身没有定义 + 操作符。Scala 编译器找不到对应类型的 + 方法时，会触发默认的 any2stringadd 隐式转换，尝试将左侧值转为字符串做拼接，此时 + 操作符要求输入参数为 String 类型，但你传入的是 T 类型的 reg_d.dat2，因此抛出类型不匹配错误。

修复方法 #

给泛型 T 增加数值类型约束，限定 T 为实现了 Num trait 的类型（Chisel 中 UInt、SInt 均实现了 Num trait，支持算术运算），如果需要给输出设置默认零值，不要直接写 0.U，要通过 asTypeOf 转为对应泛型的零值，修改后的 TestMod 定义如下：

// 注意T的上界改为Num[T]
class TestMod[T <: Num[T]](gen: T) extends Module {
  val io = IO(new Bundle {
    val o_out = Output(gen.cloneType)
  })

  val reg_d = Reg(new ParamBus(gen))

  // 泛型场景下的默认零值写法
  // io.o_out := 0.U.asTypeOf(gen)
  io.o_out := reg_d.dat1 + reg_d.dat2

  dontTouch(reg_d)
}

如果你的场景需要支持非数值类型的泛型，可以单独针对数值类型的场景做模式匹配处理，避免直接调用 + 操作符。

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