备案控制台
开发者社区 开发与运维 文章 正文

干货总结｜快速构造String对象及访问其内部成员的技巧

2024-05-06 33
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 本文详细解释了String类的底层实现，介绍了构造String对象及其访问其内部成员的技巧。

一、相关知识JDK String的实现

字符串在JDK 8及JDK 9之后的实现有很大不同的。JDK 8中，String的结构是这样的：


1.1 String JDK 8的实现


class String {
    char[] value;

    // 构造函数会拷贝
    public String(char value[]) {
        this.value = Arrays.copyOf(value, value.length);
    }

    // 无拷贝构造函数
    String(char[] value, boolean share) {
        // assert share : "unshared not supported";
        this.value = value;
    }
}


1.2 String JDK 9及之后版本的实现


class String {
    static final byte LATIN1 = 0;
    static final byte UTF16  = 1;
    
    byte code;
    byte[] value;

    // 无拷贝构造函数
    String(byte[] value, byte coder) {
        this.value = value;
        this.coder = coder;
    }
}

JDK9之后，通过byte[]来保存value，通过code字段区分是LATIN1或者UTF16。大多数的字符串都是LATIN1。针对这种情况，我们构造字符串或者对字符串进行编码为二进制时，针对性做ZeroCopy的实现，可以获得极致的性能。


二、相关知识Unsafe

JDK 8之后提供sun.Unsafe可以做一些原生的操作，性能更好，不安全，错误的调用会导致JVM Crash。如果用对了，能提升性能。Unsafe能帮你绕过任何限制。

public class UnsafeUtils {
    public static final Unsafe UNSAFE;
    
    static {
        Unsafe unsafe = null;
        try {
            Field theUnsafeField = Unsafe.class.getDeclaredField("theUnsafe");
            theUnsafeField.setAccessible(true);
            unsafe = (Unsafe) theUnsafeField.get(null);
        } catch (Throwable ignored) {
            // ignored
        }
        UNSAFE = unsafe;
    }
}

三、相关知识Trusted MethodHandles.Lookup

JDK 8开始支持Lambda，为了方便将一个Method映射为一个Lambda Function，避免反射开销。java.invoke.LambdaMetafactory可以实现这一功能，但这个也受限于可见性的限制，也就是说不能调用私有方法。有一个技巧，结合Unsafe，可以在不同版本的JDK都能构造一个Trusted MethodHandles.Lookup来绕开可见性的限制，调用任何JDK内部方法。如下：


import static com.alibaba.fastjson2.util.UnsafeUtils.UNSAFE;

static final MethodHandles.Lookup IMPL_LOOKUP;

static {
    Class lookupClass = MethodHandles.Lookup.class;
    Field implLookup = lookupClass.getDeclaredField("IMPL_LOOKUP");
    long fieldOffset = UNSAFE.staticFieldOffset(implLookup);
    IMPL_LOOKUP = (MethodHandles.Lookup) UNSAFE.getObject(lookupClass, fieldOffset);
}

static MethodHandles.Lookup trustedLookup(Class objectClass) throws Exception {
    return IMPL_LOOKUP.in(objectClass);
}

注意：在IBM OpenJ9 JDK 8/11版本上面的实现受到可见性限制，需要做额外处理，参考FASTJSON2 JDKUtils#trustedLookup的代码 ：


https://github.com/alibaba/fastjson2/blob/fastcode_demo_20221218/core/src/main/java/com/alibaba/fastjson2/util/JDKUtils.java#L254


四、零拷贝构造String对象

快速构造字符串的关键是要做减少拷贝，甚至零拷贝，在JDK 8、JDK 9~15、JDK 16及之后的版本的实现都不一样。

4.1 JDK 8零拷贝构造String对象的实现

在JDK8中，实现零拷贝构造String对象，需要调用其构造函数String(char[], boolean)，比如：


BiFunction<char[], Boolean, String>  stringCreatorJDK8
    = (char[] value, boolean share) -> new String(chars, boolean);

由于String(char[], boolean)方法不是public的，上面的代码会报错，要通过反射构造一个TRUSTED的MethodHandles.Lookup，然调用String的内部方法，映射成一个BiFunction<char[], Boolean, String>，代码如下：


import com.alibaba.fastjson2.util.JDKUtils;

import java.util.function.BiFunction;
import java.lang.invoke.MethodHandles;
import static java.lang.invoke.MethodType.methodType;

MethodHandles.Lookup caller = JDKUtils.trustedLookup(String.class);

MethodHandle handle = caller.findConstructor(
        String.class, 
        methodType(void.class, char[].class, boolean.class)
);

