格式化输出整数的二进制形式，输出8位二进制，不足8位在前面补0

可以使用Python的字符串格式化功能来实现，具体代码如下：

num = 42
binary_str = "{:08b}".format(num)
print(binary_str)

运行结果为：

00101010

其中，`{:08b}`中的`:`表示格式化操作的开始，`08`表示输出字符串的总长度为8，不足8位的在前面补0，`b`表示输出二进制形式。`format(num)`中的`num`表示要格式化输出的整数。