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地城实现都为函数 func concatstrings(buf *tmpBuf, a []string) string
待拼接字符串以字符串切片的形式传递给函数concatstrings()。
注：
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
