solidity之合约，接口、抽象合约、继承，构造函数的用法（和python很相似，但又有些区别）