CallSite callSite = LambdaMetafactory.metafactory(
        caller,
        "apply",
        methodType(BiFunction.class),
        methodType(Object.class, Object.class, Object.class),
        handle,
        methodType(String.class, char[].class, boolean.class)
);
BiFunction<char[], Boolean, String>  STRING_CREATOR_JDK8 
    = (BiFunction<char[], Boolean, String>) 
      callSite.getTarget().invokeExact();

4.2 JDK9及之后版本实现零拷贝构造String对象的实现

在JDK 9~JDK 15中，我们要构造一个这样的Function用于零拷贝构造String对象：


BiFunction<byte[], Byte, String> STRING_CREATOR_JDK11 
    = (byte[] value, byte coder) -> new String(value, coder);

同样，JDK 9中的String(byte[], byte)方法不是public，无法直接调用，上面的代码会报错，要构造一个TRUSTED MethodHandles.Lookup方法调用String内部方法，如下：


import com.alibaba.fastjson2.util.JDKUtils;
import static java.lang.invoke.MethodType.methodType;

MethodHandles.Lookup caller = JDKUtils.trustedLookup(String.class);
MethodHandle handle = caller.findConstructor(
        String.class, 
        methodType(void.class, byte[].class, byte.class)
);
CallSite callSite = LambdaMetafactory.metafactory(
        caller,
        "apply",
        methodType(BiFunction.class),
        methodType(Object.class, Object.class, Object.class),
        handle,
        methodType(String.class, byte[].class, Byte.class)
);
BiFunction<byte[], Byte, String> STRING_CREATOR_JDK11 
    = (BiFunction<byte[], Byte, String>) 
      callSite.getTarget().invokeExact();

注意：当用户配置JVM参数-XX:-CompactStrings时，上述方法无效。

4.3 快速构造String对象应用举例

stiatic BiFunction<char[], Boolean, String>  STRING_CREATOR_JDK8 = ...
static BiFunction<byte[], Byte, String> STRING_CREATOR_JDK11 = ... 

static String formatYYYYMMDD(LocalDate date) {
    int year = date.getYear();
    int month = date.getMonthValue();
    int dayOfMonth = date.getDayOfMonth();

    int y0 = year / 1000 + '0';
    int y1 = (year / 100) % 10 + '0';
    int y2 = (year / 10) % 10 + '0';
    int y3 = year % 10 + '0';
    int m0 = month / 10 + '0';
    int m1 = month % 10 + '0';
    int d0 = dayOfMonth / 10 + '0';
    int d1 = dayOfMonth % 10 + '0';

    String str;
    if (STRING_CREATOR_JDK11 != null) {
        byte[] bytes = new byte[10];
        bytes[0] = (byte) y0;
        bytes[1] = (byte) y1;
        bytes[2] = (byte) y2;
        bytes[3] = (byte) y3;
        bytes[4] = '-';
        bytes[5] = (byte) m0;
        bytes[6] = (byte) m1;
        bytes[7] = '-';
        bytes[8] = (byte) d0;
        bytes[9] = (byte) d1;
        str = STRING_CREATOR_JDK11.apply(bytes, JDKUtils.LATIN1);
    } else {
        char[] chars = new char[10];
        chars[0] = (char) y1;
        chars[1] = (char) y2;
        chars[2] = (char) y3;
        chars[3] = (char) y4;
        chars[4] = '-';
        chars[5] = (char) m0;
        chars[6] = (char) m1;
        chars[7] = '-';
        chars[8] = (char) d0;
        chars[9] = (char) d1;

        if (STRING_CREATOR_JDK8 != null) {
            str = STRING_CREATOR_JDK8.apply(chars, Boolean.TRUE);
        } else {
            str = new String(chars);
        }
    }
    return str;
}

上面的例子中，根据JDK版本，在JDK 8中直接创建char[]，JDK 9中直接创建byte[]，然后通过零拷贝的方式构造字符串对象，这样就实现了快速格式化LocalDate到String，这样的实现远比使用SimpleDateFormat/java.time.DateTimeFormat等实现要快得多。


五、直接访问String对象内部成员

5.1 JDK 8快速访问value


static final Field FIELD_STRING_VALUE;
static final long FIELD_STRING_VALUE_OFFSET;

static {
    Field field = null;
    long fieldOffset = -1;
    try {
        field = String.class.getDeclaredField("value");
        fieldOffset = UnsafeUtils.objectFieldOffset(field);
    } catch (Exception ignored) {
        FIELD_STRING_ERROR = true;
    }

    FIELD_STRING_VALUE = field;
    FIELD_STRING_VALUE_OFFSET = fieldOffset;
}

