请编写一个函数，计算两个以字符串形式给出的二进制数之和，返回二进制字符串结果。

回答思路

1. 正确实现按位相加及进位逻辑
2. 处理不同长度输入与前置零情况
3. 时间复杂度O(n)，空间复杂度O(1)（除结果外）
4. 边界测试如空串、全零、最高位进位