03-go数据类型内存结构-string

最新推荐文章于 2024-07-18 19:27:24 发布

浩玥当空照

最新推荐文章于 2024-07-18 19:27:24 发布

阅读量660

点赞数

分类专栏： Go 内存结构实现原理 string 文章标签： go 数据类型内存结构 string

本文链接：https://blog.csdn.net/svasticah/article/details/93379454

版权

Go 同时被 3 个专栏收录

25 篇文章 0 订阅

订阅专栏

实现原理

22 篇文章 1 订阅

订阅专栏

内存结构

8 篇文章 1 订阅

订阅专栏

3. string

var var_string string = "this is a string"

字符串内存中有两部分
1、字符串内存地址
2、字符串长度

go.string."this is a string" SRODATA dupok size=16
        0x0000 74 68 69 73 20 69 73 20 61 20 73 74 72 69 6e 67  this is a string
        
"".var_string SDATA size=16
        0x0000 00 00 00 00 00 00 00 00 10 00 00 00 00 00 00 00  ................
        rel 0+8 t=1 go.string."this is a string"+0

3.1 string变量赋值

var var_str2 string = var_string

1、直接将内存地址赋值
2、直接将字符串长度赋值

        0x0032 00050 (type.go:41)       MOVQ    "".var_string+8(SB), AX
        0x0039 00057 (type.go:41)       PCDATA  $2, $1
        0x0039 00057 (type.go:41)       MOVQ    "".var_string(SB), CX
        0x0040 00064 (type.go:41)       PCDATA  $2, $0
        0x0040 00064 (type.go:41)       PCDATA  $0, $1
        0x0040 00064 (type.go:41)       MOVQ    CX, "".var_str2+368(SP)
        0x0048 00072 (type.go:41)       MOVQ    AX, "".var_str2+376(SP)

3.2 string变量赋值常量

var_str2 = "this is a string"

1、取字符串常量地址赋值
2、直接给字符串长度赋值

注：相同的字符串常量，在代码中只有一份数据。

0x0050 00080 (type.go:42)       LEAQ    go.string."this is a string"(SB), AX
0x0057 00087 (type.go:42)       PCDATA  $2, $0
0x0057 00087 (type.go:42)       MOVQ    AX, "".var_str2+368(SP)
0x005f 00095 (type.go:42)       MOVQ    $16, "".var_str2+376(SP)

3.3 string作为函数参数、返回值

func func2(str string) string {
        var strTemp = str
        return strTemp
}

1、参数传递的就是string变量值。
2、返回的也是string变量值。

0x0016 00022 (type.go:41)       MOVQ    "".str+32(SP), AX
0x001b 00027 (type.go:41)       PCDATA  $0, $1
0x001b 00027 (type.go:41)       MOVQ    "".str+40(SP), CX
0x0020 00032 (type.go:41)       MOVQ    AX, "".strTemp(SP)
0x0024 00036 (type.go:41)       MOVQ    CX, "".strTemp+8(SP)
0x0029 00041 (type.go:42)       PCDATA  $2, $0
0x0029 00041 (type.go:42)       PCDATA  $0, $2
0x0029 00041 (type.go:42)       MOVQ    AX, "".~r1+48(SP)
0x002e 00046 (type.go:42)       MOVQ    CX, "".~r1+56(SP)
0x0033 00051 (type.go:42)       MOVQ    16(SP), BP
0x0038 00056 (type.go:42)       ADDQ    $24, SP
0x003c 00060 (type.go:42)       RET

3.4 string指针作为参数

func func2(str *string) string {
        var strTemp string = *str
        return strTemp
}

指针作为变量。效果如同c指针。

0x0016 00022 (type.go:41)       MOVQ    "".str+32(SP), AX
0x001b 00027 (type.go:41)       TESTB   AL, (AX)
0x001d 00029 (type.go:41)       PCDATA  $2, $2
0x001d 00029 (type.go:41)       MOVQ    (AX), CX
0x0020 00032 (type.go:41)       PCDATA  $2, $3
0x0020 00032 (type.go:41)       MOVQ    8(AX), AX
0x0024 00036 (type.go:41)       MOVQ    CX, "".strTemp(SP)
0x0028 00040 (type.go:41)       MOVQ    AX, "".strTemp+8(SP)