public static char[] getCharArray(String str) {
    if (!FIELD_STRING_ERROR) {
        try {
            return (char[]) UnsafeUtils.UNSAFE.getObject(
                str, 
                FIELD_STRING_VALUE_OFFSET
            );
        } catch (Exception ignored) {
            FIELD_STRING_ERROR = true;
        }
    }

    return str.toCharArray();
}

5.2 JDK 9及之后版本直接访问coder & value

我们需要构造如下的函数：



ToIntFunction<String> stringCoder = (String str) -> str.coder();
Function<String, byte[]> stringValue = (String str) -> str.value();

但由于String.coder和value方法不是public可见的，和上面的4.2类似，要通过TRUSTED MethodHandles.Lookup构造，如下：


import com.alibaba.fastjson2.util.JDKUtils;
import static java.lang.invoke.MethodType.methodType;

MethodHandles.Lookup lookup = JDKUtils.trustedLookup(String.class);
MethodHandle coder = lookup.findSpecial(
        String.class,
        "coder",
        methodType(byte.class),
        String.class
);
CallSite applyAsInt = LambdaMetafactory.metafactory(
        lookup,
        "applyAsInt",
        methodType(ToIntFunction.class),
        methodType(int.class, Object.class),
        coder,
        MethodType.methodType(byte.class, String.class)
);
ToIntFunction<String> STRING_CODER 
    = (ToIntFunction<String>) applyAsInt.getTarget().invokeExact();

MethodHandle value = lookup.findSpecial(
        String.class,
        "value",
         methodType(byte[].class),
        String.class
);
CallSite apply = LambdaMetafactory.metafactory(
        lookup,
        "apply",
        methodType(Function.class),
        methodType(Object.class, Object.class),
        value,
        methodType(byte[].class, String.class)
);
Function<String, byte[]> STRING_VALUE 
     = (Function<String, byte[]>) apply.getTarget().invokeExact();


5.3 直接访问举例


static Byte LATIN1 = 0;
static ToIntFunction<String> STRING_CODER = ...
static Function<String, byte[]> STRING_VALUE ...

byte[] buf = ...;
int off;

void writeString(string str) {
    if (STRING_CODER != null && STRING_VALUE != null) {
        // improved for JDK 9 LATIN1
        int coder = stringCoder.apply(str);
        if (coder == LATIN1) {
            // str.getBytes(0, str.length, buf, off);
            byte[] value = STRING_VALUE.apply(str);
            System.arrayCopy(value, 0, buf, off, value.length);
            return;
        }
    }
    // normal logic
}


5.4 巧用String.getBytes方法

String有一个Deprecated的getBytes方法，当有非LATIN字符时，结果不对。但当在coder为LATIN1时，可用于直接拷贝其中value，


class String {
    @Deprecated
    public void getBytes(int srcBegin, int srcEnd, byte dst[], int dstBegin) {
        int j = dstBegin;
        int n = srcEnd;
        int i = srcBegin;
        char[] val = value;   /* avoid getfield opcode */

        while (i < n) {
            dst[j++] = (byte)val[i++];
        }
    }
}

static Byte LATIN1 = 0;
static ToIntFunction<String> STRING_CODER = ...

byte[] buf = ...;
int off;

void writeString(string str) {
    if (STRING_CODER != null) {
        // improved for JDK 9 LATIN1
        int coder = STRING_CODER.apply(str);
        if (coder == LATIN1) {
            str.getBytes(0, str.length, buf, off);
            return;
        }
    }
    // normal logic
}

参考实现：

FASTJSON2项目使用了上面的技巧，其中JDKUtils和UnsafeUtils有上面技巧的实现：

  • JDKUtils：

https://github.com/alibaba/fastjson2/blob/fastcode_demo_20221218/core/src/main/java/com/alibaba/fastjson2/util/JDKUtils.java

  • UnsafeUtils：

https://github.com/alibaba/fastjson2/blob/fastcode_demo_20221218/core/src/main/java/com/alibaba/fastjson2/util/UnsafeUtils.java



作者 | 温绍锦(高铁)

来源 | 阿里云开发者公众号

