罗韭菜的solidity学习（三）与其他语言不一样的坑（值&引用

image.png

写在前面

可能很多人会以为solidity语法非常简单，其实不然，还是存在很多和其他语言不一样的坑。本篇献给solidity语法细节及注意事项。

由于solidity是一个静态类型的语言，所以编译时需明确限定变量的类型（包括本地变量或状态变量）。solidity编程语言提供了一些基本类型可以来组合成复杂类型。

值类型

• 布尔booleans
• 整型integer
• 地址address
• 定长字节数组
• 有理数和整型
• 枚举类型
• 函数

引用类型

• 不定长字节数组
• 字符串
• 数组
• 结构体

引用类型，赋值时，我们可以值传递，也可以引用地址传递，如果是值传递，则修改新变量时不会影响原来的变量值；如果是引用传递，当你修改新变量时，原来变量的值就会跟着变化，这是因为新旧变量同时指向一个地址的原因。

值传递示例

如下代码

pragma solidity ^0.4.5;

contract Person {
  uint _age;
  funcion Person(uint age){
    _age = age;
  }

  function  f() {
    modify(_age);
  }

  function modify(uint age) {
    age = 100;
  }

  function age() constant returns (uint) {
    returns _age;
  }
}

调用person构造函数，传入 age -> 200
此时_age -> 200
再调用modify，modify会临时拷贝一份200出来，
此时有个age -> 200，age是个临时指针，之后age改成
age->100
之后再次返回_age可以看出，_age仍等于200。
这是值的传递。

_age -> 200
age -> 100

引用类型

如果将上述代码的值类型age改成引用类型的string，再进行同样的modify操作，可以看到结果还是值传递，_name无法修改。

pragma solidity ^0.4.5;

contract Person {

  string _name;

  function Person(string name) {
    _name = name;
  }

  function  f() {
    modify(_name);
  }

  function modify(string name) {
    name = 'melodyluo';
  }

  function age() constant returns (string) {
    returns _name;
  }
}

• 形式参数是默认的memory类型，换句话说就是值传递，所以不管string是引用类型，还是只能用值传递
• 若想完成引用传递，则用storage的形参，且这个方法必须为internal或private，外部无法调用。
• 注意 这里storage传的是指针，长度已经固定了，所以无法再用name="melodyluo"来直接赋值，可以根据索引，转换成字节类型来通过索引来修改，如bytes(name)[0]="L" 来修改。
  如

pragma solidity ^0.4.5;

contract Person {

  string _name;

  function Person(string name) {
    _name = name;
  }

  function  f() {
    modify(_name);
  }

  function modify(string storage name) internal {
    bytes(name)[0] = "L";
  }

  function name() constant returns (string) {
    return _name;
  }
}

_name 与name 同时指向"构造函数构造的内容如melodyluo"

合约方法的重写

• 子合约重写的方法会覆盖父合约中的方法

布尔

• 不能对非bool的类型进行与或非等操作

pragma solidity ^0.4.5;

contract Test {
    uint _a;
    uint _b;

    bool _c;

    function Testest(){
        _a=100;
        _b =200;

    }
    // !逻辑非
    function fei() constant returns(bool){
        //return !_a; 这是错,
        return (!_c);
    }
    function luojiyu() constant returns(bool){
        return _a == _b && _c;
    }
    function luojihuo() constant returns(bool){
      return _a != _b || _c;
    }
}