String源码阅读收获1

Void 类

rangeCheck()函数蕴含的思想

Void 类

public String(char value[], int offset, int count) {
        this(value, offset, count, rangeCheck(value, offset, count));
    }

以上这个构造函数中的this是下面这个函数

this：

 String(char[] value, int off, int len, Void sig) {
        if (len == 0) {
            this.value = "".value;
            this.coder = "".coder;
            return;
        }
        if (COMPACT_STRINGS) {
            byte[] val = StringUTF16.compress(value, off, len);
            if (val != null) {
                this.value = val;
                this.coder = LATIN1;
                return;
            }
        }
        this.coder = UTF16;
        this.value = StringUTF16.toBytes(value, off, len);
    }

这个函数里面有一个参数   Void sig

Void sig 在这里的作用是相当于一个占位符

我们可以先看一些Void 的源码

public final class Void {

     /*
    这里就是 创建一个Void 类型的静态常量TYPE
    */
    @SuppressWarnings("unchecked")
    public static final Class<Void> TYPE = (Class<Void>) Class.getPrimitiveClass("void");

    /*
     * Void类不能被实例化
     */
    private Void() {}
}

再看一下整体的调用过程

//1. 
public String (char value[], int offset, int count){
        this(value, offset, count, rangeCheck(value, offset, count));
	}

//2.调用this 

String(char[] value, int off, int len, Void sig) {
        if (len == 0) {
            this.value = "".value;
            this.coder = "".coder;
            return;
        }
        if (COMPACT_STRINGS) {
            byte[] val = StringUTF16.compress(value, off, len);
            if (val != null) {
                this.value = val;
                this.coder = LATIN1;
                return;
            }
        }
        this.coder = UTF16;
        this.value = StringUTF16.toBytes(value, off, len);
 }

//3.调用rangeCheck(value, offset, count)
//这里看到 rangeCheck()的返回类似Void ,return null 相当于Void sig 的值是null
//这样就可以在传参的过程中，直接调用rangeCheck()函数
//所以，Void sig在这里的作用就是占位符，
//如果不写Void sig,你就无法在调用参数过程中直接调用rangeCheck()
private static Void rangeCheck(char[] value, int offset, int count) {
        checkBoundsOffCount(offset, count, value.length);
        return null;
}

//4.checkBoundsOffCount()
static void checkBoundsOffCount(int offset, int count, int length) {
        if (offset < 0 || count < 0 || offset > length - count) {
            throw new StringIndexOutOfBoundsException(
                "offset " + offset + ", count " + count + ", length " + length);
        }
    }

那为什么可以在将一个函数作为参数，在调用另一个函数的过程中，直接调用它呢？

看一个例子你就明白了

 

其实就是：

test2的参数返回是null，

而你test1的参数sig可以接收null，

所以才有这样的效果

 rangeCheck()函数蕴含的思想

我们在回顾一下这个构造函数的调用过程

• 先调用this
• 在调用rangeCheck()函数
• rangeCheck()函数在去调用checkBoundsOffCount()

那么问题来了，为什么我不可以直接去调用checkBoundsOffCount()，干嘛还要多写一个rangeCheck()函数，让rangeCheck()去调用checkBoundsOffCount()？

分析：

这里的rangeCheck()看似没有什么作用，其实很有用

1. 代码重用性和可维护性：将范围检查的逻辑封装到 rangeCheck 函数中，可以使得其他部分的代码也能够重用这个范围检查逻辑，避免代码重复。如果将范围检查逻辑直接写在 String 构造函数内部，可能会导致代码重复，如果以后需要修改范围检查逻辑，就需要在多处修改。

2. 可读性：将逻辑拆分成多个小函数，可以让每个函数专注于特定的任务。在 String 构造函数中调用 rangeCheck 函数可以让读者更容易理解这段代码的意图。

3. 未来扩展：如果将来需要在范围检查中加入其他逻辑或异常处理，只需要修改 rangeCheck 函数，而不必在多个地方修改相同的逻辑。

4. 模块化：通过将逻辑封装成小函数，可以更好地组织代码，使每个函数的职责更加清晰。这有助于提高代码的可维护性和可扩展性。