Rocket - tilelink - Bits vs. UInt

https://mp.weixin.qq.com/s/lzDmIHkUph3b1Fxgx66ySg

 

分析移位/取反操作在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?

​​