[解決済み] ゼロを埋め込むためのHex関数の装飾

質問

このような簡単な関数を書きました。

def padded_hex(i, l):
    given_int = i
    given_len = l

    hex_result = hex(given_int)[2:] # remove '0x' from beginning of str
    num_hex_chars = len(hex_result)
    extra_zeros = '0' * (given_len - num_hex_chars) # may not get used..

    return ('0x' + hex_result if num_hex_chars == given_len else
            '?' * given_len if num_hex_chars > given_len else
            '0x' + extra_zeros + hex_result if num_hex_chars < given_len else
            None)

例

padded_hex(42,4) # result '0x002a'
hex(15) # result '0xf'
padded_hex(15,1) # result '0xf'

これは私にとっては十分に明確であり、私の使用例（シンプルなプリンタ用のシンプルなテストツール）にも合っていますが、改善の余地がたくさんあり、非常に簡潔なものにまで圧縮できるのではないかと思わずにはいられません。

この問題に対して他にどのようなアプローチがあるのでしょうか？

どのように解決するのですか？

新しい .format() 文字列メソッドを使用します。

>>> "{0:#0{1}x}".format(42,6)
'0x002a'

説明

{   # Format identifier
0:  # first parameter
#   # use "0x" prefix
0   # fill with zeroes
{1} # to a length of n characters (including 0x), defined by the second parameter
x   # hexadecimal number, using lowercase letters for a-f
}   # End of format identifier

もし、文字の16進数は大文字で、接頭辞は小文字の'x'にしたい場合は、ちょっとした回避策が必要でしょう。

>>> '0x{0:0{1}X}'.format(42,4)
'0x002A'

Python 3.6から、こんなこともできるようになりました。

>>> value = 42
>>> padding = 6
>>> f"{value:#0{padding}x}"
'0x002a'