如果signature没有任何返回值与参数声明, 应该推断其为联合 
