Solidity数据位置
- 所有复杂的数据类型,即数组、结构和映射类型,都会有一个额外属性“数据位置”,用来指定数据的存储位置,即数据是存储在memory还是存储在storage里面
- 根据上下文环境,IDE会自动指定数据的默认存储位置,但是也可以通过在类型名字之后添加关键字stirage或者memory进行修改
- 函数参数(包括返回的参数)的数据位置默认是memory,局部变量的数据存储位置默认是storage,状态变量的数据位置强制是storage
- 另外还有第三种数据存储位置,calldata,这个是一块只读的,不会永久存储的位置,用来存储函数的参数。外部函数的参数(非返回函数)的数据位置会被强制指定为calldata,效果和memory差不多。
数据位置总结
强制
- 外部函数的参数(不包括返回的参数):calldata
- 状态变量:storage默认存储位置
可变
- 函数参数(包括返回参数):memory
- 引用类型的局部变量:storage,例,动态数组使用哈希表,要求很大的存储空间,遍历key和value是可能的,防止哈希碰撞。
- 值类型的局部变量:栈(stack)
特别要求
- 公开可见(publicly visible)的函数参数一定是memory类型,如果要求是storage类型,则必须是private或者internal函数。这个的目的是为了防止公开调用占用资源。
- memory和storage只要数据类型一致,就可以互相传数值。如果是memory传给storage,是对于数据的完整拷贝传过去,不是简简单单的引用。同样是storage,如果是状态变量就会改写原先内容,相当于拷贝,存储到永久性区间里面。如果是局部变量,不管对方是状态变量还是局部变量都是引用
例子
- 讲解
- 类型之间都是storage,那么就是引用,如果类型不同,就是复制然后操作。uint[] storage d是一个引用,相当于C语言中的指针,指向data1和data2
- 函数参数默认是memory,需要将其改成stroage类型
- 将public改成internal类型,防止公开调用,占用大量的资源
- 代码
pragma solidity ^0.4.0;
contract C{uint[] public data1;uint[] public data2;function append1() public {append(data1);}function append2() public {append(data2);}function append(uint[] storage d)internal{d.push(23);}
}
- 界面
纠错(1)
代码
pragma solidity ^0.4.0;
contract C{uint public a;uint[] public data;function f() public {uint[] storage x;x.push(2);data=x;}
}
界面
问题
-
a变成了一个计数器,这个是Solidity的缺陷,原因在于uint[] storage x;它是一个指针,如果没有赋值,默认指定合约地址的整个存储空间的0位置,也就是uint public a 的位置。
-
uint[] storage x,指向变量a。每次调用f函数,x 的长度就会增加,并且将存储的长度存储在变量a上,因此每次a的数值每次增加1.
-
如果修改代码如下
pragma solidity ^0.4.0;
contract C{uint public a=23;uint[] public data;function g(uint input)public{a = input;}function f() public {uint[] storage x;x.push(2);data=x;}
}
- 首先取a的值,为23,点击f函数,再点击a,得到a变成24,24之前的数据不可以访问,但是24是存储的2,由代码x.push(2)来完成。g函数也是一样的效果。
修正
- 给uint[] storage x;初始化指定默认位置,比如改成uint[] x = data;x.push(2);删除data = x;这一句