function test1() public {
128位元素: 意思是一个元素占用128位空间
…
function setUser(uint8[10] memory users, uint index, uint8 ev)
function setUser(uint n, uint user) private {
function set(uint va, uint index, uint ev) internal pure
// 雷同 va[0] = ‘c’; 的成果
return (va >> (bits * index)) & max;
范例 范例名 描写
显然，bool数组的gas耗损很显著
import “bytes32lib.sol”;
uint16[16] uint16a16 16个16位元素的值数组
大概的牢靠长度值数组
可用整型: https://learnblockchain.cn/docs/solidity/types.html#integers
}
require(bs[0] == ‘h’);
[3]
利用单个值而不是复制数组显然会耗损更少的gas。
bool与1bit 在存储中的 gas耗损 比拟
[7]
参考资料
uint users_u8a32;
在 Solidity 中，数组凡是是引用范例。这意味着每当在措施中碰着变量标记时，城市利用指向数组的指针，不外也有一些破例环境会生成一个拷贝（参考文档-引用范例[3]）。在以下代码中，将10个元素的 8位uint users 的数组通报给setUser函数，该函数配置users数组中的一个元素：
这是沟通的代码，但为了叙述该问题，变量名称包括了数据范例：
请留意，在函数返回之后，函数的users参数将保持稳定，因为它是通过值通报的，为了得到变动后的值，需要将函数返回值赋值给users变量。
uint6[42] uint6a42 42个6位元素的值数组
uint64[4] uint64a4 4个64位元素的值数组
}
…
contract MyContract {
}
尚有更多牢靠长度值数组
接头
uint va;
va = va.set(1, 0x34);
import “uint8a32.sol”;
}
uint roles_u16a16;
函数返回后，users数组元素将被变动。
}
uint roles; // uint16a16
index *= bits;
uint32[8] uint32a8 8个32位元素的值数组
在这里，我们较量了在EVM内存中利用牢靠长度的uint8 []数组与uint8a32值数组的环境：
// 想实现的是: users = users.set(n, user);
编写了库和合约后，我们利用在此文[10]中先容的技能丈量了gas耗损。功效如下：不消奇怪，在内存中gas耗损可以忽略不计，而存储中，gas耗损是庞大的，尤其是第一次用非零值（大蓝色块）写入存储位置时。随后利用该存储位置耗损的gas要少得多。
假如你发明牢靠长度的值数组很有用，那么你还可以思量牢靠长度的多值数组、动态值数组、值行列、值仓库等。
较量值数组与引用数组
还需要小心在正确的变量上利用正确的值数组范例。
import “uint16a16.sol”;
}
bytes32 bs = “hello”;
bs[0] = ‘c’; // 不行以实现
是的，，我们可以利用值数组淘汰存储空间和gas耗损。
沟通的较量在EVM存储中：制止赋值
[8]
contract MyContract {
文档-引用范例: https://learnblockchain.cn/docs/solidity/types.html#reference-types
[9]
import “uint16a16.sol”;
import “uint8a32.sol”;
function setUser(uint n, uint user) private {
…
在Solidity呆板字长为256位（32字节），我们可以思量以下大概的值数组。
}
以下是在EVM存储中较量gas 耗损：}
无法存储变量: https://solidity.readthedocs.io/en/latest/contracts.html#libraries
…
va = va.set(31, 0xF7);
library uint8a32 { // 等效于 uint8[32]
uint constant bits = 8;
}
当数组被复制时，譬喻智能合约或库参数，值数组将始终耗损少得多的gas。
牢靠长度值数组
令人惊奇的是，uint8a32 值数组耗损的gas只有牢靠长度数组uint8[32] 的一半阁下。而uint8[16]和uint8[4]相应的gas耗损更低。这是因为值数组代码必需读取和写入值才气配置元素值，而uint8[]只需写入值。
引用数组（Reference Array）
contract TestUint8a32 {
returns (uint) {
通过编译器的using for 指令，因此可以在变量上直接利用. 语法来挪用set()函数。可是在你的智能合约需要多种差异的值数组范例的环境下，由于名称空间斗嘴（可能需要每种范例利用各自特命名称的函数），这需要利用显式库名点暗示法来会见函数：
uint8[32] uint8a32 32个8位元素的值数组
以太坊虚拟机（EVM）: https://learnblockchain.cn/2019/04/09/easy-evm
在EVM内存中，牢靠长度的bool[]数组与uint1a256值数组的gas比拟： require(value < range);
// 确保 bits * elements <= 256
require(va[0] == ‘c’);
这里: https://en.wikipedia.org/wiki/Arithmetic_coding
也提出了如牢靠长度的多值数组，动态值数组，值行列，值仓库等其他大概性。
[6]
Gas 耗损比拟
[10]
function set(bytes32 va, uint index, byte ev) internal pure
require(users[5] == 123);
我发起利用如上所示的范例名，这在本文中城市用到，可是你大概会找到一个更好的定名约定。
import “uint8a32.sol”;
uint4[64] uint4a64 64个4位元素的值数组
require(index < elements);
bytes32 值数组
}roles = uint16a16.set(roles, n, role);
return bytes32((uint(va) & ~(0x0FF << index)) |
returns (uint) {
function setRole(uint n, uint role) private {
require(index < elements);
uint7[36] uint7a36 36个7位元素的值数组
uint8[10] memory users;
users_u8a32 = uint8a32.set(users_u8a32, n, user);
让我们利用Solidity的 using for[6] 导入库的方法为bytes32范例添加新本领：
require(va.get(0) == 0x12, “va[0] not 0x12”);
}
[1]
在这里，与利用uint8[Y]对比，每个uint8a32 set() 函数耗损的gas轮回少几百个。uint8 [32]，uint8 [16]和uint8 [4]的gas 耗损量沟通，因为它们利用沟通数量的EVM存储空间（一个32字节的插槽）。
实际上，尚有更多大概的值数组。我们还可以思量与Solidity可用范例不匹配的范例，对付特定办理方案大概有用。X（值的位数）乘以Y（元素个数）必需小于便是256：
using uint8a32 for uint;
uint1a256 值数组
require(va.get(31) == 0xF7, “va[31] not 0xF7”);
bool [256]和bool [64] 利用2个存储插槽，因此gas 耗损相似。bool [32]和uint1a256仅利用一个存储插槽。
作为合约和库的参数Solidity支持内存（memory）中的分派数组，这些数组会很挥霍空间（参考 文档[1]），而存储（storage）中的数组则会耗损大量的gas来分派和会见存储。可是Solidity所运行的虚拟机（EVM）[2]有一个256位（32字节）呆板字长。正是后一个特性使我们可以或许思量利用值数组（Value Array）。在呆板字长的语言中，譬喻32位（4字节），值数组（Value Array）不太大概实用。
uint constant range = 1 << bits;
uint constant elements = 32;
function setUser(uint users, uint index, uint ev) public pure
让我们导入该库并测试它：
不消奇怪，最大的gas耗损是为合约或库函数提供数组参数。
uintX[Y] uintXaY X * Y <= 256
function test1() public pure {
配景
…
}
更多牢靠长度值数组
(uint(uint8(ev)) << index));
bytes32 bs = “hello”;
va = va.set(0, 0x12);
// 想实现的是: roles = roles.set(n, role);
uint users;
假如我们提供一个利用1个元素的数组的函数，则实际上有大概制止利用set()函数的返回值赋值。可是，由于此技能利用更多的内存，代码和巨大性，因此抵消了利用值数组的大概优势。
Solidity 在 bytesX（X=1..32）范例中提供了一个部门值数组。这些字节元素可以利用数组方法会见单独读取，譬喻：
尚有更多大概的值数组。以上是最有效的值数组范例，因为它们有效地映射到EVM字长中的位。在上面的值数组范例中，X暗示元素所占用的位数。
这些是以些Solidity可用整型[7]匹配的牢靠长度的值数组：
require(index < elements);
我已经提供用于写入Solidity bytes32变量的代码，以及用于uintX [Y]值数组的通用库代码。
users = setUser(users, 5, 12345);
// get 函数
}
[4]
让我们测试一下上面的示例库代码：
文档: https://learnblockchain.cn/docs/solidity/types.html#arrays
…
值数组（Value Arrays）
}
return (va & ~(max << index)) | (ev << index);
}
在这里，你可以清楚地看到set()函数的返回值被分派回参数变量。假如缺少赋值，则变量将保持稳定，require()就是来验证它。
结论
uint10[25] uint10a25 25个10位元素的值数组
这个库提供了set()函数，它答允挪用者将bytes32变量中的任何字节配置为想要的字节值。按照你的需求，你大概但愿为你利用的其他bytesX范例生成雷同的库。
假如你的Solidity智能合约利用较小值的小数组（譬喻用户ID，脚色等），则利用值数组大概会耗损更少的gas。
// uint8a32.sol
function get(uint va, uint index) internal pure returns (uint) {
可以揣度出，只需复制上面给出的uint8a32库代码，然后变动bits和elements常量，即可用于其他uintXaY值数组范例。
contract TestValueArray {
setUser(users, 5, 123);
require(va[0] == ‘h’);
更多牢靠长度值数组
contract TestBytes32 {
Solidity 今朝的版本: https://learnblockchain.cn/docs/solidity/types.html#index-7
将bool/1bit参数通报给合约或库的gas耗损
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
