Solidity的引用类型全解析

引用的本来语意

  • 引用类型,变量本身与变量指向的数据分离,赋值操作是引用拷贝,数据块不受影响
  • 通常的面向对象语言中的所有引用类型变量之间的赋值操作,都是引用拷贝
  • 这一点在Solidity的引用类型中不再成立,solidity的引用类型的变量之间可能发生值拷贝
    在这里插入图片描述

合约的成员变量的特殊性

与一般虚拟机或物理机不同的是,EVM的机器模型中引入了storage,合约成员变量指向固定的持久化(storage)数据块,它并不能像一般引用类型变量一样切换它所指向的数据块,由于这个限制,对成员变量的赋值,引用拷贝从技术上变成不可能
在这里插入图片描述

Location对数据空间的分割

数据块有三个存储位置(calldata,memory,storage),概念上存储空间被分割成三个子空间,引用类型变量被location属性限定,不可能跨域子空间进行指定切换,只能在子空间内部切换
在这里插入图片描述

判定算法(受上述两个原因的影响,编译检查)

一个赋值的操作:

X = a
其中x是被赋值的变量,在赋值操作赋的左侧,a是赋值变量,在赋值操作符的右侧

判定算法:

  • 如果x是成员变量,值拷贝,否则:
  • 如果x与a的location相同,引用拷贝,否则:值拷贝

Calldata的只读属性

  • Calldata的只读属性
  • 你无法向message数据体的calldata数据域中拷东西,正如你不能修改msg.sender或msg.value一样

Mapping不支持拷贝

  • 它不能遍历,没有遍历能力的技术原因在于mapping在storage中的存储方式。
  • 它不能进行值拷贝,因为拷贝就是一种搬运过程,搬运总是先能把东西找全。

检查算法(受上述两个原因的影响,编译检查)

判定算法有三个输出:

  • 引用拷贝,值拷贝。如果输出引用拷贝,不必检查;输出值拷贝,则执行检查算法

检查算法:

  • 检查x和a的类型中是否有mapping元素(它本身是mapping或者嵌入了mapping成分),如果有则出错
  • 检查x是否是calldata(指向的数据块是只可读的,不可改变),如果是则出错
  • 执行值拷贝

代码示例,注意看每行注释

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.9.0;

import "hardhat/console.sol";

contract LocalStorageVariable {
    int256[] data1;
    int256[] data2;

   
    function getData1()public view returns(int256[] memory){
        return data1;
    }
    function getData2()public view returns(int256[] memory){
        return data2;
    }

    function insertData1(int256 d)public{
        return data1.push(d);
    }
      function insertData2(int256 d)public{
        return data2.push(d);
    }
    
    function setData1ToData2()public{
        data1 = data2; // 判定算法第一条规则:如果x是成员变量,值拷贝。=》此时进行的是值拷贝,data1和data2再单独插入数据的时候,两组数据互不影响
    }

    function testSecondRule(int256[] calldata pd )public returns(int256[] memory){
        int256[] memory td;
        td = data1; // 判定算法第一条规则:如果x与a的location相同,引用拷贝,否则:值拷贝。=》值拷贝
        data1 = pd; // 值拷贝
        // pd = data1; // 根据判定算法是值拷贝,但是再根据检查算法:检查x是否是calldata(指向的数据块是只可读的,不可改变),如果是则出错 =》会报错
        // int256[] calldata cdt = pd; 根据判定算法第一条,是引用拷贝,则不需要进行检查算法 =》合法
        return td;
    }
}

  • 8
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值