如何从十六进制字符串中删除前导零？

hex_str = "00123456"
result = hex_str.lstrip("0")
print(result)  # 输出："123456"

import re

hex_str = "00123456"
result = re.sub(r"^0+", "", hex_str)
print(result)  # 输出："123456"

hex_str = "00123456"
result = ""
for char in hex_str:
    if char != "0" or len(result) > 0:
        result += char
print(result)  # 输出："123456"