抽象合约（abstract contract）

前文在讲合约继承的基类构造函数的参数时，有提到抽象合约，也就是说，如果派生合约未能给其继承的基合约指定构造函数参数时，那么，该派生合约必须声明为抽象合约（abstract contract）。

我们知道Java中抽象类的定义，其一抽象类不能实例化，其二是抽象类中可以拥有 抽象方法(是一种没有方法体的、只有方法签名的方法。)

而在 Solidity 中的抽象合约与Java的抽象类有异曲同工之妙。即假使合约中至少有一个函数没有实现（没有方法体，只有方法签名的方法），那么便将该合约定义为抽象合约（abstract contract）。当然咯，前文说到继承提到的，派生合约未能给其基合约的构造函数传递指定参数，这时，该合约便只能声明为抽象的。

在 Solidity 0.8.x版本以上，抽象合约的抽象函数需加上virtual修饰，而对于的派生合约中的函数实现也得加上override修饰，否则编译过不了。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

//base contract
abstract contract Animal  {
  function eat() virtual public ;
}

contract Bird is Animal {
   function eat() override public {

   }
}

假使派生合约未能给定所有基类的制定参数（基类构造函数的参数），那该合约也必须声明为抽象的。

解决上图所出现的问题，有两种方式，要么派生合约 contract Snake 给定所有基类构造函数的制定参数；要么将派生合约 Snake声明为抽象（abstract）的。

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

//base contract
contract Animal  {
  string public name;
   constructor(string memory _name){
      name = _name;
   }
}
//爬行动物是动物
contract Reptile {
   string public Rname;
   constructor(string memory _name){
      Rname = _name;
   }
}

abstract contract Snake is Reptile,Animal {
   //这是一只眼镜蛇 多个基类使用空格隔开
   constructor()  Animal("cobra"){}
}

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

//base contract
contract Animal  {
  string public name;
   constructor(string memory _name){
      name = _name;
   }
}
//爬行动物是动物
contract Reptile {
   string public Rname;
   constructor(string memory _name){
      Rname = _name;
   }
}

contract Snake is Reptile,Animal {
   //这是一只眼镜蛇 多个基类使用空格隔开
   constructor() Reptile("diba") Animal("cobra"){}
}


// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.0;

//base contract
contract Animal  {
  string public name;
   constructor(string memory _name){
      name = _name;
   }
}
//爬行动物是动物
contract Reptile {
   string public Rname;
   constructor(string memory _name){
      Rname = _name;
   }
}

contract Snake is Reptile,Animal {
   //这是一只眼镜蛇 多个基类使用空格隔开
   constructor() Reptile("diba") Animal("cobra"){}
}

若派生合约继承自抽象合约，而并没有去实现抽象合约中的抽象函数，那么，该合约依然需要标记为抽象（abstract）的。

抽象合约将合约的定义与其实现脱钩，从而提供了更好的可扩展性和自文档性，并消除了代码重复。