为什么scala不具有C-like常量语义？

const int i[]={1,2,3,4};
i[2]=5; //error

斯卡拉：

val a=Array(1,4)
a(2)=5 //a is now Array(1,5,4)

会员功能变得更糟：
C ：

class Foo {
int i;
int iPlusFive() const {return i+5;}
int incrementI(){ return ++i; }
}

我可以确定，调用iPlusFive不会更改对象，并且我不会不小心在const对象上调用incrementI。

当涉及到集合时，C继续它与const集合的常量正确连接：简单地将你的向量声明为const，你不能改变它。分配非常量向量< Int>到一个常量向量< Int>并且编译器将不会复制任何东西，并且将阻止您改变现在的const集合中的任何内容。

Scala具有scala.collection.mutable.whatever和scala.collection.immutable.whatever，你不能只是将可变集合转换为不可变集合，此外，您仍然可以使用其非常量成员函数更改收集的对象。

为什么scala有一个非常好的类型系统，没有什么可比C const关键字？

编辑：
Margus建议使用import scala.collection.mutable。
我的解决方案是使用

import scala.collection.mutable.HashMap
import scala.collection.immutable.{HashMap => ConstHashMap}

这将使可变的HashMap可用作HashMap和不可变的als ConstHashMap，但是我仍然更喜欢C方法。