软件构造感悟之数据类型与类型检验

数据类型与类型检验 {ignore=true}

1. 数据类型

以 Java 举例，数据类型分为两种：

• 基本数据类型：int, long, float, double, boolean, char;
• 引用数据类型（也称对象数据类型）：String, BigInteger…

更具体的如下图：

Java作为面向对象最典型的语言，其数据类型也是面向对象的，即所有的数据类型都是类，所有的变量都是对象，所有的操作都是方法调用。

Java是一种静态类型语言，即在编译时就确定了变量的类型，而动态类型语言则是在运行时确定变量的类型。
所以一旦类型确定，就不能改变，除非进行显式转换，这就是静态类型语言的特点。而隐式转化在Java中会当成错误处理。

2. 变量与可变性

变量的改变会导致程序员不得不去思考变量的可变性，这是一件很烦人的事情，因为可变性会导致很多问题，比如线程安全问题。因此我们应该尽量避免变化。

在实际问题中，我们经常利用不变性，创建不可变数据类型，这样可以避免很多问题。

当使用可变数据类型时，会获得性能上的提升，但是需要程序员自己去跟踪变量的值，并且需要考虑性能问题，相对的，使用不可变数据类型会造成大量的拷贝，造成空间上的浪费和性能上的下降，但与此同时，带来了安全与其他质量指标的提升，在具体应用中，我们应当根据实际情况进行选择。并优先考虑不可变数据类型（安全往往比性能更重要）。

tips: 一般来说，不可变数据类型的实现都是基于可变数据类型的，比如String类，其内部是通过char[]数组来实现的，而char[]数组是可变的，但是String类却是不可变的。

3. 迭代器

迭代器是一种对象，它能够遍历并选择序列中的对象，而开发者不需要了解该序列的底层结构。

对迭代器的使用要小心谨慎，因为对原对象执行删除操作会改变迭代器的引用，从而导致迭代器失效，这是一个很容易犯的错误。

如下便是一个错误的使用迭代器的代码：

for (String s : strings) {
    if (s.startsWith("a")) {
         strings.remove(s);
    }
}

正确的做法是使用迭代器的remove方法：

Iterator<String> iterator = strings.iterator();
while (iterator.hasNext()) {
    String s = iterator.next();
    if (s.startsWith("a")) {
        iterator.remove();
    }
}