tcpdump -A -s 10240 'tcp port 8080 and (((ip[2:2] - ((ip[0]&0xf)<<2)) - ((tcp[12]&0xf0)>>2)) != 0)' ...继续阅读 (26)

Swarm在Devcon4的前一天去参加了Swarm的一个专场，他们和Ethereum magicians共同在Smichov的National House组织的一个mini-summit，在大会之前的这些暖场活动都是Status赞助或组织的，Status也在那几天组织过一个黑客马拉松。Swarm是以太坊生态重要的基础服务。在Gavin和Vitalik早先构想的Web3的技术栈底层: 由以太坊的智能合约实现去中心化的运行逻辑；Swarm提供去中心化的存储；Whisper则提供去中心化的消息服务。但这几年的发展进度不那么乐观，IPFS的势头也盖过了Swarm。《Data Structures on Swarm》《Deep SQL and NoSQL Blockchains for Provable Database Storage》这个是 Wolk 的演讲，Wolk 是基于SWARM的去中心数据库服务平台。他们属于Layer3，锚定的Layer2 是Plasma Cash并提供Provable Storage。另外的几个分享有《Cooperative protocol evolution with virtualization layers》《Privacy & Access Control 》《Observability in Swarm》 这个相对简单，主要是讲swarm的tra ...继续阅读 (24)

编程语言与工具Solidity那天主会场Erik Kundt分享了Solidity的最新状况，对0.5.0的新特性做了一些介绍。在写这篇总结时solidity0.5.0也终于发布了: https://github.com/ethereum/solidity/releases/tag/v0.5.0当时Solidity的核心团队几个人也都在现场，回答听众提问的时候看到solidity项目负责人Christian Reitwiessner在台下做了回复。对于0.5.0新特性主要围绕下面几点：Explicit typesExplicit visibilityExplicit data locationsScoping rules for function local variablesNew constructor syntaxemit for eventsaddress payable总体而言就是更加严格了，增加了更多约束，让编译器能提前发现问题。这些例子我没有一一记录，感兴趣的话等youtube上视频出来了大家可以再去看一下视频。函数的可见性变成了强制的，如下几个function的可见性修饰符是必须的：contract Test{ address owner; function Test() public { initialize(); } function i ...继续阅读 (20)

