scala类型系统:18) 不稳定(volatile)类型

volatile type,中文称为不稳定类型或易变类型,指编译器不能确定其成员不会发生改变的类型(一个例子是在一个抽象类中定义了一个抽象的类型),在scala语言规范里描述有4种情况可能满足:

1 对于复合类型

`T1 with ... Tn {R} `若该复合类型满足下面情况之一,即为不稳定类型

1.1 `T2,...,Tn` 中有一个类型参数或抽象类型
1.2  T1 是一个抽象类型,并且 R 或 Tj(j>1) 提供了一个抽象成员
1.3  `T1,...,Tn` 中有一个是单例类型

2 对于type designator(类型标识符,比如用class或type关键字定义的类型)

A type designator is volatile if it is an alias of a volatile type, or if it designates a type parameter or abstract type that has a volatile type as its upper bound.

3 对于单例类型

A singleton type p.type is volatile, if the underlying type of path p is volatile.

4 对于存在类型

 如果`T`是不稳定类型,则 `T forSome { Q }` 也是不稳定类型

2012年的海南环岛,第六天

2012.1.30 第6天,詹州到海口 距离137公里。路线图如下:

早上在马路对面的KFC吃的早餐,今天是最后一段路程了,计划中午到达福山镇,在那儿吃午饭。

各自按照自己的节奏骑行,出儋州的时候,仍有一段的起伏路程,但到海口方向整体上是下坡较多,所以我骑的较快一些。毛毛雨依然继续下着,这一天上午,我没有碰到一个骑行者,路上有一些运送甘蔗的车。路上的细雨让我很舒适,思绪发散的想着各种问题,人生、近期的生活、家庭、工作、朋友。。。

昨天在快到儋州市区的时候,是一段下坡,阴天傍晚时分路上已经有些暗了,几公里外城市的轮廓越来越清晰,脑中一直想的一个问题是自己在四十岁时是一种怎样的生活状态,是否与自己期望的所相符

连续的骑行了60公里没有停歇,在一个小镇买了瓶矿泉水,等了luchang几分钟仍未看到,继续往前骑行。到福山镇的时候,我在一个小馆子前面停留下来,等了会儿luchang到后,点了几个菜,吃了午饭。要主食的时候服务员特别问了我们是要米饭还是鸡油饭,价格一样,我们要了鸡油饭,感觉还不错。

从福山继续往海口骑行,途经澄迈,在某个岔路口看到路牌上写着“宋代美榔双塔12KM”,之前对这个景区好像也有听说,瞬间闪现了想去的念头,但考虑时间上往返可能要花将近2个小时,本身也并不是在计划中的,坚定按原计划执行,回想在生活和工作中,这样“误入”岔路的事情实在不少,最终延误了主要目标。

骑到老城的时候,看到路牌上写着“海口25km“,瞬时开始松懈了,这种松懈使得骑行的速度大大减慢,在后边接近市区的过程中,路上的车越来越多,灰尘也越来越大,这种城市外围区域一向都是骑车过程中最不舒服的

在到南海大道与秀英大道交汇的路口,我与luchang分离,这次有缘与luchang共同环岛骑行,很愉快。他在路上向我介绍了很多骑行者的故事,四川的一些路线,以及川藏线有关的一些奇人奇事。他还有很多条骑行的路线,但将川藏线保留着,打算在他40岁的时候再去走这条线,因为走过了这条线,其他的路线都将失色不少。他曾在西藏参与过工程项目,在进入拉萨前的米拉山口,上面的电力铁塔都是他们架设的。我想如果有一天我经过米拉山口,会留意一下上面的铁塔,想起这个哥们。

回到市区口,天色还没有黑下来,我打算到海口北边的岛上去逛逛,之前曾考虑过预订那个岛上的青年旅馆。打算走世纪大桥,不想到大桥下面,发现并没有行人和自行车过去方式,桥下看守的老头和我聊了几句,说岛上没有什么好看的。问我环岛有没有走文昌,文昌近些年的变化较大。我很遗憾没有去看看。

后需沿着滨海大道往市中心走,准备去还车,在人民桥附近,我停留了一下查看地图,天色已黑,路灯已亮起来了。突然后边有人问我:你也是去找青旅的吧? 回头看是两个骑着折叠车,拖着包的小情侣。我们聊了几句,他们刚开始环岛,预订了北边岛上的青旅(海口巴纳纳国际青年旅舍),问我是否同去,我说我已经环岛回来,明早的飞机,就在市区住了,方便明早去机场。

继续骑车经过博爱路去海府路,博爱路是一条很有意思的老街,建筑也是一些老房子,街上安静,有个卖废旧书籍的。往前也有大排档,很多人,在桌子上摆个小的煤炉上面有个很大的锅,就是我们煮饭的锅,里面炖着一锅不知所谓的东西。这条街经过时确实蛮有趣的。

咨询了几个旅馆,最后还是回到第一天在海口住的如家,今天价格已经比较便宜了。用会员卡只需120不到,到龙昆南路租车的地方还了车后,步行回去,路上看到”伏波庙”,我出发的那天看到祠前有人在烧香,当时不知到这所祠堂,进去逛了逛,里面有些人围在几张方桌上打麻将,墙上有关于两位伏波将军的介绍。了解了一下他们的故事后便出去,在出的时候,突然看到庙门上的画像,两个门神很像关羽和张飞,双手都持有长刀和锏,昏暗的灯光下面目狰狞。

