问题标签 [context-bound]

我是 scala 的新手，我正在尝试实现一个append附加两个数字或字符串的方法方法“”。

对这段代码进行实践的想法来自这篇append文章，我在其中提到了一个Appendable用于创建implicits.

我尝试使用视图绑定和上下文绑定概念在我的 IntelliJ 中复制相同的代码，但不知何故它不起作用。

任何人都可以建议以下代码中缺少的内容吗？为什么它失败了？我也尝试在这里复制相同的内容。

class PEControl[T <: Data : Arithmetic](accType: T)，这是来自 riscv-gemmini 的类定义。Datatype 是 chisel 中的基本数据类型，提供对, 和Arithmetic的一些算术运算。Dataabstract class Arithmetic[T <: Data]

使用的语法是<: Type : Type什么，这是什么意思？我发现语法是TypeParamBounds ::= TypeBounds {‘:’ Type}从这里调用的。哪里可以详细了解一下，谢谢。

我想做类似的事情

或者

换句话说，我希望 traitA能够“扩展” Copyable，或者只能与Copyable类型混合。

注意：理想情况下，foo应该有类型this.static_type（当前不存在），它代表this.