因此，只是为了在构建python函数时使用一个简单的解决方案（bin转换为二进制，str转换为字符串，[2:]在开始时剥离0b）

def add_binary(a,b):
    return str(bin(a+b))[2:]

目前你的循环for循环不起作用，因为n在while循环中没有改变。
如果你把Math.Floor的划分改为n//2，似乎也解决了我的问题。可能是一个奇怪的浮点数，不太好用

我可以推荐python bin函数吗？它将python integers int转换为二进制（基数为2）字符串。所以你可以这样做：

number1 = 30 # fill in this value
number2 = 20 # fill in this value
output=bin(number1+number2).lstrip("0b")

如果你非常需要一个函数，下面可以做：

add_binary = lambda a, b: bin(a+b).lstrip("0b")
def add_binary(a: int, b: int) -> str: return bin(a+b).lstrip("0b")

为了分解它，bin将转换为二进制（返回一个字符串，与示例代码相同），但它返回0b10101010...。然后.lstrip从开始处删除0b。

简短，甜蜜，简单：

def add_binary(a,b):
    return f"{a+b:b}"

无需删除0b前缀：:b说明符以没有前缀的二进制输出。

您的实现不适用于大数字的原因是因为floating-point rounding error是由转换精度要求高于二进制编码所允许的数字所产生的。首先出现浮点数转换问题的原因是，在每次迭代中使用真除法运算符（/）将数字除以2，这会在执行除法之前先将两个操作数转换为浮点数，这会使大数字丢失信息。
您可以通过使用楼层分割运算符（//）来解决此问题。
也就是说，改变：

n = math.floor(n / 2)

收件人：

n = n // 2

此外，通过在每次迭代开始时检查n是否> 0，您将错过在n为0时添加输出到开始。相反，在循环结束时执行检查：

def add_binary(a, b):
    bits = []
    n = a + b
    while True:
        bits.append(n % 2)
        n //= 2
        if n == 0:
            break
    return ''.join(map(str, reversed(bits)))