- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
"foo") with MoreFilterOpera-6ren">
假设我想创建一个可以混合到任何 Traversable[T] 中的特征。最后,我希望能够说这样的话:
val m = Map("name" -> "foo") with MoreFilterOperations
并在 MoreFilterOperations 上拥有以 Traversable 提供的任何内容表示的方法,例如:
def filterFirstTwo(f: (T) => Boolean) = filter(f) take 2
但是,问题很明显,T 没有定义为 MoreFilterOperations 上的类型参数。一旦我这样做了,当然是可行的,但是我的代码将显示:
val m = Map("name" -> "foo") with MoreFilterOperations[(String,String)]
或者如果我定义了这种类型的变量:
var m2: Map[String,String] with MoreFilterOperations[(String,String)] = ...
根据我的口味,这太冗长了。我希望以这样的方式定义该特征,以便我可以将后者写为:
var m2: Map[String,String] with MoreFilterOperations
我尝试了 self 类型、抽象类型成员,但没有产生任何有用的结果。有什么线索吗?
最佳答案
Map("name" -> "foo")
是函数调用而不是构造函数,这意味着您不能编写:
Map("name" -> "foo") with MoreFilterOperations
还有什么可以写的
val m = Map("name" -> "foo")
val m2 = m with MoreFilterOperations
要获得 mixin,您必须使用具体类型,天真的第一次尝试将是这样的:
def EnhMap[K,V](entries: (K,V)*) =
new collection.immutable.HashMap[K,V] with MoreFilterOptions[(K,V)] ++ entries
此处使用工厂方法以避免重复类型参数。但是,这行不通,因为 ++
方法只会返回一个普通的旧 HashMap
,没有 mixin!
解决方案(正如 Sam 建议的那样)是使用隐式转换来添加 pimped 方法。这将允许您使用所有常用技术来转换 map ,并且仍然能够在生成的 map 上使用额外的方法。我通常会使用类而不是特征来执行此操作,因为可用的构造函数参数会导致更清晰的语法:
class MoreFilterOperations[T](t: Traversable[T]) {
def filterFirstTwo(f: (T) => Boolean) = t filter f take 2
}
object MoreFilterOperations {
implicit def traversableToFilterOps[T](t:Traversable[T]) =
new MoreFilterOperations(t)
}
这允许您编写
val m = Map("name"->"foo", "name2"->"foo2", "name3"->"foo3")
val m2 = m filterFirstTwo (_._1.startsWith("n"))
但它仍然不能很好地与集合框架配合。您从 map 开始,最终得到 Traversable
。事情不应该是这样的。这里的技巧是使用更高种类的类型来抽象集合类型
import collection.TraversableLike
class MoreFilterOperations[Repr <% TraversableLike[T,Repr], T] (xs: Repr) {
def filterFirstTwo(f: (T) => Boolean) = xs filter f take 2
}
足够简单。您必须提供Repr
,表示集合的类型,以及 T
,元素的类型。我用TraversableLike
而不是Traversable
因为它嵌入了它的表示;没有这个,filterFirstTwo
将返回 Traversable
无论起始类型如何。
现在是隐式转换。这是类型表示法中事情变得有点棘手的地方。首先,我使用更高级的类型来捕获集合的表示:CC[X] <: Traversable[X]
,这参数化 CC
type,它必须是 Traversable 的子类(注意这里使用 X
作为占位符,CC[_] <: Traversable[_]
并不意味着相同的事情)。
还有一个隐式的CC[T] <:< TraversableLike[T,CC[T]]
,编译器使用它来静态保证我们的集合 CC[T]
确实是 TraversableLike
的子类因此 MoreFilterOperations
的有效参数构造函数:
object MoreFilterOperations {
implicit def traversableToFilterOps[CC[X] <: Traversable[X], T]
(xs: CC[T])(implicit witness: CC[T] <:< TraversableLike[T,CC[T]]) =
new MoreFilterOperations[CC[T], T](xs)
}
到目前为止,一切都很好。但仍然有一个问题......它不适用于 map ,因为它们采用两个类型参数。解决方案是向MoreFilterOperations
添加另一个隐式。对象,使用与之前相同的原理:
implicit def mapToFilterOps[CC[KX,VX] <: Map[KX,VX], K, V]
(xs: CC[K,V])(implicit witness: CC[K,V] <:< TraversableLike[(K,V),CC[K,V]]) =
new MoreFilterOperations[CC[K,V],(K,V)](xs)
当您还想使用实际上不是集合但可以被视为集合的类型时,真正的美妙就出现了。记住Repr <% TraversableLike
在 MoreFilterOperations
构造函数?这是一个 View 绑定(bind),并允许可以隐式转换为 TraversableLike
的类型。以及直接子类。字符串就是一个典型的例子:
implicit def stringToFilterOps
(xs: String)(implicit witness: String <%< TraversableLike[Char,String])
: MoreFilterOperations[String, Char] =
new MoreFilterOperations[String, Char](xs)
如果您现在在 REPL 上运行它:
val m = Map("name"->"foo", "name2"->"foo2", "name3"->"foo3")
// m: scala.collection.immutable.Map[java.lang.String,java.lang.String] =
// Map((name,foo), (name2,foo2), (name3,foo3))
val m2 = m filterFirstTwo (_._1.startsWith("n"))
// m2: scala.collection.immutable.Map[java.lang.String,java.lang.String] =
// Map((name,foo), (name2,foo2))
"qaxfwcyebovjnbointofm" filterFirstTwo (_ < 'g')
//res5: String = af
map 进去, map 出来。字符串进去,字符串出来。等等...
我还没有尝试过 Stream
还没有,或者Set
,或 Vector
,但您可以确信,如果您这样做,它将返回与您开始时相同类型的集合。
关于scala - 在参数化类中混合通用特征而不重复类型参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5026055/
我知道您不应该将打印与 printf,cout 和 wprintf,wcout 混合使用,但是很难找到一个好的答案,为什么以及是否可以绕过它。问题是我使用了一个用 printf 打印的外部库,而我自己
我有以下问题: class A: animal = 'gerbil' def __init__(self): self.result = self.calculate_
我在屏幕上渲染了一堆形状(多边形),我没有使用深度测试。 我只是希望这些形状在绘制在空白区域时使用自己的颜色,并且在绘制到任何非空区域时使用红色像素,即在我的情况下绘制在另一个多边形上。 这里的问题实
我正在尝试在我的 Groovy/Grails 应用程序中混入一个类,我正在使用 the syntax defined in the docs ,但我不断收到错误消息。 我有一个如下所示的域类: cla
我已经找到了 5349574673 个关于 Alpha 混合的页面,但我仍然无法获得想要的结果。我正在尝试使用 opengl 使 gif/png 文件正确显示(具有透明度/半透明度)。 这是我的初始化
我正在尝试记录以下代码,但我似乎无法让 JSDoc 记录该类,甚至无法引用它的存在。 // SomeMixin.js export default superclass => class SomeMi
我有一个类型家族,我想使用 mixin 以模块化方式“丰富”它们。例如: trait Family { self => trait Dog { def dogname:String
我在 Storyboard中有 Collection View 。我在 Storyboard中有一部分单元格,还有我以编程方式创建的部分单元格。我应该在 sizeForItemAtIndexPath
我有一个字节数组,我想更改它的访问方式。这是数组: char bytes[100]; 我想要另一个数组来改变原始数组的访问方式。如果我们可以将引用放在数组中,它看起来像这样: char& bytes_
我需要从 c 文件调用 cpp 方法。我为此编写了这个界面.. cpp文件 extern "C" void C_Test(int p){ Class::CPP_Test(p); } c文件
我的网站有两份 CSS 表,一份是主 CSS,一份是移动 CSS。问题是在移动设备(iPhone、Android)上查看时,两个样式表会混淆。例如,在 iPhone 上查看网站时,会应用主样式表中的某
维护人员的说明:此问题涉及已过时的 bokeh.charts API,该 API 已于多年前删除。有关使用现代 Bokeh 创建各种条形图的信息,请参阅: https://docs.bokeh.org
在下图中,蓝色圆圈仅用于调试目的。我的目标是蓝色圆圈后面的每一层都应该是透明的。我只想保持蓝色圆圈外面的可见。 这是用 swift 编写的代码: let croissantView = UIV
我不是 SQL 专家。我正在使用 SQL Server 2005,我正在尝试弄清楚如何构造一个查询,以便它可以满足多种要求。我有两个表定义如下: Classroom - ID - Departme
原创: 我之前问过这个问题,但我最初的例子有点不完整,我想我现在可以更具体地说明我的问题。 对于上下文,我在旧的 Apple mac 计算机上使用 openGL 3.3 并尝试渲染四边形的重叠层。每个
是否可以将内联(类似 json)映射与同一对象的常规映射定义混合使用? 考虑以下示例: person: {age: 32, weight: 82} name: foo 生成的人应具有给定的年龄、体
假设我有一个 Parent 类,它有四个字段 A、B、C 和 D,这样 C 和 D 可以选择传递或使用默认实现进行初始化: open class Parent(val a: A, val b: B,
我正在使用 symphony (1.4) 框架在 PHP 中开发一个 Web 应用程序。该代码使用 SVN 进行版本控制。在此网络应用程序中,我们所有客户共享一个共同的基础,以及一些专门为每个客户创建
我想使用两个小部件(一次一个)作为我的应用程序的基础/背景,上面有一个 QML UI 和一个无边框窗口。它应该看起来像这样: 基于 OpenGL 的扫描组件 通过窗口句柄操作的 3D 可视化组件 多个
我们有一个混合的 AngularJS/Angular 8 应用程序,并且我们不断遇到来自不同版本框架的组件之间的变化检测非常慢的问题。到目前为止,我们只在 Angular 组件中使用 AngularJ
我是一名优秀的程序员,十分优秀!