Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

Solidity单元和全局变量

mark7914
177 0 0
|ether| 单位; ]0 K! Z5 G( Z* u8 R& V
|ether| 单位之间的换算就是在数字后边加上 wei、 finney、 szabo 或 ether 来实现的,如果后面没有单位,缺省为 Wei。例如 2 ether == 2000 finney 的逻辑判断值为 true。
# w$ A1 \: Z. v时间单位- l- o  }* Z% k
秒是缺省时间单位,在时间单位之间,数字后面带有 seconds、 minutes、 hours、 days、 weeks 和 years 的可以进行换算,基本换算关系如下:
' `/ f" ^! y4 U& ~2 \
  • 1 == 1 seconds
  • 1 minutes == 60 seconds
  • 1 hours == 60 minutes
  • 1 days == 24 hours
  • 1 weeks == 7 days
  • 1 years == 365 days2 S6 g4 j9 L8 S; t; y' i" M
    - m& e, Z* N& r9 U8 D3 \  ^/ O
    由于闰秒造成的每年不都是 365 天、每天不都是 24 小时 leap seconds <https://en.wikipedia.org/wiki/Leap_second>_,所以如果你要使用这些单位计算日期和时间,请注意这个问题。因为闰秒是无法预测的,所以需要借助外部的预言机(oracle,是一种链外数据服务,译者注)来对一个确定的日期代码库进行时间矫正。" D, ]  G( A. I: }0 P7 B
    … note::+ K$ M' n. h- L7 c/ X  C
    years 后缀已经不推荐使用了,因为从 0.5.0 版本开始将不再支持。
    & k5 f- @3 R& k, |这些后缀不能直接用在变量后边。如果想用时间单位(例如 days)来将输入变量换算为时间,你可以用如下方式来完成:
    # A3 S; Z( R& G( V; Tfunction f(uint start, uint daysAfter) public {4 Z5 O" P$ @; d5 `2 T5 F( Z9 {% j
        if (now >= start + daysAfter * 1 days) {$ @% Y! k( Z/ S& H
            // ...* x* ?! |* n* H4 B5 t
        }
    - C$ j: i5 _8 x. H8 e}6 Y% O2 K* ^2 q+ K
    特殊变量和函数3 K( U8 b" A" p5 d: c: q* B
    在全局命名空间中已经存在了(预设了)一些特殊的变量和函数,他们主要用来提供关于区块链的信息或一些通用的工具函数。: v, S5 _) Q8 M+ s2 o3 F) A5 n
    区块和交易属性) Y" b: f: J3 i, n
  • block.blockhash(uint blockNumber) returns (bytes32):指定区块的区块哈希——仅可用于最新的 256 个区块且不包括当前区块;而 blocks 从 0.4.22 版本开始已经不推荐使用,由 blockhash(uint blockNumber) 代替
  • block.coinbase (address): 挖出当前区块的矿工地址
  • block.difficulty (uint): 当前区块难度
  • block.gaslimit (uint): 当前区块 gas 限额
  • block.number (uint): 当前区块号
  • block.timestamp (uint): 自 unix epoch 起始当前区块以秒计的时间戳
  • gasleft() returns (uint256):剩余的 gas
  • msg.data (bytes): 完整的 calldata
  • msg.gas (uint): 剩余 gas - 自 0.4.21 版本开始已经不推荐使用,由 gesleft() 代替
  • msg.sender (address): 消息发送者(当前调用)
  • msg.sig (bytes4): calldata 的前 4 字节(也就是函数标识符)
  • msg.value (uint): 随消息发送的 wei 的数量
  • now (uint): 目前区块时间戳(block.timestamp)
  • tx.gasprice (uint): 交易的 gas 价格
  • tx.origin (address): 交易发起者(完全的调用链)$ q# e- k% x- I# ~( B3 O

    6 c8 O& U8 [0 m… note::' U' O; |# @8 O9 `* E5 v
    对于每一个外部函数调用,包括 msg.sender 和 msg.value 在内所有 msg 成员的值都会变化。这里包括对库函数的调用。
    " X# \; ^2 v/ h5 D! s… note::
    9 Z, \: x' O) Y/ L, z不要依赖 block.timestamp、 now 和 blockhash 产生随机数,除非你知道自己在做什么。- a( f1 L+ I9 q. D4 F$ ?' m4 Q
    时间戳和区块哈希在一定程度上都可能受到挖矿矿工影响。例如,挖矿社区中的恶意矿工可以用某个给定的哈希来运行赌场合约的 payout 函数,而如果他们没收到钱,还可以用一个不同的哈希重新尝试。
    ' p, ~$ f  a) _% S当前区块的时间戳必须严格大于最后一个区块的时间戳,但这里唯一能确保的只是它会是在权威链上的两个连续区块的时间戳之间的数值。
    # `1 j0 {/ k; ?7 x… note::4 u& H9 c# x6 n6 N$ n' _/ d
    基于可扩展因素,区块哈希不是对所有区块都有效。你仅仅可以访问最近 256 个区块的哈希,其余的哈希均为零。; G" N! B9 k) D) F" A/ c$ z
    ABI 编码函数
      Q4 Z+ M( p! p3 T' j
  • abi.encode(...) returns (bytes): :ref:ABI <ABI> - 对给定参数进行编码
  • abi.encodePacked(...) returns (bytes):对给定参数执行 :ref:紧打包编码 <abi_packed_mode>
  • abi.encodeWithSelector(bytes4 selector, ...) returns (bytes): :ref:ABI <ABI> - 对给定参数进行编码,并以给定的函数选择器作为起始的 4 字节数据一起返回
  • abi.encodeWithSignature(string signature, ...) returns (bytes):等价于 abi.encodeWithSelector(bytes4(keccak256(signature), ...)
    ! A# L$ ~& p; N5 ~, v& T" a
    / Q( j7 c& b2 C' V- _
    … note::2 R+ E. G0 q* k, V
    这些编码函数可以用来构造函数调用数据,而不用实际进行调用。此外,keccak256(abi.encodePacked(a, b)) 是更准确的方法来计算在未来版本不推荐使用的 keccak256(a, b)。
    7 J- X0 C( V. i! `- r更多详情请参考 :ref:ABI <ABI> 和 :ref:紧打包编码 <abi_packed_mode>。
    ; P0 T2 [) ^1 p错误处理
    8 y3 r0 ]# u) @assert(bool condition):) d* |& p* N2 ^" f6 n$ \
    如果条件不满足,则使当前交易没有效果 — 用于检查内部错误。
    ! i4 L- w2 w8 ^) irequire(bool condition):
    ' j/ {; p' y8 ?: O: r' O0 G如果条件不满足则撤销状态更改 - 用于检查由输入或者外部组件引起的错误。% o. B/ Z. l. ^$ c9 `0 x
    require(bool condition, string message):
      ~, i9 i* f5 g4 }# g如果条件不满足则撤销状态更改 - 用于检查由输入或者外部组件引起的错误,可以同时提供一个错误消息。3 b+ K2 a8 T8 a, f' X0 A/ N0 _
    revert():: i8 m+ s% b, R' z( j
    终止运行并撤销状态更改。
    + h( ^- k) g! Q# Krevert(string reason):
    1 k+ I& o- w9 T$ i4 ]& O; m终止运行并撤销状态更改,可以同时提供一个解释性的字符串。
    ( L( t. S, W4 U( t/ I1 W9 B- O数学和密码学函数
    : U2 ~6 H1 r; j- faddmod(uint x, uint y, uint k) returns (uint):
    # [' r, m3 H0 Z0 n+ {计算 (x + y) % k,加法会在任意精度下执行,并且加法的结果即使超过 2**256 也不会被截取。从 0.5.0 版本的编译器开始会加入对 k != 0 的校验(assert)。
    4 q/ ~7 X, c/ {3 Mmulmod(uint x, uint y, uint k) returns (uint):
    * }4 H5 I" Y$ a; N( c& f% o3 b计算 (x * y) % k,乘法会在任意精度下执行,并且乘法的结果即使超过 2**256 也不会被截取。从 0.5.0 版本的编译器开始会加入对 k != 0 的校验(assert)。( J9 T# O# c! |6 s4 y. ?
    keccak256(...) returns (bytes32):
      ^! K! t/ q3 N- j2 Y计算 :ref:(tightly packed) arguments <abi_packed_mode> 的 Ethereum-SHA-3 (Keccak-256)哈希。$ v; \% M. ]' R1 v  j
    sha256(...) returns (bytes32):0 g; F" y* P6 Y1 M7 L3 B$ J
    计算 :ref:(tightly packed) arguments <abi_packed_mode> 的 SHA-256 哈希。
    * e. B" G/ E7 x" s& g8 P6 {sha3(...) returns (bytes32):4 Q( Z, Z# }: H; _) z# t& L& P9 d
    等价于 keccak256。8 v; n% `1 o6 B9 T. H8 D& [3 ]. I
    ripemd160(...) returns (bytes20):
    # e8 U; t/ W! {7 P4 a+ ^计算 :ref:(tightly packed) arguments <abi_packed_mode> 的 RIPEMD-160 哈希。3 _  V' p. U6 A7 ~- `* n* C  n
    ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) returns (address) :
    3 _, ~  }; [+ [; J( q利用椭圆曲线签名恢复与公钥相关的地址,错误返回零值。
    : ]# q( Q* Y! L4 Q(example usage <https://ethereum.stackexchange.com/q/1777/222>_)
    9 W! g1 X/ [' J0 O: z" g3 [上文中的“tightly packed”是指不会对参数值进行 padding 处理(就是说所有参数值的字节码是连续存放的,译者注),这意味着下边这些调用都是等价的:
    9 S, D0 f5 D, h8 o. e' h7 x. fkeccak256("ab", "c")
    % R" B4 V5 T/ |6 O1 Hkeccak256("abc")
    . T* X2 \) R5 dkeccak256(0x616263)0 Q: ]. w2 [) L) j) U5 r6 |8 U' I
    keccak256(6382179)+ j2 P; i7 e0 T; U
    keccak256(97, 98, 99)& h  \5 X3 Y1 D3 k' ~+ Z
    如果需要 padding,可以使用显式类型转换:keccak256("\x00\x12") 和 keccak256(uint16(0x12)) 是一样的。( F* _0 Z3 e, u" W6 L- a
    请注意,常量值会使用存储它们所需要的最少字节数进行打包。例如:keccak256(0) == keccak256(uint8(0)),keccak256(0x12345678) == keccak256(uint32(0x12345678))。
    ) R4 P. v$ `1 n* N, q在一个私链上,你很有可能碰到由于 sha256、ripemd160 或者 ecrecover 引起的 Out-of-Gas。这个原因就是他们被当做所谓的预编译合约而执行,并且在第一次收到消息后这些合约才真正存在(尽管合约代码是硬代码)。发送到不存在的合约的消息非常昂贵,所以实际的执行会导致 Out-of-Gas 错误。在你的合约中实际使用它们之前,给每个合约发送一点儿以太币,比如 1 Wei。这在官方网络或测试网络上不是问题。0 `: P2 g9 Y1 W3 F" v" g7 c
    地址相关/ b( K; S8 A# u
    .balance (uint256):; `3 B/ w/ J" ?0 L/ K( F
    以 Wei 为单位的 :ref:address 的余额。6 }# {/ P) M6 c, _" E) W& u
    .transfer(uint256 amount):
    ( b' Q: S. h- H/ |向 :ref:address 发送数量为 amount 的 Wei,失败时抛出异常,发送 2300 gas 的矿工费,不可调节。
    & x" \* V$ D1 n8 a# j.send(uint256 amount) returns (bool):
    " l/ m2 y+ _, _: \向 :ref:address 发送数量为 amount 的 Wei,失败时返回 false,发送 2300 gas 的矿工费用,不可调节。. ~2 z- v  l+ o3 g' b7 I
    .call(...) returns (bool):
    ) P- {! `7 m. o' b, f" H发出低级函数 CALL,失败时返回 false,发送所有可用 gas,可调节。5 x% h$ o0 ~. j% Y$ S7 w& f
    .callcode(...) returns (bool):
    $ w; [# u6 a1 U7 w发出低级函数 CALLCODE,失败时返回 false,发送所有可用 gas,可调节。
    # `2 y( @% a7 N; C4 ].delegatecall(...) returns (bool):
    . S7 G. B  Z" f; G& b2 O& J发出低级函数 DELEGATECALL,失败时返回 false,发送所有可用 gas,可调节。
    2 v: C; c! X% V6 k+ @更多信息,参考 :ref:address 部分:. B$ q5 R7 j+ P3 x5 i2 O& L) m
    … warning::
    ' S6 ]  j% \0 V" a6 T使用 send 有很多危险:如果调用栈深度已经达到 1024(这总是可以由调用者所强制指定),转账会失败;并且如果接收者用光了 gas,转账同样会失败。为了保证以太币转账安全,总是检查 send 的返回值,利用 transfer 或者下面更好的方式:
    5 |1 v- K. W$ C) L5 C* z6 T用这种接收者取回钱的模式。
    1 }3 h- z! }; |4 h. {# ^5 q… note::/ f/ G7 Z" |5 ^+ A! C
    如果在通过低级函数 delegatecall 发起调用时需要访问存储中的变量,那么这两个合约的存储中的变量定义顺序需要一致,以便被调用的合约代码可以正确地通过变量名访问合约的存储变量。
    1 j+ f+ O5 ?% G2 U5 D这当然不是指像在高级的库函数调用时所传递的存储变量指针那样的情况。
    0 X; Q. {0 m4 U. d; I… note::" e5 p" F( w) a, x7 n
    不鼓励使用 callcode,并且将来它会被移除。
    " w" m. G3 k6 ^0 s7 i% G8 k) V; ]9 ?合约相关9 ?" ^3 h) M/ \8 l* K
    this (current contract’s type):6 g  N" @4 t! Q$ b
    当前合约,可以明确转换为 :ref:address。& @7 h7 a2 O( k- w7 \7 q
    selfdestruct(address recipient):) `; p2 [1 `8 m! w' _, }0 l3 ?
    销毁合约,并把余额发送到指定 :ref:address。& |1 j  h/ J8 |
    suicide(address recipient):
    ! |. F" j8 U) [+ ?与 selfdestruct 等价,但已不推荐使用。" x6 o6 g7 t1 t/ I) G) z& y6 w
    此外,当前合约内的所有函数都可以被直接调用,包括当前函数。
  • BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
    声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
    您需要登录后才可以回帖 登录 | 立即注册

    本版积分规则

    成为第一个吐槽的人

    mark7914 小学生
    • 粉丝

      0

    • 关注

      0

    • 主题

      2