为什么lxml.etree.SubElement允许创建序列化表现不一致的元素？

这个是lxml的设计决策，核心是内存节点模型和序列化规则解耦导致的，具体原因如下：

1. 节点的命名空间是独立属性，创建时不会自动继承父节点配置
   lxml底层依赖libxml2实现，每个Element节点的命名空间URI是单独存储的，和父节点没有绑定关系。你调用etree.SubElement创建子节点时，如果没有显式给节点名加命名空间前缀、也没有传入nsmap参数，lxml就会直接将这个节点标记为无命名空间，不会主动读取父节点的默认命名空间做自动继承。
   这种设计是为了给操作留足灵活性：比如你需要临时构造节点、后续要将节点移动到其他不同命名空间的父节点下，或是需要构造不符合常规命名空间继承规则的临时节点树，都不需要额外修改节点的命名空间属性。
2. 默认序列化的优化逻辑掩盖了两者的差异
   你看到两个节点序列化后输出完全一致，是XML默认序列化的优化规则导致的：libxml2序列化时会尽可能省略冗余的命名空间声明，在父节点有默认命名空间的场景下，无命名空间的子节点默认会隐式继承父节点的默认命名空间输出，不会显式加上xmlns=""标注。
   如果你想要序列化结果和内存节点的命名空间属性完全对齐，可以调整序列化参数，强制无命名空间节点显式声明xmlns=""，此时两个节点的输出就会出现差异：element1的b节点会多一个xmlns=""属性。
   至于你提到的etree.fromstring解析结果和element2表现一致，是因为XML解析器会严格遵守XML规范处理命名空间继承：输入字符串里的b节点没有显式声明命名空间，就会自动继承父节点的默认命名空间，所以解析得到的b节点本身就带有j:a命名空间，和手动指定命名空间创建的element2完全一致。

内容的提问来源于stack exchange，提问作者lovetox