回到旅馆后,在前台预订了明天早上6点的出租车和叫醒电话。第二天早上按时起来退房,出租车已在外边等着,到美兰机场很快,大约半个小时就到了,不想6:30的美兰机场正是人多的时候,此时正是返程高峰。在机场的商店里买了两盒海南的食品带给同事,后又去免税店逛了下,买了一瓶香水给sally。当天天气较好,前两天还受大雾影响,飞机基本是按时起飞的,到达上海时已经中午11:30左右,从浦东机场做地铁到虹桥火车站,买了下午3点回杭州的高铁。

2012年的海南环岛,第五天

2012.1.29 第5天,东方到儋州 距离125公里。路线图如下:

早上在路边的米粉店吃的早餐。车带的气有些少了,打了些气。今天的路线将是一路的起伏,我们已有所准备,预期中午时到达邦溪镇,在那儿吃午饭。

一路上果然是不断上坡下坡,不过都是柏油马路,感觉上还好。节奏放慢些并不很累。不过在路上,看到了一起事故,一辆装满玉米的小货车侧翻了,透过车窗看到里面有个带着斗笠,披着头巾的女人在哭。交警在一边疏导说120一会儿就来了,没有忍心看里面是否还有其他人,为之一阵难过。

这一天全部路段都差不多是上坡下坡,中间有一段是较差的水泥路,蹬起来明显吃力不少,好在这段水泥路并不太长,大约1,2个小时的样子。感觉累的时候,我索性放慢节奏,留意路边的景色,停下来拍几张照片,这一段路有些景色还真不错

爬上一个坡后到达加油站,它的对面是个小卖部,我继续喝了瓶冰镇可乐,这段水泥路之后,又恢复了柏油马路。中午在小镇的菜市场里找到一家买米粉的,吃了两大碗,买了些水,继续上路。

经过的一片橡胶林。

途中还经过华南热带农业大学,位于快到儋州市区的地方。到达儋州市区后,我们在市区中兴大街上找的一家旅馆,好像是叫“韶山冲”,它也有个同名的餐馆。

晚上并不怎么困,看了电视里播放的澳网决赛,那是一场很精彩的对决,艰难的拉锯战。后续又看了CCTV6播放的《冷山》,冷山第一次观看时是04年时和同学一起在电影院,影院里的音箱效果很好,片子开头时陨石坑战役中的爆炸声让我印象深刻。CCTV这次播放的是中文配音,让女主角说话略显做作。

2012年的海南环岛,第四天

2012.1.28 第4天 崖城到东方 距离128公里。路线图如下:

早晨仍在昨晚去的那家四川饭馆吃的早餐,有包子,油条,馄饨等。我们预期是中午到达差不多在中点位置的“尖峰镇”,在那儿吃午饭。

出发后一个多小时,luchang在前边发现一个小路下去就是海边,我们过去,在沙滩边遇到了2个扎帐篷的

男孩是山西人,从深圳骑车过来,终点是三亚。女孩是从广州骑车过来的,他们在开口相遇然后同行的。从他们口中了解到了西线路况还不错,詹州一段的连续起伏的路况他并未特别突出,只是提到当地民风彪悍,让我们多加小心。

与他们告别后,我们开始了持续骑行,到达黄流镇的时候,我们停下来,喝了瓶冰镇可乐。西线的路上确实与东线有些差异,民风更原始一些,有些小镇的人们就在路边的茶馆喝茶,还有的人家盖的二层楼披着我不认识的漂亮的花儿。镇子与镇子间的距离似乎也更大一些,我们直到板桥镇才吃午饭,仍是在路边的米粉店,要了两大分炒粉,又喝了一瓶冰镇可乐。这段时间我对冰镇可乐的需求比以往任何时候都大。

从板桥镇出发的时候,也大概是2点左右,没有找到休息的场所,经过过一个学校,但不想回头继续往前走,在大概G225国道288.8km的路标处,我们看到一排风车,luchang建议我们过去看看,那儿应该是片海。

我们过去,绕了一些路,经过一片玉米地

后边是一片非常安静的海,完全未开放的

后续在路上luchang很想把这片风景分享给其他的骑行者,但并非每个骑行者都很热情,我们在这片海边花的时间有点多,后续路上加快了一些,希望能赶在东方(港口)时拍到日落

经过很多个小镇,但感恩城这个小镇我一定会记得。

路上还看到几个士兵,背着枪,在跑步,我以为是拉练,但并未见到更多士兵。当我们感到东方市的时候,大约6点一刻,太阳还没落下去,路边的小贩告诉我们去往海边最近的路被堵住了,正在修路,去海边的话要再多骑10多分钟,luchang有些放弃了,他认为市区内车多,不放便赶过去。我当时也已经能量耗尽,又渴又饿,急需补充,没有坚持去,这也成了我们的一个遗憾。

在路边小贩那儿买了一点零食,然后去找旅馆,找到了一家“假日阳光”旅馆,98元,有热水和网络。晚上在一家江西老表的小饭馆里吃的,点了几个菜都有点辣,喝了点啤酒。