go语言切片多种定义方式 go语言的切片( 四 )


编译通过,运行报错
unexpected fault address 0xae2e27
fatal error: fault
这个错误,基本上就是一个内存的保护错误,是写异常,所以说明了,这个肯定做了内存写保护,那么直接修改一下内存区的属性,去掉他的写保护,就能写了
以下代码都是在Win平台,Go1.18,Win上修改内存权限属性,使用VirtualProtect,代码如下
此时运行,就能发现tstr的内容被咱们变了,这种情况实际上在实际开发中不具有实际意义,因为本身在语言层面,已经做了层层限制,咱们这是属于非法强制的操作方式,是流氓行为,那么是否有比较温和一点的操作方式呢?答案是有的,且往下看 。
通过上面 , 我们已经用到了字符串结构,切片结构,要想字符串内容可变,那么咱们自己构造字符串的数据内容区域,且让这个数据区木有内存写保护不就行了,内容区可变,GO原生态的byte数组不就行嘛 , 所以咱们自己构造一下
此时我们直接修改buffer的内容,就是直接修改了str的数据内容了 。而又不会像前面的一样遇到内存写保护
4、字符串转换优化时可能碰到的坑
通过前面讨论的字符串的可变性的方法,咱们可以知道 , 很多时候,[]byte到字符串的转变,可以直接构造其结构 , 而共享数据,从而达到减少数据内存copy的方式来进行优化,再使用这些优化的时候,一定需要注意 , 字符串或者数组的生命周期,是否会存在被改写的情况 , 从而导致前后不一致的问题 。
比如下面这段代码:
大家可以猜想一下,这个最后里面的数据mmp中 , "test"的value是多少,"abcd"的value是多少,然后想想为什么,且等端午之后 , 再来分解
Go切片数组深度解析Go 中的分片数组,实际上有点类似于Java中的ArrayList,是一个可以扩展的数组 , 但是Go中的切片由比较灵活,它和数组很像,也是基于数组,所以在go语言切片多种定义方式了解Go切片前我们先了解下数组 。
数组简单描述就由相同类型元素组成的数据结构, 在创建初期就确定了长度,是不可变的 。
但是Go的数组类型又和C与Java的数组类型不一样,NewArray 用于创建一个数组,从源码中可以看出最后返回的是 Array{}的指针,并不是第一个元素的指针,在Go中数组属于值类型,在进行传递时 , 采取的是值传递,通过拷贝整个数组 。Go语言的数组是一种有序的struct 。
Go 语言的数组有两种不同的创建方式,一种是显示的初始化,一种是隐式的初始化 。
注意一定是使用 [...]T 进行创建,使用三个点的隐式创建,编译器会对数组的大小进行推导 , 只是Go提供的一种语法糖 。
其次,Go中数组的类型 , 是由数值类型和长度两个一起确定的 。[2]int 和 [3]int 不是同一个类型,不能进行传参和比较,把数组理解为类型和长度两个属性的结构体,其实就一目了然了 。
Go中的数组属于值类型,通常应该存储于栈中,局部变量依然会根据逃逸分析确定存储栈还是堆中 。
编译器对数组函数中做两种不同的优化go语言切片多种定义方式:
在静态区完成赋值后复制到栈中 。
总结起来,在不考虑逃逸分析的情况下,如果数组中元素的个数小于或者等于 4 个,那么所有的变量会直接在栈上初始化,如果数组元素大于 4 个,变量就会在静态存储区初始化然后拷贝到栈上 。
由于数组是值类型,那么赋值和函数传参操作都会复制整个数组数据 。
不管是赋值或函数传参,地址都不一致 , 发生了拷贝 。如果数组的数据较大 , 则会消耗掉大量内存 。那么为了减少拷贝我们可以主动的传递指针呀 。