文章标签：
Java
开发者
关键词：
构造String
String访问
String成员
String对象
String构造
阿里开发者
目录
相关文章
极客李华
|
4天前
|
缓存 Java
Java中循环创建String对象的内存管理分析
Java中循环创建String对象的内存管理分析
极客李华
29 2
博客zhu虎康
|
4天前
|
JavaScript
js 字符串String转对象Object
该代码示例展示了如何将一个以逗号分隔的字符串（`&#39;1.2,2,3,4,5&#39;`）转换为对象数组。通过使用`split(&#39;,&#39;)`分割字符串并`map(parseFloat)`处理每个元素，将字符串转换成浮点数数组，最终得到一个对象数组，其类型为`object`。
博客zhu虎康
35 2
fensnote
|
4天前
|
NoSQL C++
c++中包含string成员的结构体拷贝导致的double free问题
c++中包含string成员的结构体拷贝导致的double free问题
fensnote
12 0
No8g攻城狮
|
7月前
|
JSON Java 数据格式
【异常处理】关于访问swagger-ui报错java.lang.NumberFormatException: For input string: ““的解决方案总结
【异常处理】关于访问swagger-ui报错java.lang.NumberFormatException: For input string: ““的解决方案总结
No8g攻城狮
158 0
程序员朱永胜
|
7月前
|
对象存储
String_s1_=_new_String(“abc“)；这句话创建了几个字符串对象？
String_s1_=_new_String(“abc“)；这句话创建了几个字符串对象？
程序员朱永胜
32 0
Tom弹架构
|
8月前
|
Java 程序员 编译器
new String(“hello“)之后，到底创建了几个对象？
最近，有很多优秀的程序员从大厂毕业， 再加上大环境的影响，很多正在找工作的小伙伴也感觉技术面试越来越难，基本上都会问技术底层原理，甚至有些还会问到操作系统层面的知识。 如果技术功底不扎实，确实很难找到合适的岗位。
Tom弹架构
65 0
懒鱼七忆
|
4天前
|
前端开发 Java 测试技术
把List＜对象＞转变＜String,List＜对象＞＞形式，k为判断的值，v为k重复的数据。
把List＜对象＞转变＜String,List＜对象＞＞形式，k为判断的值，v为k重复的数据。
懒鱼七忆
22 0
零一成城
|
5月前
|
JSON Java 数据格式
Java jackson 由String转成List和各种对象
时间久了，会忘记具体怎么转，记录一下，后面方便使用
零一成城
80 1
苍何
|
8月前
|
Java 编译器
JVM执行引擎、对象实例化、String相关知识
执行引擎就是执行内存中的指令，将字节码指令解释/编译为对应平台上的本地机器指令，充当了将高级语言翻译为机器语言的使者。
苍何
45 0
__爱吃香菜
|
9月前
|
JavaScript
ES6对String字符串、Array数组、Number数字、Object对象 类型做了哪些升级优化
ES6对String字符串、Array数组、Number数字、Object对象 类型做了哪些升级优化
__爱吃香菜
78 0

热门文章

最新文章

  • 1
    Redis入门到通关之Redis数据结构-String篇
  • 2
    标准库中的string类（中）+仅仅反转字母+字符串中的第一个唯一字符+字符串相加——“C++”“Leetcode每日一题”
  • 3
    Java 的 String StringBuilder StringBuffer（上）
  • 4
    解密Java String：究竟能存储多少个字符？
  • 5
    【C++】string类
  • 6
    Redis入门到通关之String命令
  • 7
    标准库中的string类（上）——“C++”
  • 8
    常用字符串函数 #include＜string.h＞与#include＜stdio.h＞
  • 9
    【C++】std::string 转换成非const类型 char* 的三种方法记录
  • 10
    【LeetCode从零单排】No.8 String to Integer (丧心病狂的一道题）
  • 1
    【C++】——string的功能介绍及使用
    48
  • 2
    String类及相应的字符串操作方法
    71
  • 3
    Python系列（16）—— string类型转float类型
    29
  • 4
    Python系列（15）—— int类型转string类型
    17
  • 5
    Java StringBuffer 和 StringBuilder 类
    17
  • 6
    【Java】Java中String不可变性的底层实现
    22
  • 7
    在C++语言中string-vector的字符串作用类型
    11
  • 8
    50.c#：string类初始化
    131
  • 9
    string容器一字符事查找和替换
    12
  • 10
    C++中的string容器及字符串拼接操作讲解
    20

    • 相关电子书

    更多
  • 对象的生命期管理
  • 建立联系方法之一
  • 低代码开发师（初级）实战教程

    • 相关实验场景

    更多
  • 语言入门-3：string的方法
  • 对象和接口-3：接口类型
  • 对象和接口-2：常见用法
  • 对象和接口-1：对象类型
    • 下一篇
    2024年阿里云免费云服务器及学生云服务器申请教程参考