[솔리디티 입문] 9. 조건문

솔리디티에서 조건문은 특정 조건에 따라 코드의 실행 흐름을 제어하는 데 사용됩니다. 조건문을 사용하면 스마트 컨트랙트의 로직을 다양하게 구현할 수 있습니다. 이 글에서는 솔리디티의 if-else와 require를 포함한 조건문에 대해 알아봅시다.

if-else 문

if-else 문은 특정 조건이 참인지 거짓인지에 따라 다른 코드 블록을 실행합니다.

pragma solidity ^0.8.0;

contract IfElseExample {
    uint public value;

    function setValue(uint _value) public {
        if (_value > 100) {
            value = 100;
        } else {
            value = _value;
        }
    }
}

require 문

require 문은 특정 조건이 참인지 확인하고, 그렇지 않으면 에러를 발생시킵니다. 이는 스마트 컨트랙트의 논리적 오류를 방지하는 데 매우 유용합니다.

pragma solidity ^0.8.0;

contract RequireExample {
    uint public value;

    function setValue(uint _value) public {
        require(_value <= 100, "Value must be less than or equal to 100");
        value = _value;
    }
}

assert 문

assert 문은 require와 비슷하게 동작하지만, assert는 컨트랙트의 내부 오류를 검사하는데 사용됩니다. assert 실패는 솔리디티 컴파일러의 최적화가 올바르게 작동하지 않았음을 나타냅니다.

pragma solidity ^0.8.0;

contract AssertExample {
    uint public value;

    function setValue(uint _value) public {
        value = _value;
        assert(value == _value);
    }
}