Skip to content

Latest commit

 

History

History
484 lines (311 loc) · 23.7 KB

frequently-asked-questions.rst

File metadata and controls

484 lines (311 loc) · 23.7 KB

常见问题

这份清单最早是由 fivedogit 收集整理的。

基本问题

可以在特定的区块上进行操作吗?(比如发布一个合约或执行一笔交易)

鉴于交易数据的写入是由矿工决定的而不是由提交者决定的,谁也无法保证交易一定会发生在下一个或未来某一个特定的区块上。这个结论适用于函数调用/交易以及合约的创建。

如果你希望你的合约被定时调用,可以使用:alarm clock

什么是交易的“有效载荷(payload)”?

就是随交易一起发送的字节码“数据”。

存在反编译器吗?

除了 Porosity 有点接近之外,Solidity 没有严格意义上的反编译器。由于诸如变量名、注释、代码格式等会在编译过程中丢失,所以完全反编译回源代码是没有可能的。

很多区块链浏览器都能将字节码分解为一系列操作码。

如果区块链上的合约会被第三方使用,那么最好将源代码一起进行发布。

创建一个可以被中止并退款的合约

首先,需要提醒一下:中止合约听起来是一个好主意,把垃圾打扫干净是个好习惯,但如上所述,合约是不会被真正清理干净的。甚至,被发送至已移除合约的以太币,会从此丢失。

如果想让合约不再可用,建议的做法是修改合约内部状态来使其 失效 ,让所有函数调用都变为无效返回。这样就无法使用这份合约了,而且发送过去的以太币也会被自动退回。

现在正式回答这个问题:在构造函数中,将 creator 赋值为 msg.sender ,并保存。然后调用 selfdestruct(creator); 来中止程序并进行退款。

例子

