Rocket - tilelink - Bits vs. UInt

分析移位/取反操作在Intellij中提示错误的问题。

1. 问题

用到移位/取反的地方都会有错误提示：

提示信息为：

2. 分析

问题发生在对UInt变量，调用在Bits中定义的方法，然后把返回值依然作为UInt使用。但是Bits中定义的方法，返回的是Bits，这就产生了类型不匹配的问题。

以“>>”方法为例。

在Bits中的定义为：

其实现依赖于抽象方法do_>>。

do_>>在UInt类中实现：

对比发现在Bits中，do_>>返回Bits类型，而在UInt中，do_>>返回UInt类型。子类中的方法会覆盖父类中的方法。所以针对UInt对象调用do_>>方法时，返回的是UInt：

问题在于实际使用的不是do_>>，而是>>方法。>>只在Bits中定义，返回的是Bits。虽然其实现使用的是do_>>会返回UInt，但是这个返回的UInt会被转换为Bits对象，再作为>>的返回值返回。

3. 解决

有两个解决方法。

1) 在子类中也定义>>/<</~等这些方法，并返回子类类型

这样修改每一个子类中都要定义这一组方法，解决不了代码复用的问题。

2) 在Bits中，把返回值类型定义为this.type。有两个地方可以佐证这种写法：

a. pad方法

b. 检视意见

REVIEW TODO: should these return this.type or Bits?

巴特西