基本类型的Scala类型上限

文章/答案/技术大牛

发布

1回答

scala

我是Scala的新手，我想写一个重载操作符的泛型类。但我想将类型限制为Int、Long和Double。是否有可能为原始类型创建一个上限类型？这是我为Int所做的。如果这不是正确的方法，我希望有人能给出一个替代的解决方案。

浏览 20提问于2017-03-08得票数 3

回答已采纳

1回答

Scala泛型“传输”

scala、generics

使用像这样的通用定义 def getEvent : Bdef genericFunction[T <: EventHelper[_]](x : T) = {}def genericFunction[T <: EventHelper[B], B <: Event ](x

浏览 4提问于2015-02-18得票数 1

回答已采纳

1回答

Scala上限符号接受所有类型(不仅仅是超级类型)

scala、upperbound

在Scala的上界概念中，可以传递给定类型或其超级类型。例如，在下面的方法中，S是类型，A是我们传递的参数。该方法实际上接受Scala类型系统中的所有值。S，S亚型及其超型。这是因为所有类型都扩展了任何类型。那么，为什么我们不能将所有的上限符号都写成任意的(这是Scala

浏览 2提问于2021-03-29得票数 0

回答已采纳

1回答

Scala:为什么存在类型声明中的下限不被强制执行？

scala、types、covariance、existential-type、type-bounds

由于Animal是Bird的超类，所以SubType类型的变量不能保存Animal类型的值。scala>type SuperType = t forSome { type t >: Bird } 类型声明类型t tps >：l <：U将t声明为具有下限类型L和上限类型U的抽象类型。但是，如果我

浏览 2提问于2013-04-04得票数 3

2回答

理解Scala型参数化中的多参数类型

scala

我理解以下是scala中上限类型参数化的一个例子，其中T必须是Command的一个子类型。 def getSomeValue[T <: Command] = ...然而，今天我发现了使用多个参数类型的类型参数化的以下实现，而且由于我是scala的初学者，我完全无法理解它到底做了什么。这是否意味着T必须是命令、Foo或Bar的子类型？

浏览 5提问于2017-02-07得票数 3

回答已采纳

1回答

创建特征实例

scala

假设有以下情况：defined trait Bip defined trait Bopscala> import scala

浏览 2提问于2015-06-30得票数 0

2回答

在Scala中使用类型成员来减少类型冗长是可行的吗？

scala、polymorphism、type-inference

我们都知道，“Scala的类型推断不如Haskell的好”，而且有很多原因，它不能那么好，而且仍然做Scala所做的所有事情。但是，在对Scala进行足够长的编程之后，同样明显的是，错误的类型推断并没有那么糟糕，就像指定一些常见类型所需要的那样冗长。推断返回类型为TMList；这是两种情况( TMList { type Of = a.Of }和a

浏览 10提问于2012-07-08得票数 13

回答已采纳

2回答

scala类型系统中的核心演算(递归)

scala

scala编译器中的Typer如何验证以下内容：class E extends D[E] 类D的类型参数的上限DT必须与E兼容。类型E不等同于D，因此将检查其基类型D。因为E的基类型和D的类型构造函数是相等的，所以必须检查边界。然后递归就来了。不会处理这个问题。

浏览 5提问于2011-02-20得票数 6

回答已采纳

1回答

以最小的输出获取‘with’？

scala

看看，我认为lub (最小上限)是合适的import scala.reflect.runtime.universe._ typeOf[scala.collection.parallel.ParSeq[Int]] ) ) res1: reflect.runtime.universe.Type= scala<

浏览 3提问于2017-03-16得票数 1

1回答

使用classManifest提供具有上限类型的类对象

scala、generics、manifest、type-erasure

假设我需要提供一个具有java.lang.Class对象的方法，该对象表示某个父类A的子类。我需要在另一个方法中执行此操作，该方法具有一个上层类型绑定到A的泛型参数。f(classManifest[T].erasure)为什么编译器不能确定T确实是A的子类呢有什么我能帮上忙的吗？或者我应该以一种完全不同的方式来处理这个问题？

浏览 1提问于2012-07-06得票数 2

回答已采纳

1回答

具有协方差的Kotlin和类型上界

kotlin

Kotlin是否支持协方差设置中的类型上限/下限。我想说的是 fun or<U of T or greater>(other: U): <U> = ...在Scala中，它将是 def or[U >: T](other: U): U = ...但是编译器似乎不喜欢这样，它抱怨类型参数T的协变性。

浏览 0提问于2015-02-02得票数 11

3回答

不能覆盖具有非易失性上限的类型。

scala、types、type-bounds、volatility、non-volatile

scala中有一个编译器错误，我不知道它指的是什么：trait Abstract {}trait A extends Abstract在特质B中)是进一步限制在Abstract中声明的类型MyType，所以类型MyType的任何值都必须扩展混合树中的所有MyType。编译器给我以下消息(如标题)：类型MyType是易失性类型；不能覆盖具有非易失性上限的

