Ethereum(48) - オーバーフロー③（改善編）

前回オーバーフローが発生したソースを修正します。

ソースコード（改善１）

前回の動作確認では、在庫数（stockQuantity）を追加しているにも関わらず、オーバーフローが発生したため在庫数が減ってしまっていました。

そこで在庫追加後の数が元の在庫数を超えることを確認して、オーバーフローを防いでみます。

[ソースコード]

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
pragma solidity ^0.4.11;
contract MarketPlaceOverflow {
    address public owner;
    uint8 public stockQuantity;    // 在庫数

    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }

    /// 追加在庫数を表示するイベント
    event AddStock(uint8 _addedQuantity);
            
    /// コンストラクタ
    function MarketPlaceOverflow() {
        owner = msg.sender;
        stockQuantity = 100;
    }

    /// 在庫の追加処理
    function addStock(uint8 _addedQuantity) public onlyOwner {
        // オーバーフローチェック
        require(stockQuantity + _addedQuantity > stockQuantity);    // 改善１

        AddStock(_addedQuantity);
        stockQuantity += _addedQuantity;
    }
}

23行目で追加後の在庫数が現在の在庫数より大きいことをチェックしています。

次回はこの改善でオーバーフローが解消しているかどうかの確認してみます。