草庐IT

java - 关于 Akka 和类型安全的一般问题

coder 2023-09-03 原文

问题 1:

JVM 不知道泛型,因此 Scala(和 Java)中的类型参数只存在于编译时。它们在运行时不存在。由于 Akka 是一个 Scala(和 Java)框架,它也有这个缺点。它尤其受到影响,因为在 Akka 中,参与者之间的消息(显然)仅在运行时交换,因此这些消息的所有类型参数都丢失了。到目前为止正确吗?

问题 2:

假设我定义了以下采用一个类型参数的案例类:

case class Event[T](t: T)

现在,我实例化一个 Event[Int](42) 并将其发送到我的 testActor。我的 testActor 基本上接收到一个 Event[Any] 并且不知道 t 是什么类型,这是否正确?

问题 3:

比如,在我的 testActor 中,存在一个也接受类型参数的函数:

def f[T](t: T) = println(t)

testActor 在接收到 Event 时调用 f:

override def receive: Receive = {
  case Event(t) => f(t)
}

这样调用函数时,f的类型参数T会被设置成什么? 任何?如果是这样,下面的函数是否有效地等同于上面的函数(假设它只会像上面描述的那样被调用):

def f2(t: Any) = println(t)

问题 4:

现在,考虑 f 的定义:

def f[T](t: T) = println(t.getClass)

我没有更改调用站点:

override def receive: Receive = {
  case Event(t) => f(t)
}

这不应该总是向控制台打印 Any 吗?不过,当我将 Event[Int](42) 发送到我的 testActor 时,它确实会向控制台打印 java.lang.Integer。所以类型信息毕竟没有被删除?我很困惑。

最佳答案

问题一

将类型删除称为“缺点”似乎有点像在回避问题,但不管怎样,这一段对我来说听起来很合理,可能对 list 和类标签以及“存在”的含义有一些质疑。 :)

问题2

不完全是。考虑以下类似的案例类和方法:

case class Foo[T](v: T, f: T => Int)

def doSomething(x: Any): Unit = x match {
  case Foo(v, f) => println(f(v))
  case _ => println("whatever")
}

这很好用:

scala> doSomething(Foo("hello world", (_: String).size))
11

所以我们不只是将 Foo 视为 Foo[Any],因为 (_: String).size不是有效的Any => Int:

scala> val stringSize: Any => Int = (_: String).size
<console>:11: error: type mismatch;
 found   : String => Int
 required: Any => Int
       val stringSize: Any => Int = (_: String).size
                                                ^

所以编译器知道一些成员的类型。

问题3

调用 f(t) 时推断出的 T 将是某种存在类型,因此不完全是 Any,但在此案例在道德上等同于它。但是,正如上面的 Foo 案例所示,如果 Event 具有涉及 T 的其他成员或方法,则编译器知道它是相同的 T

问题4

当我们说 JVM 删除类型时,我们实际上只是指“在通用上下文中”。每个对象(在 JVM 意义上)都有一个与之关联的类:

scala> val x: Any = "foo"
x: Any = foo

scala> x.getClass
res0: Class[_] = class java.lang.String

但是……

scala> val y: Any = Seq(1, 2, 3)
y: Any = List(1, 2, 3)

scala> y.getClass
res1: Class[_] = class scala.collection.immutable.$colon$colon

这里有两点需要注意。首先,我们得到的类值是几个子类型关系,甚至比如果我们不使用 : Any 归因(我正在挥手比较类和类型,但你知道我的意思)。其次,由于泛型的类型删除,我们无法从 y.getClass 中获取有关元素类型的任何信息,而只能获取值的“顶级”类。

结论

在我看来,就类型删除而言,这是所有可能世界中最糟糕的一种。当然,您可以在 Scala 中在运行时分派(dispatch)类型!

def foo(x: Any): Unit = x match {
  case s: String => println(s"I got a string: $s")
  case d: Double => println("numbers suck!")
  case xs: List[Int] => println(f"first int is ${ xs.head }%d")
  case _ => println("something else")
}

然后:

scala> foo("bar")
I got a string: bar

scala> foo(List(1, 2, 3))
first int is 1

然后:

scala> foo(List(true, false))
java.lang.ClassCastException: java.lang.Boolean cannot be cast to java.lang.Integer
  at scala.runtime.BoxesRunTime.unboxToInt(BoxesRunTime.java:101)
  at .foo(<console>:15)
  ... 31 elided

我个人更喜欢在运行时完全删除类型(至少在程序员可以看到的范围内)并且根本没有类型大小写匹配。或者我们可以使用 .NET 风格的具体泛型(在这种情况下我可能不会使用 Scala,但它仍然是一个合理且一致的选择)。事实上,我们有部分类型删除和损坏的类型大小写匹配。

