WTF-Solidity 入门第八讲Solidity 变量初始值全解析 —— 默认值与delete操作符实战指南【免费下载链接】WTF-SolidityWTF Solidity 极简入门教程供小白们使用。Now supports English! 官网: https://wtf.academy项目地址: https://gitcode.com/GitHub_Trending/wt/WTF-Solidity本讲内容基于 WTF-Solidity 极简入门教程第 8 讲中文原版 08_InitialValue/readme.md 及西班牙语版 Languages/es/08_ValorInicial_es/readme.md编写。在 Solidity 中声明但未赋值的变量会自动获得其类型的初始值默认值理解这一机制是写出安全、可预期合约的基础。读完本讲你将完整掌握值类型、引用类型变量的默认初始值规则并能熟练使用delete操作符将任意变量一键恢复为初始状态同时学会在 Remix 中通过public变量的getter函数逐项验证这些行为。一、什么是变量初始值在 Solidity 中当你声明一个变量却没有给它赋值时编译器并不会让它处于未定义状态而是会为它赋予一个与该类型对应的默认初始值。这一点与许多高级语言如 JavaScript 中未初始化变量为undefined不同Solidity 中的变量永远有确定的值。从 EVM 的底层视角看合约的存储storage槽位默认是清零的因此凡是被声明而未显式赋值的状态变量最终都会收敛到该类型所表示的 0——布尔值就是false、数值就是0、地址就是零地址address(0)。本讲后续介绍的所有初始值本质上都是0 在该类型中的表现形式。二、值类型变量的初始值Solidity 中各类值类型变量的默认初始值如下表所示类型默认初始值说明booleanfalse布尔假string空字符串int0有符号整数 0uint0无符号整数 0enum枚举中的第一个元素即索引0对应的枚举项address0x0000000000000000000000000000000000000000即address(0)零地址functioninternal空白函数不执行任何逻辑的函数functionexternal空白函数不执行任何逻辑的函数对应的合约代码摘自 08_InitialValue/InitialValue.sol如下// SPDX-License-Identifier: MIT pragma solidity ^0.8.34; contract InitialValue { // 值类型 bool public _bool; // false string public _string; // int public _int; // 0 uint public _uint; // 0 address public _address; // 0x0000000000000000000000000000000000000000 enum ActionSet { Buy, Hold, Sell} ActionSet public _enum; // 第一个元素即索引 0 的 Buy function fi() internal{} // internal 空白函数 function fe() external{} // external 空白函数 }几个值得注意的细节枚举的初始值枚举类型ActionSet { Buy, Hold, Sell }声明后未赋值时其默认值是第一个元素Buy底层对应索引0。也就是说枚举的初始值不是随机一个成员而是始终收敛到0号成员。函数的初始值无论是internal还是external的函数类型变量初始值都是一个空白函数empty function调用它不会有任何实际行为。这也是0 值在函数类型上的体现。验证方式由于上述变量都被声明为publicSolidity 会自动为它们生成getter函数你可以直接在 Remix 的部署面板中点击对应按钮读取并确认每个变量的初始值。三、引用类型变量的初始值引用类型mapping、struct、array的初始值规则可以归纳为一句话其内部所有成员/元素都被设置为各自类型的默认值。具体表现如下类型默认初始值说明mapping所有元素均为其键/值类型的默认值例如mapping(uint address)的每个槽位值都是address(0)struct所有成员均设为其类型的默认值例如含两个uint256成员的 struct初始为(0, 0)动态数组uint[][]空数组长度为 0静态数组uint[8][0, 0, 0, 0, 0, 0, 0, 0]所有元素均为元素类型的默认值对应的合约代码继续阅读 08_InitialValue/InitialValue.sol// 引用类型 uint[8] public _staticArray; // 所有成员设为其默认值的静态数组 [0,0,0,0,0,0,0,0] uint[] public _dynamicArray; // [] mapping(uint address) public _mapping; // 所有元素都为其默认值的 mapping // 所有成员设为其默认值的结构体 0, 0 struct Student{ uint256 id; uint256 score; } Student public student;要点说明mapping无法遍历且不可见全部元素它的初始值体现在任何键查询到的值都是该值类型的默认值——例如上例中_mapping(0)、_mapping(1)查询结果均为0x0000...0000。静态数组与动态数组的初始值不同动态数组初始长度为0空数组[]而静态数组的长度在声明时已固定如uint[8]固定为 8 个元素其初始值为 8 个0。struct的初始值逐成员递归Student的id和score两个uint256成员初始都是0即(0, 0)。四、delete操作符一键恢复初始值delete是 Solidity 提供的一个特殊操作符语法为delete a其作用是把变量a的当前值替换为其类型的初始值。可以把它理解为重置变量。合约示例摘自 08_InitialValue/InitialValue.sol// delete 操作符 bool public _bool2 true; function d() external { delete _bool2; // delete 会让 _bool2 变为默认值即 false }上例中_bool2在声明时被显式赋值为true而一旦调用d()执行delete _bool2它的值就会被重置为false。delete对不同类型的重置效果归纳如下操作效果delete布尔/数值/地址重置为false/0/address(0)delete动态数组长度变为0成为空数组[]delete静态数组所有元素恢复为元素类型的默认值delete结构体所有成员恢复为各自类型的默认值delete枚举重置为第一个枚举元素索引 0delete映射映射中已存在的键值对被移除恢复到未写入的默认状态安全提示delete是一个会真实改变链上状态的写操作调用时需考虑 gas 成本尤其是对大数据量结构体或数组执行delete时需要为逐槽位清零支付存储 gas同时应结合本仓库安全专题如 S01_ReentrancyAttack的教训在涉及状态重置的业务逻辑中做好访问控制与重入防护。五、在 Remix 上验证实战步骤下面在 Remix IDE 中部署合约逐步验证上述初始值与delete行为。完整的可运行源码见 08_InitialValue/InitialValue.sol西班牙语注释版见 Languages/es/08_ValorInicial_es/InitialValue.sol。步骤 1编译并部署合约打开 Remix新建文件InitialValue.sol并粘贴上述完整合约代码选择^0.8.34及以上版本的编译器完成编译然后在部署与运行面板中部署InitialValue合约。步骤 2查看各变量的初始值部署完成后面板会为每个public变量自动生成对应的getter按钮。逐个点击即可读取到声明但未赋值变量的初始值——值类型_bool、_string、_int、_uint、_address、_enum与引用类型_staticArray、_dynamicArray、_mapping、student均显示为上文表格中的默认值步骤 3调用delete并验证重置效果点击d函数按钮或按上图中各delete对应函数执行delete _bool2随后再次读取_bool2可以看到它从true被重置为false若预先对_staticArray、student等写入数据执行delete后它们同样会恢复到各自的默认初始值通过以上三个步骤你可以直观地确认声明未赋值 → 默认初始值与delete → 恢复初始值这两条规则对值类型和引用类型都成立。六、仓库源码与多语言对照本讲内容在仓库中有完整的中、英、西等多语言实现便于对照学习中文版源码 08_InitialValue/InitialValue.sol、教程 08_InitialValue/readme.md另在 src/08_InitialValue 目录下也保留了该讲的镜像副本。西班牙语版源码 Languages/es/08_ValorInicial_es/InitialValue.sol、教程 Languages/es/08_ValorInicial_es/readme.md。英语版见 Languages/en/08_InitialValue_en。三份源码在合约逻辑上完全一致仅在注释语言上有所不同读者可以对照阅读同时巩固 Solidity 术语的双语表达。教程体系方面本讲属于 WTF-Solidity 基础部分建议结合前序的 07_Mapping映射与 06_ArrayAndStruct数组与结构体一起学习以理解引用类型的存储行为。七、小结本讲围绕变量初始值这一 Solidity 基础但关键的概念梳理了完整规则值类型bool→falsestring→int/uint→0enum→ 第一个元素索引 0address→address(0)函数类型 → 空白函数。引用类型mapping→ 所有元素均为默认值struct→ 所有成员均为默认值动态数组 →[]静态数组 → 所有元素均为默认值。核心结论变量被声明但没有赋值时其值默认为该类型的初始值本质上是0 在对应类型中的表现形式。delete操作符delete a可以把变量a的值删除并恢复为初始值是合约中常用的状态重置手段。掌握这些默认值规则能帮助你在阅读他人合约、编写初始化逻辑以及排查变量为什么是这个值的问题时更加得心应手也是后续学习存储布局、代理合约升级等高级主题的必备基础。【免费下载链接】WTF-SolidityWTF Solidity 极简入门教程供小白们使用。Now supports English! 官网: https://wtf.academy项目地址: https://gitcode.com/GitHub_Trending/wt/WTF-Solidity创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考