哈夫曼编码是最优前缀码，且编码结果唯一。