solidity数据位置-memory，storage和calldata

有三种类型，memory，storage和calldata，一般只有外部函数的参数（不包括返回参数）被强制指定为calldata。这种数据位置是只读的，不会持久化到区块链

storage存储或memory内存
memory存储位置同我们普通程序的内存类似，即分配，即使用，动态分配，越过作用域即不可被访问，等待被回收。
而对于storage的变量，数据将永远存在于区块链上。

总结¶
强制指定的数据位置：
   •   外部函数的参数（不包括返回参数）： calldata，效果跟 memory 差不多
   •   状态变量： storage
默认数据位置：
   •   函数参数（包括返回参数）： memory
   •   所有其它局部变量： storage

下面举例说明赋值行为：

1.memory = storage （值传递，互不影响）

pragma solidity ^0.4.24;

contract Person {

    int public _age;

    constructor (int age) public {
      _age = age;
    }

    function f() public view{
      modifyAge(_age);
    }

    function modifyAge(int age) public pure{
      age = 100;
    }
}

在这里一开始deploy合约时，传入的age值为30，此时_age的值为30

然后运行f()函数，在这里使用了为storage类型的_age作为函数modifyAge的参数，相当于创建了一个临时变量age（memory类型），将storage类型的变量_age赋值给memory类型的变量age，是值传递，所以在modifyAge函数中，age变量的值的变化并不会影响到_age变量的值

所以再查看_age的值，还是为30

2.storage = memory

当storage是状态变量（即全局变量时），为值传递

当storage为局部变量时，该赋值会出错，解决方法是将storage的局部变量声明为memory即可

1）当storage为局部变量时：

如下面的例子：

pragma solidity ^0.4.24;

contract Person {

    string public  _name;

    constructor() public {
        _name = "liyuechun";
    }

    function f() public view{

        modifyName(_name);
    }

    function modifyName(string name) public pure{

        string memory name1 = name;
        bytes(name1)[0] = 'L';
    }
}

调用f()函数，将storage类型的状态变量_name作为参数赋值给函数modifyName(string) memory类型的name形参，为memory = storage，为值传递

然后在函数modifyName(string)中，还将memory类型的name形参赋值给memory类型的name1局部变量，memory = memory，为引用传递，改变一个另一个也跟着改变，但是因为先是进行了值传递，name与_name之间已经互不影响了，所以不会跟着改变_name

2）当storage为状态变量时：

pragma solidity ^0.4.24;

contract Person {

    string public  _name;
    string public changedName;

    constructor() public {
        _name = "liyuechun";
    }

    function f() public{//不能在声明为view

        modifyName(_name);
    }

    function modifyName(string name) public{//不能在声明为view

        changedName = name;
        bytes(name)[0] = 'L';
    }
}

warning：function declared as view,but this expression(potentially) modifies the state and thus requires non-payable(the default) or payable.

因为函数modifyName(string)改变了值changedName的状态，所以不能声明为view了

调用f()函数，将storage类型的状态变量_name作为参数赋值给函数modifyName(string) memory类型的name形参，为memory = storage，为值传递

然后memory类型的name形参赋值给storage类型的状态变量changedName，storage = memory，为值传递，因此name的值的改变不会导致changedName的值的改变，更不要说_name了

调用f()后为：

3.storage = storage

是引用传递，所以一个值的变化一定会导致另一个值的变化

pragma solidity ^0.4.24;

contract Person {

    string public  _name;

    constructor() public {
        _name = "liyuechun";
    }

    function f() public{

        modifyName(_name);
    }

    function modifyName(string storage name) internal {

        string storage name1 = name;
        bytes(name1)[0] = 'L';
    }
}

⚠️：如果modifyName(string)函数不声明为internal会报错：

TypeError：Location has to be memory for publicly visible functions(remove the "storage" keyword)

这是因为形参是默认为memory类型的，这里声明为storage，那么函数的类型就必须声明为internal或者private

调用f()函数，首先会将为storage类型的_name变量赋值给modifyName(string)函数storage类型的name形参，storage = storage，为引用传递

然后在modifyName(string)函数中，将storage类型的name变量赋值给storage类型的name1变量，storage = storage，为引用传递

都为引用传递，所以最后name1值的变化会导致_name的值的变化

调用f()后：

其实在这里如果将modifyName(string)函数改成如下，也是能够成功的，因为其实没必要进行两次引用传递：

    function modifyName(string storage name) internal {

        bytes(name)[0] = 'L';
    }

4.memory = memory

是引用传递，所以一个值的变化一定会导致另一个值的变化

pragma solidity ^0.4.24;

contract Person {

    function modifyName(string name) public pure returns(string){

        string memory name1 = name;
        bytes(name1)[0] = 'L';
        return name;
    }
}

这里调用modifyName(string)函数，将memory类型的形参赋值给memory类型的局部变量name1，memory = memory，为引用传递

这时候改变name1的值，从return 的name可以看到，它的值也随之改变

solidity数据位置-memory，storage和calldata

猜你喜欢