儲存中狀態變數的佈局(Layout of State Variables in Storage)

靜態尺寸大小的變數（除了對映和動態尺寸大小的陣列型別（的其他型別變數））在儲存中，是從位置0連續儲存。如果可能的話，不足32個位元組的多個條目被緊湊排列在一個單一的儲存塊，參見以下規則：

• 在儲存塊中的第一項是儲存低階對齊的。
• 基本型別只使用了正好儲存它們的位元組數。
• 如果一個基本型別不適合儲存塊的剩餘部分，則移動到下一個儲存塊中。
• 結構和陣列的資料總是開始一個新的塊並且佔整個塊（根據這些規則，結構或陣列項都是緊湊排列的）。

結構和陣列元素是一個接著一個儲存排列的，就如當初它們被宣告的次序。

由於無法預知的分配的大小，對映和動態尺寸大小的陣列型別（這兩種型別）是使用sha3 計算來找到新的起始位置，來存放值或者陣列資料。這些起始位置總是滿棧塊。

根據上述規則，對映或動態陣列本身存放在（沒有填滿）的儲存塊位置p（或從對映到對映或陣列遞回應用此規則）。對於一個動態陣列，儲存塊儲存了陣列元素的數目（位元組陣列和字串是一個例外，見下文）。對於對映，儲存塊是未使用的（但它是需要的，因此，前後相鄰的兩個相同的對映，將使用一個不同的hash分佈）。陣列資料位於keccak256(p)， 對應於一個對映key值k位於keccak256(k . p)（這裡 . 是連線符）。如果該值又是一個非基本型別，位置的偏移量是keccak256(k . p)。

如果bytes 和 string是短型別的，它們將和其長度儲存在同一個儲存塊裡。特別是：如果資料最長31位元組，它被儲存在高階位元組（左對齊）, 低位元組儲存length * 2。 如果是長型別，主儲存塊儲存 length * 2 + 1, 資料儲存在keccak256(slot)。

因此，本合約片段如下：

pragma solidity ^0.4.0;

contract C {
  struct s { uint a; uint b; }
  uint x;
  mapping(uint => mapping(uint => s)) data;
}