- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
: A](v: B)"这样定义的方法接受不是 A 父类(super class)型的类型参数?-6ren"> : A](v: B)"这样定义的方法接受不是 A 父类(super class)型的类型参数?-我现在正在研究 Scala 中的方差,我想我对逆变有很好的理解。例如给定 trait List[-A] ,我知道List[Int]是 List[AnyVal] 的父类(super class)型. 但-6ren">
我现在正在研究 Scala 中的方差,我想我对逆变有很好的理解。例如给定 trait List[-A]
,我知道List[Int]
是 List[AnyVal]
的父类(super class)型.
但是说我有以下特点:
trait List[+A] {
def cons(hd: A): List[A]
}
cons
参数类型错误?
def cons[B >: A](v: B): List[B]
?
val animal_list: List[Animal] = List(tiger, dog)
animal_list.cons(tiger)
Tiger <: Animal
, 没有 cons
遇到问题? 自
B
是
Tiger
和
A
是
Animal
和
B >: A
不是真的。
最佳答案
为什么是 cons
的参数类型不对?
trait List[+A] {
def cons(hd: A): List[A]
}
covariant type A occurs in contravariant position in type A of value hd
因为方法参数算作逆变位置,但是 A
是协变的。
class ListImpl[A] extends List[A] {
override def cons(hd: A): List[A] = ???
}
val strings: List[String] = new ListImpl[String]
val values: List[Any] = strings // OK, since List[String] <: List[Any] (in List[A], A is covariant)
values.cons(13) // OK(??), since values's static type is List[Any], so argument of cons should be Any, and 13 conforms to type Any
cons
在
values
.
values
与
strings
相同, 和
strings
是
ListImpl[String]
类型的对象.所以
cons
最后一行中的调用正在等待
String
争论,但我们正在通过
Int
, 因为
values
的静态类型是
List[Any]
和
Int
符合
Any
.这里肯定有问题 - 应该归咎于哪条线?答案是:
cons
方法声明。为了解决这个问题,我们必须删除协变类型参数
A
从逆变位置(在
cons
声明中)。或者,我们可以制作
A
非协变。
cons
遇到问题?
trait List[+A] {
def cons[B >: A](v: B): List[B]
}
val animal_list: List[Animal] = List(tiger, dog) // We are assuming that List.apply and concrete implementation of List is somewhere defined.
animal_list.cons(tiger)
调用是类型正确的。
Animal
是
Dog
的常见父类(super class)型和
Tiger
,以及
dog
和
tiger
是
Dog
的实例和
Tiger
分别。
animal_list.cons(tiger)
调用,两者
A
和
B
类型参数实例化为
Animal
, 所以
cons
方法采用以下形式:
def cons[Animal >: Animal](v: Animal): List[Animal]
Animal >: Animal
满足约束是因为:
Supertype and subtype relationships are reflexive, which means a type is both a supertype and a subtype of itself. [source]
cons
的参数是
Tiger
符合类型
Animal
,所以方法调用是类型正确的。
B
要实例化为
Tiger
, 喜欢
animal_list.cons[Tiger](tiger)
,那么此调用将不会是类型正确的,并且您将收到编译器错误。
关于scala - 为什么像 "cons[B >: A](v: B)"这样定义的方法接受不是 A 父类(super class)型的类型参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37334674/
我有一个 k*n矩阵 X 和 k*k矩阵A。对于X的每一列,我想计算标量 X[:, i].T.dot(A).dot(X[:, i]) (或者,数学上, Xi' * A * Xi )。 目前,我有一个
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我是 VueJS 的新手。我已经使用 vuetify/webpack-ssr 模板创建了一个项目,现在我想创建一个登录页面,但是没有显示表单,控制台给了我以下信息: [Vue warn]: Unkno
我尝试将 value 插入到 C++ vector v 之前的第 i 元素(或元素 (i-1) 之后) )。代码很简单 v.insert(v.begin() + i, value); 我确信当 i 介
我需要显示使用合并排序算法排序的 vector 。然而,当我使用 v.begin() 时,我的 friend 使用 v.data() 来传递 vector 。他的代码运行良好,而我的却不行。请解释。
这是我的命令(url1、url2、url3、url4 是占位符): ffmpeg -i url1 -i url2 -i url3 -i url4 -filter_complex “[1:v:0] [1
我以前用过Vue,我知道怎么用v-for渲染元素序列,v-if或v-show有条件地显示元素,并且 v-model例如,控制段落的内容。 但现在我需要对 DOM 进行更精细的控制: 我有一个range
我正在学习所有权和借用。 borrow1 和borrow2 的区别在于在borrow2 打印时使用了&: fn borrow1(v: &Vec) { println!("{}", &v[10]
我找不到一种方法来选择不同的选项来渲染 v-for 中的文本。是否有可能或者我是否需要以不同的方式构建逻辑来执行类似于下面的代码的操作? // i
Iterable 的三个直接子类型是 Map , Seq , 和 Set .除了性能问题之外,似乎还有一个 Seq是从整数到值的映射,以及 Set是从值到 bool 值的映射(如果值在集合中,则为 t
我想应用一个计算方法,如果键存在则增加值,否则将 1。有 Map map = new HashMap<>(); 我不明白为什么 for (int i = 0; i v != null ? v++ :
标准(IEEE 754/C)是否保证以下代码断言永远不会失败? int main() { for ( /* all possible float / double values */ )
代码由Vue语言编写,使用Element-ui框架, 如果一个对象包含某些内容,则会显示该内容,如果不包含则禁用菜单按钮。 输出应该是这样的: a、b(禁用)、c、d、e 但我的是这样的: a、a(禁
如果我这样做: {{ morevalue }} {{ value }} v-else 中的跨度也会在第二个 V-FOR 上循环,即使它上面没有任何 v-for,为什么? 这是
如果我这样做: {{ morevalue }} {{ value }} v-else 中的跨度也会在第二个 V-FOR 上循环,即使它上面没有任何 v-for,为什么? 这是
我将 Vue.js 与 Vuetify 一起使用,我正在尝试使用 v-data-table 从后端加载菜单列表并使用 对其设置一些权限v-switches 但我在尝试 v-model 数组时遇到问题:
我在 Java 的流式操作中努力维护我想要的数据结构,这很可能是由于缺乏正确的理解和实践。 public class Main { public static void main(String
我正在尝试为匹配中的每个匹配呈现一些 HTML,但是,我不太确定 实际上是正确的。 更具体地说,我不确定我是否可以使用 v-bind:match='match'在与循环相同的元素上 v-for='ma
所以我想知道为什么这个 v-if 和 v-else 语句不起作用,为什么我要以不同的方式解决它。 代码如下 Required: Select a Workflow {{ isChain ?
我有一个 VueJS 组件 ,我在同一个模板中使用了两次来显示两组不同的数据。每个都显示在自己的 使用 v-if 切换的容器在导航选项卡上。 似乎这些组件被实例化为同一个实例。我调用 console
我是一名优秀的程序员,十分优秀!