记录前些天遇到的一个问题，scala里protected或private修饰的方法可能在编译为class时变成了public，这已经不是第一次遇到，最早遇到是在写一个java子类时要覆盖一些父类方法，父类是scala写的一个trait，里面的方法修饰为protected，当时IDE提示我override的方法必须声明为public感到奇怪反编译了一下父trait果然被声明为了public。而这次遇到的稍有不同，跟继承没有关系，用下面的demo举例：➜ cat A.scala class A { private[this] def foo() = { List(1,2,3).map(i => bar(i)) } private[this] def bar(i:Int):String = { "str:" + i } }当我们编译上面类之后，里面的foo和bar方法的修饰符最终在class里会有所不同，反编译后可看到bar修饰符变成了public:➜ cfr-decompiler A ... public class A { private Listfoo() { return (List)List..MODULE$.apply((Seq)Predef..MODULE$.wrapIntArray(new int[]{1, ...继续阅读 (26)

韩寒的《乘风破浪》比他之前的《后会无期》拍的要好，故事更饱满一些。这部电影让我想起多年前看过的《新难兄难弟》，这两部电影在结构上很相似。我在夜深人静的时候独自在看这部《乘风破浪》，回想的却是十多年前一群人挤在宿舍围着华中的电脑(15寸的非纯平CRT显示器)看《新难兄难弟》时的场景，一群人的有说有笑、调侃欢笑，如今天各一方，也极少相问。 ...继续阅读 (23)

在mac/bsd和linux上ps展示进程状态的字符与linux可能含义不同，比如我的java进程在mac上ps看到是"TX+"状态➜ ps aux | grep "[j]ava" hongjiang 60387 0.0 0.4 6072548 36516 s001 TX+ 7:28PM 0:00.19 java DaemonLinux上man ps看到 X 表示 "dead (should never be seen)", 而Mac/BSD下则是 “The process is being traced or debugged” 的含义。 Linux上当一个进程被debug中，状态跟stopped一样都使用T表示(在某些高版本linux内核里会区分开，使用小写t表示进程是被debugger跟踪) ...继续阅读 (28)

使用final修饰object的场景极少见，需要显式打开-Yoverride-objects编译选项才行：➜ scala -Yoverride-objects Welcome to Scala version 2.11.6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_51). Type in expressions to have them evaluated. Type :help for more information. scala> class A { object B } defined class A scala> class C extends A { override object B {} } defined class C如果A内部对object B使用final修饰了，子类C就不能覆盖这个object，不过它的意义是什么？这里object B是一个module，要解释object为何被当作module来设计，需要整理一下，等有时间再说。PS，我刚发现2.11版本之后repl下，当你定义一个object时，提示已经不同了，在2.11版本之前，repl下会显示 "defined module XXX"， 而 2.11 里已经变成了 "defined object XXX"，可能隐含着设计者对module( ...继续阅读 (24)

前几个月我们遇到过某些http请求会在本机会阻塞2个半小时左右最后成功返回的情况。经过排查发现问题并不在对方服务器，而是这2个半小时基本都是在自己的网络环境阻塞，通过dns端日志发现请求到达dns服务器也是2个半小时后。在geek talk群里有人指出，glibc的低版本会在查完域名后把拿到的ip反过来查域名，dns服务器都不支持反解就一层层的传给其他dns，可能会变慢。redhat在6u fix了这个问题。但跟我们的情况不符。当时的堆栈显示阻塞在socket的读取上(我不确定这里的连接是复用上次HttpURLConnection创建过的连接，还是首次跟对方建立连接)，我google到有些人也遇到过相似的问题，hang在同样的代码上，疑似是虚拟机(kvm/vmware)或jdk网络层面的bug (JDK 1.8.0_65), 因为无法稳定的重现，没有进一步验证，记录一下这个诡异的问题at java.net.SocketInputStream.socketRead0(Native Method) at java.net.SocketInputStream.read(SocketInputStream.java:116) at java.net.SocketInputStream.read(SocketInputStream.java:170) at java.io.BufferedI ...继续阅读 (25)

看着小家伙一点一点的变化，从7个月开始无意识的冒出一些词语，到慢慢懂得叫爸爸妈妈，以及说出更多的词语和你不知所谓的句子。从爬行到第一次走路再到满地的跑，成长的过程中总会带给你一些惊喜。我的境况没有什么变化，除了徒增一丝中年人的焦虑。生活本身就有诸多问题要去面对，处在这个时代的洪流中，被冲击的无招架之力，或许稍一松手你可能就错过了搭乘末班车的机会。 ...继续阅读 (25)

独立blog的一个麻烦之处是维护成本，你需要投入额外的金钱和精力，其实vps一年的费用不过几百块(经常有折扣)，更多可能是系统维护对普通人(非IT工作者)来说代价略高。我在系统维护方面投入的精力极少，一方面是阿里云的vps确实稳定，另一方面是我折腾的也较少，一直使用的固定模板和写作方式。独立系统难避免的一点是容易受到攻击，对于wordpress来说你需要尽可能保证它是最新的版本。另外有一个很好的插件: WassUp Real Time Analytics，能够帮你做一些访问统计，并在管理界面上很容易发现疑似的攻击。 ...继续阅读 (19)

如何能持久的写博客？这是个挺难回答的问题，这个blog建立4年了，不长也不短；不过把之前在第三方博客平台上的记录也算进来，我写blog的时间也有十多年了。博客有两种功能，第一是记录(或收集)信息，第二是社交。多数人没法持续下去可能是社交的期望更多，而写博客在社交方面得到的反馈是比较延迟的，也没法保证你的好友会读到，跟微博或朋友圈比起来传递速度和即时反馈感太滞后。于我而言，博客作为信息整理(知识管理)的功能更突出一些。记录的过程常常会对内容重构，尤其对技术类文章，过程中会重新梳理可能遗漏或理解错误的地方。这些记录下来的内容更多是给自己提供便利的。写作时尽量不要去在意别人的意见，甚至需不需要读者的反馈，也是个人的事。有些新的平台，比如微信的公众号或知乎专栏一类的交互方式可能更有利于传递和交互，但如果你的才思文笔不足以支撑起看客们围观喝彩，就不必声张。大部分人并不具备长期输出优质内容的能力，这种互动可能迫使你过多的想要展示好的一面，而难以维持。独立平台的好处就在于你不会受到它的氛围以及审查影响；另外，这些新的平台未经过长时间的验证，或许五年后它们都消失掉了，而你的独立博客则可以长存。 ...继续阅读 (21)

感谢 shuai.xie 提出的这段漏掉的内容，这里补充一下。这里b的类型声明并不是必须的。因为我们已经告诉Scala返回类型为B => C，Scala会从上下文获知b的类型，方法的实现部分只需要写为b => f(a,b)就可以了。如果Scala能够推断出函数字面量的类型，就可以省略掉它的类型声明。相关阅读：《Scala函数式编程》中文版勘误 ...继续阅读 (28)

1) nginx禁止对写操作timeout时retry以前遇到的一个case，业务那边说一笔请求从nginx端发送给后端tomcat了2次（落在两个不同的tomcat节点上）。后来发现是nginx发给后端节点timeout，然后做了重试，发给了另一个节点。默认情况下nginx对后端error 和 timeout 都会做retry，可以明确的禁止在timeout的情况下禁止retry。当然如果集群读写分离的话，对于只读集群retry是无所谓的，但对于写确实存在问题。2) kafka重启时因为数据日志文件名被人重命名过而导致启动失败启动kafka broker的时候，会重新load之前的每个topic的数据，正常情况下会提示每个topic恢复完成。INFO Recovering unflushed segment 588022 in log xxx-topic-0. (kafka.log.Log) INFO Completed load of log xxx-topic-0 with log end offset 590676 (kafka.log.Log)但当有些topic下的数据恢复失败的时候，会导致broker关闭，异常如下ERROR There was an error in one of the threads during logs loading: java.lang.N ...继续阅读 (17)

碰巧抓住了有道词典的异常页面，从堆栈里能看出他们的一些技术栈，他们使用的是Resin-3.0.21，一个十多年前曾流行过现在不太主流的应用容器，但在网易、搜狐、人人等公司这个容器依然很常见。他们用http去访问cassandra?java.lang.NoSuchFieldError: INSTANCE at org.apache.http.conn.ssl.SSLConnectionSocketFactory.<clinit>(SSLConnectionSocketFactory.java:144) at org.apache.http.client.fluent.Executor.<clinit>(Executor.java:78) at org.apache.http.client.fluent.Request.execute(Request.java:177) at toolbox.cassandra.client.CassandraClient.httpGet(CassandraClient.java:47) at toolbox.cassandra.client.CassandraClient.init(CassandraClient.java:129) at toolbox.cassandra.client.CassandraClie ...继续阅读 (12)

1) 我们没有使用它的大数据版本，普通版本在压测情况下服务器端如果吞吐不够，agent端会缓存大量的数据导致full gc，这里它占据了1G的内存2) 对HttpURLConnection拦截时可能发生空指针异常，导致业务线程终止java.lang.NullPointerException at com.blueware.monitor.bridge.reflect.ClassReflection$2.run(ClassReflection.java:30) ~[?:?] at com.blueware.monitor.bridge.reflect.ClassReflection$2.run(ClassReflection.java:28) ~[?:?] at java.security.AccessController.doPrivileged(Native Method) ~[?:1.8.0_65] at com.blueware.monitor.bridge.reflect.ClassReflection.loadClass(ClassReflection.java:28) ~[?:?] at sun.net.www.protocol.http.HttpURLConnection.getInputStream(HttpURLConnection.java:1441) ...继续阅读 (43)

压力测试场景，前端nginx反向代理到4个tomcat实例，在其中的一个实例上产生了大量的countDownConnection Incorrect connection count警告WARNING [http-nio-8080-exec-48] org.apache.tomcat.util.net.AbstractEndpoint.countDownConnection Incorrect connection count, multiple socket.close called on the same socket.另外一个异常是4个tomcat实例上都看到的NPE异常：Exception in thread "http-nio-8080-AsyncTimeout" java.lang.NullPointerException at org.apache.coyote.AbstractProcessor.doTimeoutAsync(AbstractProcessor.java:528) at org.apache.coyote.AbstractProcessor.timeoutAsync(AbstractProcessor.java:518) at org.apache.coyote.AbstractProtocol$AsyncTimeou ...继续阅读 (33)

尽管Scala和其他函数式编程都不太鼓励使用return，但我不喜欢太多缩进的代码，所以很少用较多的逻辑嵌套（除非是那种非常对称的嵌套），而是喜欢将不满足条件的先return掉。最近遇到一个scala里的流控陷阱，即在lambda里的return背后实际是通过特定的异常来实现的。对于流控和异常捕获之前也遇到过其他陷阱，但稍不留意仍可能重犯，比如下面这段代码：try { ... for (topicMeta <- resp.topicsMetadata; partMeta <- topicMeta.partitionsMetadata) { if (topicMeta.topic == p.topic && partMeta.partitionId == p.partition) { redisClient.hset(key, field, node.host + ":" + node.port) return } } } catch { case e: Throwable => ... }它是一段在actor里的逻辑，因为不希望非预期异常导致这个actor重启，所以是对Throwable进行的捕获，然而运行时竟捕获到了scala.ru ...继续阅读 (25)

遇到一个JDK（版本都是1.8.0_51-b16）在mac和linux上行为不一致的问题，这个问题是针对redis服务器端关闭连接时的状况处理；即在redis-server端设置连接的空闲时间，当超过这个空闲时间后server主动把该连接关闭掉。在我的mac上这个行为是符合预期的，对这个超时的连接再发起请求时会抛出 SocketException "Connection Reset"，但在linux上却不会。简单模拟一下，在Redis服务端配置timeout为3秒，客户端建立连接之后 sleep 4秒(或更久)，让连接超时import java.io.InputStream; import java.io.OutputStream; import java.net.InetSocketAddress; import java.net.Socket; public class ConnRestTest { public static void main(String[] args) throws Exception { Socket socket = new Socket(); socket.connect(new InetSocketAddress("localhost", 6379)); ...继续阅读 (17)

我的mac系统每次启动后第一次打开iterm2的时候，oh-my-zsh的启动总是明显的卡顿一下，而之后退出iterm2重启动则不会有这个卡顿，也就是只在第一次启动iterm2的时候发生。对启动的zsh增加了-xv参数后观察，发现这个卡顿发生在git_compare_version函数的第4行：找到这个函数后，发现第4行的操作并不是git等网络操作，而是一个字符串替换的操作，它使用zsh内置的字符串替换功能：INSTALLED_GIT_VERSION=(${(s/./)INSTALLED_GIT_VERSION[3]})非常的不符合直觉（直觉上以为卡顿是因为网络阻塞引起的），模拟一下，在一个脚本里使用这个字符串替换操作，看看具体的耗时情况：$ cat zsh-test.sh #!/usr/bin/env zsh -xv export PS4=$'%D{%M%S%.} %N:%i> ' INSTALLED_GIT_VERSION=($(command git --version 2>/dev/null)); INSTALLED_GIT_VERSION=(${(s/./)INSTALLED_GIT_VERSION[3]}); echo "$INSTALLED_GIT_VERSION"然后再启动时调用这个zsh脚本：$ cat run.sh #!/usr ...继续阅读 (17)

这篇文章是对之前的SIGTTIN信号量的疑惑?的解答，对于为何会有这种奇怪的用法，在另一篇shell下精确的定位一个命令也介绍过了，这里想讨论的重点不在于怎么变通解决那个问题，而是导致SIGTTIN发生的机制是怎么引起的。我的同事对这个问题也产生了好奇，在stackoverflow上发帖，有人给出了解释，解答的人直接给出了bash的源码jobs.c里的initialize_job_control方法片段，指出SIGTTIN正是那里面的逻辑。不过如果你跟我一样对shell和linux系统调用都懂得很肤浅的话，这段代码并不容易懂，所以在这里更详细的解释一下这个问题的来龙去脉。刚开始碰到这个问题的时候，通过strace看到了是SIGTTIN信号量所致，因为这个信号量默认的行为是让进程STOP(暂停)，即通过ps观察到的状态为T。对于SIGTTIN信号量《Linux/UNIX系统编程手册》上是这么说的:只有前台作业中的进程才能够从控制终端读取输入。这个限制条件避免了多个作业竞争读取终端输入。如果后台作业尝试从终端读取输入，就会接收到一个SIGTTIN信号。SIGTTIN信号的默认处理动作是停止作业。但我们的脚本里并没有后台进程，那两个进程也没有读取终端，跟上面的解释对不上。也没有在网上搜到其它引发SIGTTIN信号的情况，在这里困惑了很久。不过凭直觉知道这个问题应该跟作业控制有关，在脚本里 ...继续阅读 (15)

Redis里执行get或hget不存在的key或field时返回值在终端显式的是”(nil)”127.0.0.1:6379> get notexist (nil)当使用lua脚本执行逻辑时，如果要判断这个值，很容易让人迷惑以为它是nil，从而导致判断不成立，实际它是一个boolean的值127.0.0.1:6379> eval "local v=redis.call('get',KEYS[1]); return type(v)" 1 notexist "boolean"所以在脚本里判断获取的结果不为空，正确的方式还有判断false的情况：local v=redis.call('hget',KEYS[1], ARGV[1]); if (v ~= nil or (type(v) == 'boolean' and v)) then return 'not-empty'; end ...继续阅读 (20)

1) Sierra下很多原有软件无法运行有些通过mac store下载的需要重新下载才可运行：搜狗拼音无法使用，需要下载最新版本重新安装。2) 有个photoanalysisd的进程在后台分析你的图片，导致cpu占用率很高，可以用下面方式停止：➜ cat stop-photoanalysisd.sh #!/bin/bash launchctl stop com.apple.photoanalysisd launchctl unload -w /System/Library/LaunchAgents/com.apple.photoanalysisd.plist3) 原先VPN配置里的PPTP模式都丢失了 ...继续阅读 (19)

感谢林晴、史珩、shahito、乐乐Joker 以及其他匿名用户的反馈，勘误表如下（另外，原书作者另写了一本伴生书，对文章的错别字以及个别代码样例错误做了纠正，伴生书pdf可从作者网站免费下载：http://blog.higher-order.com/assets/fpiscompanion.pdf 为了保持一致，伴生书中修订的内容在中文版中并没有修改。伴生书中指出的错误并不多，也不影响本书阅读，主要是为书中的练习做解释）页数：目录 原文：1.3 引用透明、纯粹度以及替代模型 修改：1.3 引用透明、纯粹性以及代换模型 页数：目录 XI 原文：4 不是用异常来处理错误 修改：4 不使用异常来处理错误 页数：目录 XII 原文：第二部分 功能设计和组合子库 修改：第二部分 函数式设计和组合子库 原文：9.1 代数设计，走起 修改：9.1 代数设计 页数：目录 XIII 原文：第三部分 函数设计的通用结构 修改：第三部分 函数式设计的通用结构 页数：目录 XV 原文：14 本地影响和可变状态 修改：14 局部作用和可变状态 原文：14.3 纯粹是相对于上下文的 修改：14.3 纯粹性是相对于上下文的 页数：原推荐序 第一段中 原文：函数式编程作为书题出现在Scala中是个有趣的现象。 修改：《Scala函数式编程》是个有趣的书名。 ...继续阅读 (16)

最近看到nginx plus收费版里有个session draining的概念，在用nginx做反向代理，要优雅停止后端应用的话，需要先在nginx层控制请求不再发到相应的节点，但与此同时已经建立的链接则要继续保持，一直等这些链接都结束了再停止应用。其实在免费版的tengine就能实现这个特性，在以前的这篇nginx反向代理对后端某个节点优雅下线的问题文章里测试过后端tomcat有一个耗时很长的请求，当tengine端健康监测已发现后端节点不可用的情况下，该请求并不会被tengine中止，而会等后端响应结束后再返回给客户端。优化关闭应用并不只是在负载均衡或反向代理层面就能完美解决的，后端的应用本身也要考虑很多细节。举一个例子，Actor怎么有序的关闭，可以参考之前分享的Governor模式，所有干活的Actor由Governor创建，在创建时就设定好优先级。在应用关闭的时候，对master发送PoisonPill，示例代码如下：// 在你的容器或微容器里监听到应用关闭事件时触发shutdown，最简单的情况下是在shutdownhook里 def shutdown(): Unit = { gracefulStopActors system.terminate Await.result(system.whenTerminated, Duration.Inf) ...继续阅读 (27)

之前在这篇SIGTTIN?里提出了问题，但没有交代背景，为什么用交互式shell执行”which mvn”命令，是为了更准确的获取用户当前环境里所用的mvn命令到底是哪个。若用户对mvn做过alias，优先使用alias过的指令，然后再选择$PATH路径下的命令；这个函数的完整内容如下：function get_mvn_cmd() { if [[ "$OSTYPE" == *cygwin* ]];then ppid=$( ps -ef -p $$ | awk 'NR==2{print $3}' ) user_shell=$( ps -p $ppid | awk 'NR==2{print $8}' ) #has some trouble with cygwin, while Ctrl-c cannot terminal set -m else ppid=$( ps -oppid= $$ ) user_shell=$( ps -ocomm= -p $ppid ) fi # while as login shell, it's -bash not bash if [[ "$user_shell" == "-"* ]];then user_shell=${user_shell:1} f ...继续阅读 (27)

这款型号GW-5600J的G-Shock电子表是我六年前买的，从未换过电池。当时主要为了在跑步时便于计时，所以选择了这款功能性手表。在这只手表之前我也带过好几块其他类型的，时间大都不长，要么被撞坏表壳、要么机芯不够稳定(当然也都不是太好的表)，这款表算是佩戴时间最长的一款。尽管外形比较丑陋，但很耐用，陪我跑了很多次马拉松，汗水的腐蚀性对它影响也不大，跑完步用水冲一下就好。最近表带坏了，我在犹豫是否换成一款智能手表，但无法接受智能手表的电池仅能维持几天时间。相比之下我还是更愿意这种简单耐用的传统物件。 ...继续阅读 (23)

我有一段脚本自己的mac机器默认用zsh，运行时一直很正常，今天给别的同事用，在bash下有些异常，追查了一下这个问题，把问题简化后如下：#!/bin/bash zsh -ic "which mvn" zsh -ic "which mvn"上面的脚本执行没有问题，但将里面的zsh换位bash，就会出现问题：#!/bin/bash bash -ic "which mvn" bash -ic "which mvn"在mac上执行，第一次bash -ic "which mvn"是成功的，但第二次执行时就会挂住：➜ ./b.sh /usr/local/bin/mvn [1] + 24649 suspended (tty input) ./b.sh /tmp/dd [23:43:21] [jobs:1] ➜后来想到which在zsh里是一个内置命令，而在bash下则是一个外部命令，可能有所差异，将zsh执行的命令也声明为外部命令：#!/bin/bash zsh -ic "/usr/bin/which mvn" zsh -ic "/usr/bin/which mvn"执行时会在第二次阻塞住，即使Ctrl-C也无法停止脚本。这个问题很奇怪，两次以非交互方式调用shell执行一段命令（必须是外部命令）的话，第一次会成功，第二次则会suspend住。猜测可能是shell在第一次非交互方式 ...继续阅读 (28)

我们在招Java/Scala的资深工程师(或技术专家)，你将有机会跟我们共同参与一些挖财基础设施的开发。如果你有Akka的应用经验更好，不过掌握Scala/Akka并不是必要条件，基本的要求是功底扎实，对分布式有一定的了解。至少有三年以上的工作经验，本科或以上学历。工作地点在杭州。关于挖财的技术你可以通过InfoQ或ArchSummit搜到一些相关的分享，业务开发语言以Java为主Scala为辅。现阶段技术人员有两百多人的规模，这几年早已从初创时期的个人英雄主义转变为中等规模的集团军作战方式。整体上我们算是偏中庸的一个技术团队，也形成了一套适合自己的技术栈，相对务实，没有太多花活。业务当前发展比较快，对技术的要求也是不断在提升，对该职位感兴趣的请发邮件到: cuodao(at)wacai.com ，每封邮件一定回复。 ...继续阅读 (37)

在Java/Scala的一个方法里，存在与全局变量同名的局部变量的话将会覆盖这个全局变量，但当在这个方法局部变量定义之前就引用这个变量，在Java和Scala的编译器里给出了不同的实现，先看Java里：➜ cat B.java public class B { static String name = "noname"; public static void main(String[] args) { System.out.println(name); String name = "wang"; } } ➜ java B noname在main方法里第一行引用的name是全局变量，在同名的局部变量定义之前它从全局查找这个变量。而在Scala里:➜ cat A.scala object A { val name: String = "noname" def main(args: Array[String]) { println(name) val name = "wang" } } ➜ scalac A.scala A.scala:5: error: forward reference extends over definition of value name ...继续阅读 (14)

一段实际代码简化后如下：class A { def foo():String = { try{ Thread.sleep(1000) }finally{ "ok" } } }本来期望这个foo方法返回finally块中的”ok”，但编译的时候却给出了类型不匹配的错误：➜ scalac A.scala A.scala:4: error: type mismatch; found : Unit required: String Thread.sleep(1000) ^按说scala类型推断这么强大，不应该推断不出最终的返回值类型，从编译器的错误来看似乎它非要求在try代码块里最后一行表达式必须也是String类型的值，为什么finally里的表达式没有参与类型推断呢？把上述代码稍作改动，在try代码块里明确的给出一个String结果def foo():String = { try{ Thread.sleep(1000) "res" }finally{ "ok" } }再编译一下，却给出了一行警告：➜ scalac A.scala A.scala:7: warning: a pu ...继续阅读 (45)