- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
3) 但是,如果我尝试添加到 map-6ren">
以下语句编译良好并按预期工作:
val map : Map[_ >: Int with String, Int] = Map(1 -> 2, "Hello" -> 3)
但是,如果我尝试添加到 map :
map + ((3,4))
或者
map + (("Bye", 4))
然后我得到一个类型不匹配:
found : java.lang.String("Bye")
required : _$1 where type _$1 >: Int with String
Any
作为 key 的类型,那么这一切都按预期工作。
Int with String
的特定父类(super class)型。 ,但我对此并不特别满意。任何人都可以解释发生了什么吗?
val map = if (true) Map(1 -> 2) else Map("1" -> 2)
最佳答案
你误会了Int with String
.它不是 Int 和 String 的并集,它是交集,对于 Int 和 String 它是空的。不是 Int 的值集和字符串的值集,而是具有 Int 特征的值集和 String 的特征。没有这样的值(value)观。
您可以使用 Either[Int, String]
, 并有 Map[Left(1) -> 2, Right("Hello") -> 3)
. Either 不完全是联合,它是可区分的联合,A + B,而不是 A U B。您可能会掌握差异,因为 Either[Int, Int] 与 Int 不同。它实际上与 (Int, Boolean) 同构:你有一个 Int,而且你也知道它在哪一边。当 A 和 B 不相交(如 Int 和 String 一样)时,A + B 和 A U B 是同构的。
或者(不适合胆小的人)您可以查看a possible encoding of union types通过迈尔斯萨宾。 (我不确定你是否真的可以将它与预先存在的类 Map 一起使用,甚至比你应该尝试的更不确定,但它仍然是一个最有趣的阅读)。
编辑 :阅读您的问题和代码太快了,对不起
你的下限Int with String
与 Nothing
相同, 所以 Map[_ >: Int with String, Int]
, 与 Map[_ >: Nothing, Int]
相同和 Nothing
下限是隐含的,这是 Map[_, Int]
.您的实际Map
是 Map[Any, Int]
.您可以添加一个 bool 键,它也可以工作,尽管 Int 带有字符串。一个 Map[Any, Int]
可以输入为Map[_, Int]
所以你的 val 声明有效。但是您的输入会丢失有关 key 类型的所有信息。不知道 key 的类型是什么,您无法从表中添加(或检索)任何内容。
UpperBound 不会更好,因为那时没有可能的 key 。甚至最初的 val 声明也失败了。
编辑 2 : 关于if (true) Map(1 -> 2) else Map("1" -> 2)
这与 Map(1 -> 2, "1" -> 2)
不同。 .那更简单,只需一个 Map[Any, Int]
,如 Any
是 Int
的更常见的父类(super class)型和 String
.
另一方面,Map(1 -> 2)
是 Map[Int, Int]
, 和 Map["1", 2]
一个 Map[String, Int]
.存在为 Map[Int, Int]
找到公共(public)父类(super class)型的问题。和 Map[String, Int]
,它没有找到 Int
的常见父类(super class)型和 String
.
让我们做实验。 Map
在其第二个参数中是协变的。如果您使用 Int
和 String
作为值而不是键:
if (true) Map(1 -> 2) else Map(1 -> "2")
res1: scala.collection.immutable.Map[Int, Any]
class L[-T]
object L{def apply[T](t: T) = new L[T])
class A
class B extends A
class C
if (true) L(new A) else L(new C)
res2: L[A with C]
if (true) L(new A) else L(new B)
res3: L[B]
A with C.
当
B
是
A
的子类型,
A
与
B
只是
B
.
if (true) Map(new A -> 1) else Map(new B -> 1)
res4: scala.collection.immutable.Map[_ >: B <: A, Int]
B
类型的键访问或添加值.但是您不能访问键的值
A
.因为这是您在实际 map 中所拥有的(因为
true
),所以运气不好。如果您访问
keySet
,它将被输入
Set[A]
.您对键类型的信息不完整,并且您可以做的事情是有限的,但这是一个必要的限制,因为您对 map 类型的了解有限。与
Int and String
,你有最少的信息,有一个下限
Any
和等价于
Nothing
的上限. Nothing 上限使得无法调用将键作为参数的例程。您仍然可以检索
keySet
, 类型为
Set[Any]
,
Any
是下界。
关于scala - 无法使用键的动态混合类型将成员添加到 Map,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8757013/
在 JavaScript 中,我们可以动态创建 元素并附加到 部分,以便为大量元素应用 CSS 规则。 这种方法的优点或缺点是什么? 如果它确实提供了与元素上的 javascript 迭代相比的性
我有这个代码 import "./HTTPMethod.dart"; import '../../DataModel/DataModel.dart'; mixin RouterMixin { HT
哪些 OLAP 工具支持动态、动态地创建维度或层次结构? 例如,层次结构将成员定义为:“前 5 名”、“前 6-10 名”、“其他”... 计算成员是通常的答案,我正在寻找不同的东西。计算器的问题。成
我正在 CakePHP 中创建一个“表单编辑器”。 该界面允许用户选择要应用于字段的验证,例如数字、电子邮件等 因此,我需要根据用户输入为模型动态创建验证。为此,我可以使用验证对象:https://b
这是一个场景: 我有一个Web服务,我们将其称为部署在tomcat(轴)上的StockQuoteService。通过此 Web 服务公开了 getStockQuote() 方法。 现在,我想构建一个
我正在尝试从服务器获取 JSON 响应并将其输出到控制台。 Future login() async { var response = await http.get( Uri.
我从另一个问题中得到了这段代码(感谢 chunhunghan)。我需要创建一个登录屏幕,并尝试根据服务器发回给我的响应来验证用户凭据,但是每次我尝试运行代码时,它都会给我“未处理的异常:Interna
当我在“Dart”主程序中运行它时,一切正常,并且我得到了一个与会者列表。但是,当我在我的 Flutter 应用程序中调用它时,出现错误: flutter:“List”类型不是“List>”类型的子类
本文实例为大家分享了js实现验证码动态干扰的具体代码,供大家参考,具体内容如下 效果一 效果二 代码一 ?
目前我正在为我的网站使用 No-Ip,我想使用 cloudflare 来抵御 ddos 和机器人程序。我注意到您需要一个用于 cloudflare 的域。我还搜索了网络,发现了一个叫做 cloud
有没有办法在 Excel VBA 中构建动态 if 语句?基本上我正在尝试创建一个参数化计算,用户将能够输入不同的变量,即 变量 1 “变量 2” “变量 3” 在这种情况下 变量 1 是单元格引用
大家好, 请查看上面的图片,我有两张 table 。在下面代码的第一个表中,我得到了这种格式。 但我想像 Table2 那样格式化,每个合并单元格中的行数是动态的,而且不一样。 有没有办法像table
如何根据我添加的 View 修改标题部分的高度?heightForHeaderInSection在 viewForHeaderInSection 之前被调用我不知道 View 大小,直到我创建它。 最
是否存在在运行时生成 AST/解析树的解析器?有点像一个库,它会接受一串 EBNF 语法或类似的东西并吐出数据结构? 我知道 antlr、jlex 和他们的同类。他们生成可以做到这一点的源代码。 (喜
我在持有汽车制造商的表格上有一个 MultipleChoiceField。我想将我的汽车数据库过滤到已检查的品牌,但这会导致问题。如何动态获取所有 Q(make=...) 语句? 我如何开始:['va
$end = preg_replace($pattern, $replacement, $str); 如何使替换字符串 $replacement 随 $str 中的每次匹配而变化?例如,我想用关联的图
我正在编写一个 VBA 程序,用于过滤表中的值。我试图使其成为一个适用于您提供的所有表格的通用程序。在我的程序中,我必须设置它正在过滤的表的范围:Set rng = dataSheet.Range("
我正在循环一个元素数组,并且我想使用给定的模板递归地显示该元素 然后在该模板内使用带有切换功能的按钮来显示/隐藏给定元素的Child的更深级别模板(Child也是一个元素) 这是我的模板
从客户端(html)发送表单,服务器端通过选择选项之一决定运行哪个函数。 const decideWho = (form) => { const choice = form.choice; c
我有一个具有以下属性的按钮: circle_normal.xml(在 res/drawable 中) circle.xml(在 res/drawable 中)
我是一名优秀的程序员,十分优秀!