浏览 0提问于2013-04-08得票数 10

回答已采纳

1回答

Scala:将异构元组转换为列表

scala、types、type-inference

在Scala命令行中，可以编写以下代码：但是我似乎不能编写一个将Tuple2转换为List的函数，因为Tuple2有两个类型参数，而List只有一个。._2) 似乎必然会丢失类型信息。在这个过程中，我们可以做些什么来保留一些类型信息呢？

浏览 2提问于2018-02-24得票数 0

1回答

阿克卡演员系统TestActorRef --试图理解TestActorRef的含义[T <：Actor]

java、scala

我查看了来自TestActorRef.scala的以下源代码，并希望了解详细信息： _system: ActorSystem, _supervisor: ActorRef,好的，我很容易注意到并理解Scala中构造函数的概念。我的大致预感是，它与带有签名的泛型Java类大致相同，但是由于Scala是一种更深层

浏览 0提问于2015-03-02得票数 0

回答已采纳

2回答

为什么我需要在给定的例子中显式地使用self-type？

scala、inheritance、types、self-type、upperbound

在阅读并尝试从获得Scala中可伸缩组件背后的所有概念时，我仍然不能完全理解为什么这个示例应该有self类型： type Node <: NodeLikeconnectWith(n: Node) = } } 抽象类型Node是NodeLike的子类型，而this是NodeLike

浏览 6提问于2013-10-09得票数 0

1回答

不明白为什么Java和Scala下界的行为不同

java、scala、generics

我在java和scala中都有非常简单的示例： }但在斯卡拉 def myFunc

浏览 2提问于2020-10-15得票数 0

回答已采纳

2回答

[F <：List[A]，A]与[F[_] <：List[A]，A]的推理差异

scala、type-inference、scala-3、type-constructor

考虑以下两个类型参数子句中类型参数A对类型构造函数的推断的差异scala> def f[F <: List[A], A](as: F) = asval res0: List[Int] = List(42) scala> def f[F[_] <: List[A]

浏览 6提问于2021-04-11得票数 2

回答已采纳

1回答

不变类实例列表的LUB

scala

给定一个带有covariant类型参数的类：defined class Gres1: List[G[Any]] = List(G@5aa360ea, G@6548bb7d)scala> clas

浏览 0提问于2016-10-18得票数 3

4回答

为什么在Scala中不编译具有不同上限的重载多态方法

scala、overloading、type-erasure

为什么以下内容没有在Scala中编译：class B def f[Q <: A](q: Q): Q = q def f[Q <: B](q: Q): Q = q 据我理解，在类型删除之后，def f[Q <: A](q: Q): Q应该替换为它的上限</em

浏览 1提问于2017-04-05得票数 7

回答已采纳

1回答

创建单个对象类型的列表

scala、typesafe

UUID.randomUUID()) extends Domestic这里是我的羊群类，它可以包含一种类型的动物的列表。case class Herd[T <: Animal](get: T*)val herd2 = Herd(Cat(), Lion()) 在Sca

浏览 1提问于2021-05-31得票数 4

回答已采纳

点击加载更多