需要注意的是,如果你已经在合约顶部做了引用 import "mortal" 并且声明了 contract SomeContract is mortal { ... ,然后再在已存在此合约的编译器中进行编译(包含 Remix),那么 kill() 就会自动执行。当一份合约被声明为 mortal 时,你可以仿照我的例子,使用 contractname.kill.sendTransaction({from:eth.coinbase}) 来中止它。

调用 Solidity 方法可以返回一个数组或字符串(string)吗?

可以。参考 array_receiver_and_returner.sol

但是,在 Solidity内部 调用一个函数并返回变长数据(例如 uint[] 这种变长数组)时,往往会出现问题。这是 |evm| 自身的限制,我们已经计划在下一次协议升级时解决这个问题。

将变长数据作为外部交易或调用的一部分返回是没问题的。

数组可以使用 in-line 的方式(指在声明变量的同一个语句中)来初始化吗?比如: string[] myarray = ["a", "b"];

可以。然而需要注意的是,这方法现在只能用于定长 |memory| 数组。你甚至可以在返回语句中用 in-line 的方式新建一个 |memory| 数组。听起来很酷,对吧!

例子:

pragma solidity ^0.4.16;

contract C {
    function f() public pure returns (uint8[5]) {
        string[4] memory adaArr = ["This", "is", "an", "array"];
        return ([1, 2, 3, 4, 5]);
    }
}

合约的函数可以返回结构(struct)吗?

可以,但只适用于内部(internal)函数调用。

我从一个返回的枚举类型(enum)中,使用 web3.js 只得到了整数值。我该如何获取具名数值?

虽然 Solidity 支持枚举类型,但 ABI(应用程序二进制接口)并不支持。当前阶段你需要自己去做映射,将来我们可能会提供一些帮助。

可以使用 in-line 的方式来初始化状态变量吗?

可以,所有类型都可以(甚至包括结构)。然而需要注意的是,在数组使用这个方法的时候需要将其定义为静态 |memory| 数组。

例子:

pragma solidity ^0.4.0;

contract C {
    struct S {
        uint a;
        uint b;
    }

    S public x = S(1, 2);
    string name = "Ada";
    string[4] adaArr = ["This", "is", "an", "array"];
}

contract D {
    C c = new C();
}

结构(structs)如何使用?

参考 struct_and_for_loop_tester.sol

循环(for loops)如何使用?

和 JavaScript 非常相像。但有一点需要注意:

如果你使用 for (var i = 0; i < a.length; i ++) { a[i] = i; } ,那么 i 的数据类型将会是 uint8,需要从 0 开始计数。也就是说,如果 a 有超过 255 个元素,那么循环就无法中止,因为 i 最大只能变为 255

最好使用 for (uint i = 0; i < a.length...

参考 struct_and_for_loop_tester.sol

有没有一些简单的操作字符串的例子(substringindexOfcharAt 等)?

这里有一些字符串相关的功能性函数 stringUtils.sol ,并且会在将来作扩展。另外,Arachnid 有写过 solidity-stringutils

当前,如果你想修改一个字符串(甚至你只是想获取其长度),首先都必须将其转化为一个 bytes

pragma solidity ^0.4.0;

contract C {
    string s;

    function append(byte c) public {
        bytes(s).push(c);
    }

    function set(uint i, byte c) public {
        bytes(s)[i] = c;
    }
}

我能拼接两个字符串吗?

目前只能通过手工实现。

为什么大家都选择将合约实例化成一个变量(ContractB b;),然后去执行变量的函数(b.doSomething();),而不是直接调用这个 |low_level_function| .call()

如果你调用实际的成员函数,编译器会提示诸如参数类型不匹配的问题,如果函数不存在或者不可见,他也会自动帮你打包参数。

参考 ping.solpong.sol

没被使用的 gas 会被自动退回吗?

是的,马上会退回。也就是说,作为交易的一部分,在交易完成的同时完成退款。

当返回一个值的时候,比如说 uint 类型的值, 可以返回一个 undefined 或者类似 null 的值吗?

这不可能,因为所有的数据类型已经覆盖了全部的取值范围。

替代方案是可以在错误时抛出(throw),这同样能复原整个交易,当你遇到意外情况时不失为一个好的选择。

如果你不想抛出,也可以返回一对(a pair)值

pragma solidity >0.4.23 <0.5.0;

contract C {
    uint[] counters;

    function getCounter(uint index)
        public
        view
        returns (uint counter, bool error) {
            if (index >= counters.length)
                return (0, true);
            else
                return (counters[index], false);
    }

    function checkCounter(uint index) public view {
        (uint counter, bool error) = getCounter(index);
        if (error) {
            // ...
        } else {
            // ...
        }
    }
}

注释会被包含在已部署的合约里吗,而且会增加部署的 gas 吗?

不会,所有执行时非必须的内容都会在编译的时候被移除。 其中就包括注释、变量名和类型名。

如果在调用合约的函数时一起发送了以太币,将会发生什么?

就像在创建合约时发送以太币一样,会累加到合约的余额总数上。 你只可以将以太币一起发送至拥有 payable 修饰符的函数,不然会抛出异常。

合约对合约的交易可以获得交易回执吗?

不能,合约对合约的函数调用并不会创建前者自己的交易,你必须要去查看全部的交易。这也是为什么很多区块浏览器无法正确显示合约对合约发送的以太币。

关键字 memory 是什么?是用来做什么的?

|evm| 拥有三类存储区域。

第一类是 |storage|,贮存了合约声明中所有的变量。 虚拟机会为每份合约分别划出一片独立的 |storage| 区域,并在函数相互调用时持久存在,所以其使用开销非常大。

第二类是 |memory|,用于暂存数据。其中存储的内容会在函数被调用(包括外部函数)时擦除,所以其使用开销相对较小。

第三类是栈,用于存放小型的局部变量。使用几乎是免费的,但容量有限。

对绝大部分数据类型来说,由于每次被使用时都会被复制,所以你无法指定将其存储在哪里。

在数据类型中,对所谓存储地点比较重视的是结构和数组。 如果你在函数调用中传递了这类变量,假设它们的数据可以被贮存在 |storage||memory| 中,那么它们将不会被复制。也就是说,当你在被调用函数中修改了它们的内容,这些修改对调用者也是可见的。

不同数据类型的变量会有各自默认的存储地点:

  • 状态变量总是会贮存在 |storage|
  • 函数参数默认存放在 |memory|
  • 结构、数组或映射类型的局部变量,默认会放在 |storage|
  • 除结构、数组及映射类型之外的局部变量,会储存在栈中

例子:

pragma solidity ^0.4.0;

contract C {
    uint[] data1;
    uint[] data2;

    function appendOne() public {
        append(data1);
    }

    function appendTwo() public {
        append(data2);
    }

    function append(uint[] storage d) internal {
        d.push(1);
    }
}

函数 append 能一起作用于 data1data2,并且修改是永久保存的。如果你移除了 storage 关键字,函数的参数会默认存储于 memory。这带来的影响是,在 append(data1)append(data2) 被调用的时候,一份全新的状态变量的拷贝会在 |memory| 中被创建,append 操作的会是这份拷贝(也不支持 .push ——但这又是另一个话题了)。针对这份全新的拷贝的修改,不会反过来影响 data1data2

一个常见误区就是声明了一个局部变量,就认为它会创建在 |memory| 中,其实它会被创建在 |storage| 中:

/// 这份合约包含一处错误

pragma solidity ^0.4.0;

contract C {
    uint someVariable;
    uint[] data;

    function f() public {
        uint[] x;
        x.push(2);
        data = x;
    }
}

局部变量 x 的数据类型是 uint[] storage,但由于 |storage| 不是动态分配的,它需要在使用前通过状态变量赋值。所以 x 本身不会被分配 |storage| 的空间,取而代之的是,它只是作为 |storage| 中已有变量的别名。

实际上会发生的是,编译器将 x 解析为一个 |storage| 指针,并默认将指针指向 |storage_slot| 0 。这就造成 someVariable (贮存在 |storage_slot| 0)会被 x.push(2) 更改。(在本例中,两个合约变量 someVariable 和 data 会被预先分配到两个 |storage_slot| 中,即 |storage_slot| 0|storage_slot| 1 。上面的程序会使局部变量 x 变成指向保存了变量 someVariable 的 |storage_slot| 0 的指针。译者注。)

正确的方法如下:

pragma solidity ^0.4.0;

contract C {
    uint someVariable;
    uint[] data;

    function f() public {
        uint[] x = data;
        x.push(2);
    }
}

高级问题

怎样才能在合约中获取一个随机数?(实施一份自动回款的博彩合约)

做好随机这件事情,往往是一个加密项目最关键的部分,大部分的失败都来自于使用了低劣的随机数发生器。

如果你不考虑安全性,可以做一个类似于 coin flipper 的东西,反之,最好调用一份可以提供随机性的合约,比如 RANDAO

从另一份合约中的 non-constant 函数获取返回值

关键点是调用者(合约)需要了解将被调用的函数。

参考 ping.solpong.sol

让合约在首次被挖出时就开始做些事情

使用构造函数。在构造函数中写的任何内容都会在首次被挖出时执行。

参考 replicator.sol

怎样才能创建二维数组?

参考 2D_array.sol

需要注意的是,用 uint8 类型的数据填满一个 10x10 的方阵,再加上合约创建,总共需要花费超过 800,000 的 gas。如果是 17x17 需要 2,000,000 的 gas。然而交易的 gas 上限是 314 万。。。好吧,其实你也玩不了太大的花样。

注意,“创建”数组纯粹是免费的,成本在于填充数组。

还需注意,优化 |storage| 访问可以大大降低 gas 的花费,因为一个 |storage_slot| 可以存放下 32 个 uint8 类型的值。但这类优化目前也存在一些问题:在跨循环的时候不起作用;以及在边界检查时候会出问题。当然,在未来这种情况会得到改观。

当我们复制一个结构(struct)时, 结构 (struct)中定义的映射会被怎么处理?

这是一个非常有意思的问题。假设我们有一份合约,里面的字段设置如下:

struct User {
    mapping(string => string) comments;
}

function somefunction public {
   User user1;
   user1.comments["Hello"] = "World";
   User user2 = user1;
}

在这种情况下,由于缺失“被映射的键列表”,被复制至 userList 的结构中的映射会被忽视。因此,系统无法找出什么值可以被复制过去。

我应该如何初始化一份只包含指定数量 wei 的合约?

目前实现方式不是太优雅,当然暂时也没有更好的方法。 就拿 合约A 调用一个 合约B 的新实例来说,new B 周围必须要加括号,不然 B.value 会被认作是 B 的一个成员函数,叫做 value。 你必须确保两份合约都知道对方的存在,并且 合约B 拥有 payable 构造函数。

就是这个例子:

pragma solidity ^0.4.0;

contract B {
    function B() public payable {}
}

contract A {
    address child;

    function test() public {
        child = (new B).value(10)(); //construct a new B with 10 wei
    }
}

合约的函数可以接收二维数组吗?

二维数组还无法使用于外部调用和动态数组——你只能使用一维的动态数组。

bytes32string 有什么关系吗?为什么 bytes32 somevar = "stringliteral"; 可以生效,还有保存下来的那个 32 字节的 16 进制数值有什么含义吗?

数据类型 bytes32 可以存放 32 个(原始)字节。在给变量分配值的过程中 bytes32 samevar = "stringliteral";, 字符串已经被逐字翻译成了原始字节。如果你去检查 somevar ,会发现一个 32 字节的 16 进制数值,这就是用 16 进制表示的 字符串的文字

数据类型 bytes 与此类似,只是它的长度可以改变。

最终来看,假设 bytes 储存的是字符串的 UTF-8 编码,那么它和 string 基本是等同的。由于 string |storage| 的是 UTF-8 编码格式的数据,所以计算字符串中字符数量的成本是很高的(某些字符的编码甚至大于一个字节)。因此,系统还不支持 string s; s.length ,甚至不能通过索引访问 s[2] 。但如果你想访问字符串的下级字节编码,可以使用 bytes(s).lengthbytes(s)[2],它们分别会返回字符串在 UTF-8 编码下的字节数量(不是字符数量)以及字符串 UTF-8 编码的第二个字节(不是字符)。

一份合约可以传递一个数组(固定长度)或者一个字符串或者一个 bytes (不定长度)给另一份合约吗?

当然可以。但如果不小心跨越了 |memory| / |storage| 的边界,一份独立的拷贝就会被创建出来:

pragma solidity ^0.4.16;

contract C {
    uint[20] x;

    function f() public {
        g(x);
        h(x);
    }

    function g(uint[20] y) internal pure {
        y[2] = 3;
    }

    function h(uint[20] storage y) internal {
        y[3] = 4;
    }
}

由于会在 |memory| 中对 |storage| 的值创建一份独立的拷贝(默认存储在 |memory| 中),所以对 g(x) 的调用其实并不会对 x 产生影响。另一方面,由于传递的只是引用而不是一个拷贝, h(x) 得以成功地修改了 x

有些时候,当我想用类似这样的表达式: arrayname.length = 7; 来修改数组长度,却会得到一个编译错误 Value must be an lvalue。这是为什么?

你可以使用 arrayname.length = <some new length>; 来调整 |storage| 中的动态数组(也就是在合约级别声明的数组)的长度。如果你得到一个 lvalue 错误,那么你有可能做错了以下两件事中的一件或全部。

  1. 你在尝试修改长度的数组可能是保存在 |memory| 中的,或者
  2. 你可能在尝试修改一个非动态数组的长度。
// 这将无法编译通过

pragma solidity ^0.4.18;

contract C {
    int8[] dynamicStorageArray;
    int8[5] fixedStorageArray;

    function f() {
        int8[] memory memArr;        // 第一种情况
        memArr.length++;             // 非法

        int8[5] storage storageArr = fixedStorageArray;   // 第二种情况
        storageArr.length++;                             // 非法

        int8[] storage storageArr2 = dynamicStorageArray;
        storageArr2.length++;                     // 非法


    }
}

重要提醒: 在 Solidity 中,数组维数的声明方向是和在 C 或 Java 中的声明方向相反的,但访问方式相同。

举个例子,int8[][5] somearray; 是5个 int8 格式的动态数组。

这么做的原因是,T[5] 总是能被识别为5个 T 的数组,哪怕 T 本身就是一个数组(而在 C 或 Java 是不一样的)。

Solidity 的函数可以返回一个字符串数组吗(string[])?

暂时还不可以,因为这要求两个维度都是动态数组(string 本身就是一种动态数组)。

如果你发起了一次获取数组的调用,有可能获得整个数组吗?还是说另外需要写一个辅助函数来实现?

一个数组类型的公共状态变量会有一个自动的获取函数 :ref:`getter function<getter-functions>` , 这个函数只会返回单个元素。如果你想获取完整的数组,那么只能再手工写一个函数来实现。

如果某个账户只存储了值但没有任何代码,将会发生什么?例子: http://test.ether.camp/account/5f740b3a43fbb99724ce93a879805f4dc89178b5

构造函数做的最后一件事情是返回合约的代码。这件事消耗的 gas 取决于代码的长度,其中有种可能的情况是提供的 gas 不够。这是唯一的一种情况下,出现了 “out of gas” 异常却不会去复原改变了的状态,这个改变在这里就是对状态变量的初始化。

https://github.com/ethereum/wiki/wiki/Subtleties

当 CREATE 操作的某个阶段被成功执行,如果这个操作返回 x,那么 5 * len(x) 的 gas 在合约被创建前会从剩余 gas 中被扣除。如果剩余的 gas 少于 5 * len(x),那么就不进行 gas 扣除,而是把创建的合约代码改变成空字符串,但这时候并不认为是发生了异常——不会发生复原。

在定制 |token| 的合约中,下面这些奇怪的校验是做什么的?

require((balanceOf[_to] + _value) >= balanceOf[_to]);

在Solidity(以及大多数其他机器相关的编程语言)中的整型都会被限定在一定范围内。 比如 uint256 ,就是从 02**256 - 1 。如果针对这些数字进行操作的结果不在这个范围内,那么就会被截断。这些截断会带来 严重的后果 ,所以像上面这样的代码需要考虑避免此类攻击。

更多问题?

如果你有其他问题,或者你的问题在这里找不到答案,请在此联系我们 gitter 或者提交一个 issue