关于java - 关于 Akka 和类型安全的一般问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41904658/

有关java - 关于 Akka 和类型安全的一般问题的更多相关文章

  1. ruby - 在 64 位 Snow Leopard 上使用 rvm、postgres 9.0、ruby 1.9.2-p136 安装 pg gem 时出现问题 - 2

    我想为Heroku构建一个Rails3应用程序。他们使用Postgres作为他们的数据库,所以我通过MacPorts安装了postgres9.0。现在我需要一个postgresgem并且共识是出于性能原因你想要pggem。但是我对我得到的错误感到非常困惑当我尝试在rvm下通过geminstall安装pg时。我已经非常明确地指定了所有postgres目录的位置可以找到但仍然无法完成安装:$envARCHFLAGS='-archx86_64'geminstallpg--\--with-pg-config=/opt/local/var/db/postgresql90/defaultdb/po

  2. ruby - 通过 rvm 升级 ruby​​gems 的问题 - 2

    尝试通过RVM将RubyGems升级到版本1.8.10并出现此错误:$rvmrubygemslatestRemovingoldRubygemsfiles...Installingrubygems-1.8.10forruby-1.9.2-p180...ERROR:Errorrunning'GEM_PATH="/Users/foo/.rvm/gems/ruby-1.9.2-p180:/Users/foo/.rvm/gems/ruby-1.9.2-p180@global:/Users/foo/.rvm/gems/ruby-1.9.2-p180:/Users/foo/.rvm/gems/rub

  3. ruby - 如何使用 Ruby aws/s3 Gem 生成安全 URL 以从 s3 下载文件 - 2

    我正在编写一个小脚本来定位aws存储桶中的特定文件,并创建一个临时验证的url以发送给同事。(理想情况下,这将创建类似于在控制台上右键单击存储桶中的文件并复制链接地址的结果)。我研究过回形针,它似乎不符合这个标准,但我可能只是不知道它的全部功能。我尝试了以下方法:defauthenticated_url(file_name,bucket)AWS::S3::S3Object.url_for(file_name,bucket,:secure=>true,:expires=>20*60)end产生这种类型的结果:...-1.amazonaws.com/file_path/file.zip.A

  4. ruby - 通过 RVM (OSX Mountain Lion) 安装 Ruby 2.0.0-p247 时遇到问题 - 2

    我的最终目标是安装当前版本的RubyonRails。我在OSXMountainLion上运行。到目前为止,这是我的过程:已安装的RVM$\curl-Lhttps://get.rvm.io|bash-sstable检查已知(我假设已批准)安装$rvmlistknown我看到当前的稳定版本可用[ruby-]2.0.0[-p247]输入命令安装$rvminstall2.0.0-p247注意:我也试过这些安装命令$rvminstallruby-2.0.0-p247$rvminstallruby=2.0.0-p247我很快就无处可去了。结果:$rvminstall2.0.0-p247Search

  5. ruby - Infinity 和 NaN 的类型是什么? - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  6. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样?我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗? 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时,它将引发ArgumentError。defmy_method(number)

  7. ruby - Fast-stemmer 安装问题 - 2

    由于fast-stemmer的问题,我很难安装我想要的任何ruby​​gem。我把我得到的错误放在下面。Buildingnativeextensions.Thiscouldtakeawhile...ERROR:Errorinstallingfast-stemmer:ERROR:Failedtobuildgemnativeextension./System/Library/Frameworks/Ruby.framework/Versions/2.0/usr/bin/rubyextconf.rbcreatingMakefilemake"DESTDIR="cleanmake"DESTDIR=

  8. java - 等价于 Java 中的 Ruby Hash - 2

    我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么? 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设? 关于java-等价于Java中的RubyHash,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/22737685/

  9. ruby - 安装 Ruby 时遇到问题(无法下载资源 "readline--patch") - 2

    当我尝试安装Ruby时遇到此错误。我试过查看this和this但无济于事➜~brewinstallrubyWarning:YouareusingOSX10.12.Wedonotprovidesupportforthispre-releaseversion.Youmayencounterbuildfailuresorotherbreakages.Pleasecreatepull-requestsinsteadoffilingissues.==>Installingdependenciesforruby:readline,libyaml,makedepend==>Installingrub

  10. ruby - Ruby 有 `Pair` 数据类型吗? - 2

    有时我需要处理键/值数据。我不喜欢使用数组,因为它们在大小上没有限制(很容易不小心添加超过2个项目,而且您最终需要稍后验证大小)。此外,0和1的索引变成了魔数(MagicNumber),并且在传达含义方面做得很差(“当我说0时,我的意思是head...”)。散列也不合适,因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题,但我很想知道:Ruby标准库是否已经带有这样一个类? 最佳

随机推荐