时间戳

首页 > 解决方案 > 通用“嵌套成员”特征

scala - 通用“嵌套成员”特征

问题描述

我正在构建一个由多个特征组成的类，其中一个提供了包含该类“成员”列表的能力：

trait WithNestedMembers[T] {
  val members = new scala.collection.mutable.ListBuffer[T]
}

class MainClass extends WithNestedMembers[MainClass] {
  // ...
}

这似乎工作正常。

现在，我想在其他特征中使用“嵌套”功能：

trait NestingUser {
  this: WithNestedMembers[NestingUser] =>
  var nestedValue = 0
  def sumNested = nestedValue + members.map(_.nestedValue).sum
}

该定义本身似乎可以正常工作。但是，我不能将其用作MainClass. 以下给出了错误：

class MainClass extends WithNestedMembers[MainClass] with NestingUser {
  // Illegal inheritance, self-type MainClass does not conform to WithNestedMembers[NestingUser]
}

我怀疑我需要在某处使用某种类型的界限，以解释这对于 require 来说WithNestedMembers[MainClass]已经足够了WithNestedMembers[NestingUser]。但是哪里？

标签： scalagenerics

解决方案

尝试与这样的T 协变+T

trait WithNestedMembers[+T] {
  val members = List.empty[T]
}

推荐阅读