solidity/docs/units-and-global-variables.rst

209 lines
10 KiB
ReStructuredText
Raw Normal View History

2015-12-07 20:16:25 +00:00
**************************************
Units and Globally Available Variables
**************************************
.. index:: wei, finney, szabo, ether
Ether Units
===========
A literal number can take a suffix of ``wei``, ``finney``, ``szabo`` or ``ether`` to convert between the subdenominations of Ether, where Ether currency numbers without a postfix are assumed to be Wei, e.g. ``2 ether == 2000 finney`` evaluates to ``true``.
2015-12-07 20:16:25 +00:00
.. index:: time, seconds, minutes, hours, days, weeks, years
Time Units
==========
Suffixes like ``seconds``, ``minutes``, ``hours``, ``days``, ``weeks`` and
2016-06-20 14:16:10 +00:00
``years`` after literal numbers can be used to convert between units of time where seconds are the base
2015-12-07 20:16:25 +00:00
unit and units are considered naively in the following way:
2016-08-29 19:47:31 +00:00
* ``1 == 1 seconds``
* ``1 minutes == 60 seconds``
* ``1 hours == 60 minutes``
* ``1 days == 24 hours``
* ``1 weeks == 7 days``
* ``1 years == 365 days``
2015-12-07 20:16:25 +00:00
Take care if you perform calendar calculations using these units, because
not every year equals 365 days and not even every day has 24 hours
because of `leap seconds <https://en.wikipedia.org/wiki/Leap_second>`_.
Due to the fact that leap seconds cannot be predicted, an exact calendar
library has to be updated by an external oracle.
2018-05-02 14:24:19 +00:00
.. note::
The suffix ``years`` has been deprecated due to the reasons above and cannot be used starting version 0.5.0.
2018-05-02 14:24:19 +00:00
2015-12-07 20:16:25 +00:00
These suffixes cannot be applied to variables. If you want to
interpret some input variable in e.g. days, you can do it in the following way::
2017-12-12 18:47:30 +00:00
function f(uint start, uint daysAfter) public {
2017-07-26 13:44:15 +00:00
if (now >= start + daysAfter * 1 days) {
// ...
}
2015-12-07 20:16:25 +00:00
}
Special Variables and Functions
===============================
There are special variables and functions which always exist in the global
2018-04-13 16:36:33 +00:00
namespace and are mainly used to provide information about the blockchain
or are general-use utility functions.
2015-12-07 20:16:25 +00:00
2018-04-13 16:36:33 +00:00
.. index:: abi, block, coinbase, difficulty, encode, number, block;number, timestamp, block;timestamp, msg, data, gas, sender, value, now, gas price, origin
2015-12-07 20:16:25 +00:00
Block and Transaction Properties
2016-05-25 14:14:57 +00:00
--------------------------------
2015-12-07 20:16:25 +00:00
2018-03-05 18:24:51 +00:00
- ``block.blockhash(uint blockNumber) returns (bytes32)``: hash of the given block - only works for 256 most recent, excluding current, blocks - deprecated in version 0.4.22 and replaced by ``blockhash(uint blockNumber)``.
2016-05-25 14:32:53 +00:00
- ``block.coinbase`` (``address``): current block miner's address
- ``block.difficulty`` (``uint``): current block difficulty
- ``block.gaslimit`` (``uint``): current block gaslimit
- ``block.number`` (``uint``): current block number
2017-05-13 05:13:45 +00:00
- ``block.timestamp`` (``uint``): current block timestamp as seconds since unix epoch
- ``gasleft() returns (uint256)``: remaining gas
2016-05-25 14:32:53 +00:00
- ``msg.data`` (``bytes``): complete calldata
- ``msg.gas`` (``uint``): remaining gas - deprecated in version 0.4.21 and to be replaced by ``gasleft()``
2016-05-25 14:32:53 +00:00
- ``msg.sender`` (``address``): sender of the message (current call)
- ``msg.sig`` (``bytes4``): first four bytes of the calldata (i.e. function identifier)
- ``msg.value`` (``uint``): number of wei sent with the message
- ``now`` (``uint``): current block timestamp (alias for ``block.timestamp``)
- ``tx.gasprice`` (``uint``): gas price of the transaction
- ``tx.origin`` (``address``): sender of the transaction (full call chain)
2015-12-07 20:16:25 +00:00
.. note::
The values of all members of ``msg``, including ``msg.sender`` and
``msg.value`` can change for every **external** function call.
2015-12-07 20:16:25 +00:00
This includes calls to library functions.
.. note::
2018-03-05 18:24:51 +00:00
Do not rely on ``block.timestamp``, ``now`` and ``blockhash`` as a source of randomness,
unless you know what you are doing.
Both the timestamp and the block hash can be influenced by miners to some degree.
Bad actors in the mining community can for example run a casino payout function on a chosen hash
and just retry a different hash if they did not receive any money.
The current block timestamp must be strictly larger than the timestamp of the last block,
but the only guarantee is that it will be somewhere between the timestamps of two
consecutive blocks in the canonical chain.
2015-12-07 20:16:25 +00:00
.. note::
The block hashes are not available for all blocks for scalability reasons.
You can only access the hashes of the most recent 256 blocks, all other
values will be zero.
2018-04-13 16:36:33 +00:00
.. index:: abi, encoding, packed
ABI Encoding Functions
----------------------
- ``abi.encode(...) returns (bytes)``: ABI-encodes the given arguments
- ``abi.encodePacked(...) returns (bytes)``: Performs :ref:`packed encoding <abi_packed_mode>` of the given arguments
2018-04-13 16:36:33 +00:00
- ``abi.encodeWithSelector(bytes4 selector, ...) returns (bytes)``: ABI-encodes the given arguments
starting from the second and prepends the given four-byte selector
2018-06-13 15:49:41 +00:00
- ``abi.encodeWithSignature(string signature, ...) returns (bytes)``: Equivalent to ``abi.encodeWithSelector(bytes4(keccak256(bytes(signature)), ...)```
2018-04-13 16:36:33 +00:00
.. note::
These encoding functions can be used to craft data for function calls without actually
2018-06-13 15:49:41 +00:00
calling a function. Furthermore, ``keccak256(abi.encodePacked(a, b))`` is a way
to compute the hash of structured data (although be aware that it is possible to
craft a "hash collision" using different inputs types).
2018-04-13 16:36:33 +00:00
See the documentation about the :ref:`ABI <ABI>` and the
:ref:`tightly packed encoding <abi_packed_mode>` for details about the encoding.
2017-06-15 16:36:16 +00:00
.. index:: assert, revert, require
Error Handling
--------------
``assert(bool condition)``:
2018-05-07 09:44:37 +00:00
invalidates the transaction if the condition is not met - to be used for internal errors.
2017-06-15 16:36:16 +00:00
``require(bool condition)``:
2018-05-07 09:44:37 +00:00
reverts if the condition is not met - to be used for errors in inputs or external components.
2018-01-03 14:30:01 +00:00
``require(bool condition, string message)``:
2018-05-07 09:44:37 +00:00
reverts if the condition is not met - to be used for errors in inputs or external components. Also provides an error message.
2017-06-15 16:36:16 +00:00
``revert()``:
abort execution and revert state changes
``revert(string reason)``:
abort execution and revert state changes, providing an explanatory string
2017-06-15 16:36:16 +00:00
.. index:: keccak256, ripemd160, sha256, ecrecover, addmod, mulmod, cryptography,
2015-12-07 20:16:25 +00:00
Mathematical and Cryptographic Functions
----------------------------------------
``addmod(uint x, uint y, uint k) returns (uint)``:
compute ``(x + y) % k`` where the addition is performed with arbitrary precision and does not wrap around at ``2**256``. Assert that ``k != 0`` starting from version 0.5.0.
``mulmod(uint x, uint y, uint k) returns (uint)``:
compute ``(x * y) % k`` where the multiplication is performed with arbitrary precision and does not wrap around at ``2**256``. Assert that ``k != 0`` starting from version 0.5.0.
2018-06-13 15:49:41 +00:00
``keccak256(bytes memory) returns (bytes32)``:
compute the Ethereum-SHA-3 (Keccak-256) hash of the input
``sha256(bytes memory) returns (bytes32)``:
compute the SHA-256 hash of the input
``sha3(bytes memory) returns (bytes32)``:
2017-07-26 13:44:15 +00:00
alias to ``keccak256``
2018-06-13 15:49:41 +00:00
``ripemd160(bytes memory) returns (bytes20)``:
compute RIPEMD-160 hash of the input
2016-05-25 14:52:11 +00:00
``ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) returns (address)``:
recover the address associated with the public key from elliptic curve signature or return zero on error
2017-04-21 09:42:31 +00:00
(`example usage <https://ethereum.stackexchange.com/q/1777/222>`_)
2015-12-07 20:16:25 +00:00
It might be that you run into Out-of-Gas for ``sha256``, ``ripemd160`` or ``ecrecover`` on a *private blockchain*. The reason for this is that those are implemented as so-called precompiled contracts and these contracts only really exist after they received the first message (although their contract code is hardcoded). Messages to non-existing contracts are more expensive and thus the execution runs into an Out-of-Gas error. A workaround for this problem is to first send e.g. 1 Wei to each of the contracts before you use them in your actual contracts. This is not an issue on the official or test net.
2015-12-07 20:16:25 +00:00
2017-06-15 16:36:16 +00:00
.. index:: balance, send, transfer, call, callcode, delegatecall
2017-06-16 13:52:56 +00:00
.. _address_related:
Address Related
---------------
``<address>.balance`` (``uint256``):
2016-06-02 13:13:27 +00:00
balance of the :ref:`address` in Wei
2017-02-08 23:37:23 +00:00
``<address>.transfer(uint256 amount)``:
send given amount of Wei to :ref:`address`, throws on failure, forwards 2300 gas stipend, not adjustable
``<address>.send(uint256 amount) returns (bool)``:
send given amount of Wei to :ref:`address`, returns ``false`` on failure, forwards 2300 gas stipend, not adjustable
2018-06-13 15:49:41 +00:00
``<address>.call(bytes memory) returns (bool)``:
issue low-level ``CALL`` with the given payload, returns ``false`` on failure, forwards all available gas, adjustable
``<address>.callcode(bytes memory) returns (bool)``:
issue low-level ``CALLCODE`` with the given payload, returns ``false`` on failure, forwards all available gas, adjustable
``<address>.delegatecall(bytes memory) returns (bool)``:
issue low-level ``DELEGATECALL`` with the given payload, returns ``false`` on failure, forwards all available gas, adjustable
For more information, see the section on :ref:`address`.
.. warning::
2016-06-02 13:14:53 +00:00
There are some dangers in using ``send``: The transfer fails if the call stack depth is at 1024
(this can always be forced by the caller) and it also fails if the recipient runs out of gas. So in order
to make safe Ether transfers, always check the return value of ``send``, use ``transfer`` or even better:
Use a pattern where the recipient withdraws the money.
.. note::
If storage variables are accessed via a low-level delegatecall, the storage layout of the two contracts
must align in order for the called contract to correctly access the storage variables of the calling contract by name.
This is of course not the case if storage pointers are passed as function arguments as in the case for
the high-level libraries.
2017-07-26 11:20:38 +00:00
.. note::
The use of ``callcode`` is discouraged and will be removed in the future.
2015-12-07 20:16:25 +00:00
.. index:: this, selfdestruct
Contract Related
----------------
``this`` (current contract's type):
the current contract, explicitly convertible to :ref:`address`
2016-05-18 15:35:00 +00:00
2016-05-25 14:52:11 +00:00
``selfdestruct(address recipient)``:
destroy the current contract, sending its funds to the given :ref:`address`
2015-12-07 20:16:25 +00:00
2017-07-27 09:03:06 +00:00
``suicide(address recipient)``:
deprecated alias to ``selfdestruct``
2017-07-26 13:44:15 +00:00
2015-12-07 20:16:25 +00:00
Furthermore, all functions of the current contract are callable directly including the current function.