豪猪的别名，俗称箭猪。