Conversione di un numero binario con una lunghezza fissa

Question

Dire ottengo un numero casuale compreso tra 1 e 127. I cambiare il numero in binario e rimuovere il 0b da esso con il codice di fermo degli impianti:

key_one= int(raw_input("Enter key (0 <= key <= 127): ")) 

if key_one in range(128): 
    bin_key_one=bin(key_one)[2:] 
print bin_key_one 
else: 
    print "You have to enter key (0 <= key <= 127)" 

Ora voglio per renderlo lungo 7 caratteri riempendo l'inizio con zeri secondo necessità. Penso di aver bisogno di usare un ciclo for, ma qualcuno può mostrarmi come farlo?

Answer 1

No, non è così.

>>> '{0:07b}'.format(12) 
'0001100' 

Answer 2

Prova questo:

for i in range(1, 127): 
'0'*(7-len(bin(i)[2:]))+bin(i)[2:] 

Answer 3

Così accade che Python ha un metodo di stringa .zfill() per questo:

>>> '1'.zfill(7) 
'0000001' 
>>> '10010'.zfill(7) 
'0010010' 

Answer 4

Con Python 3.6 di nuova f-strings, ora è possibile farlo:

key_one = int(input("Enter key (0 <= key <= 127): ")) 

if key_one in range(128): 
    bin_key_one = f'{key_one:07b}' 
    print(bin_key_one) 
else: 
    print("You have to enter key (0 <= key <= 127)")