3.5 两个字符串相加

var var_str3 = var_str2 + var_string

1、分别将两个字符串压入栈，形成一个字符串数组。
2、调用字符串拼接函数 runtime.concatstring2(SP)。
3、如果是6个以内的字符串相加，都调用运行时函数进行拼接

runtime.concatstring2(buf *tmpBuf, a [2]string)
... 
runtime.concatstring5(buf *tmpBuf, a [5]string)

4、concatstring1~5地城实现都为函数
待拼接字符串以字符串切片的形式传递给函数concatstrings()。

func concatstrings(buf *tmpBuf, a []string) string

注：
1、将所有字符串放到栈上，组成一个字符串数组。
2、遍历字符串数组，将字符串copy到一个缓存中。

0x0083 00131 (type.go:51)       MOVQ    "".var_str2+440(SP), AX
0x008b 00139 (type.go:51)       PCDATA  $2, $1
0x008b 00139 (type.go:51)       MOVQ    "".var_str2+432(SP), CX
0x0093 00147 (type.go:51)       PCDATA  $2, $0
0x0093 00147 (type.go:51)       MOVQ    CX, 8(SP)
0x0098 00152 (type.go:51)       MOVQ    AX, 16(SP)
0x009d 00157 (type.go:51)       MOVQ    "".var_string+8(SB), AX
0x00a4 00164 (type.go:51)       PCDATA  $2, $1
0x00a4 00164 (type.go:51)       MOVQ    "".var_string(SB), CX
0x00ab 00171 (type.go:51)       PCDATA  $2, $0
0x00ab 00171 (type.go:51)       MOVQ    CX, 24(SP)
0x00b0 00176 (type.go:51)       MOVQ    AX, 32(SP)
0x00b5 00181 (type.go:51)       CALL    runtime.concatstring2(SB)

连续的常量字符串会被实现为一个字符串。

"aaa" + "bbb" + "ccc"

go.string."aaabbbccc" SRODATA dupok size=9
        0x0000 61 61 61 62 62 62 63 63 63                       aaabbbccc

3.6 字符串切片方式访问

字符串可以使用切片的方式进行访问，返回的类型依然是一个字符串。

var str string = "abcde"
str_1 := str[:4]
fmt.Println("reflect.TypeOf(str_1) = ",reflect.TypeOf(str_1))
// 输出reflect.TypeOf(str_1) =  string


0x0032 00050 (string.go:8)      LEAQ    go.string."abcde"(SB), AX   // 字符串常量地址放入AX 寄存器
0x0039 00057 (string.go:8)      PCDATA  $2, $0
0x0039 00057 (string.go:8)      MOVQ    AX, "".str+136(SP)  // 将字符串指针指向字符串常量
0x0041 00065 (string.go:8)      MOVQ    $5, "".str+144(SP)  // 设置字符串长度
 

0x0056 00086 (string.go:10)     MOVQ    "".str+136(SP), AX  // 将字符串地址取出放到AX
0x005e 00094 (string.go:10)     CMPQ    "".str+144(SP), $4  // 比较字符串长度和切片长度
0x0067 00103 (string.go:10)     JMP     105 //切片长度超过字符串长度，则panic
0x0069 00105 (string.go:10)     PCDATA  $2, $-2
0x0069 00105 (string.go:10)     PCDATA  $0, $-2
0x0069 00105 (string.go:10)     JCC     112 // 正常
0x006b 00107 (string.go:10)     JMP     856 // panic

0x0070 00112 (string.go:10)     PCDATA  $2, $0
0x0070 00112 (string.go:10)     PCDATA  $0, $2
0x0070 00112 (string.go:10)     MOVQ    AX, "".str_1+120(SP)  // 将新字符串指针指向字符串地址
0x0075 00117 (string.go:10)     MOVQ    $4, "".str_1+128(SP)  // 设置字符串长度

0x0358 00856 (string.go:10)     CALL    runtime.panicslice(SB)