为什么 os.normpath 不折叠前导双斜杠？

Question

在 Unix 下，os.path.normpath 将多个斜杠折叠为单个斜杠除非路径开头恰好出现两个斜杠。为何例外？

为了说明这一点，我得到了以下转换：

//double/slash/stays -> //double/slash/stays
/double/slash//gone// -> /double/slash/gone/
double//slash//gone/ -> double/slash/gone
///triple/slash/gone -> /triple/slash/gone
////quad/slash/gone -> /quad/slash/gone

这对我来说似乎很奇怪。我可以模糊地想象这对于 SMB 安装或 URL 很有用，但我不认为我关心这些。 Python 的行为是否有任何隐藏的智慧，或者我应该自己折叠领先的 // ？

[更新] 鉴于下面的答案，看起来最好的办法不是折叠 //，而是要么接受它，要么将其视为错误。

Answer 1

因为 POSIX 允许以实现定义的方式处理以两个斜杠开头的路径。换句话说，在所有 POSIX 系统上，//foo 不一定与 /foo 含义相同。

来自IEEE Std 1003.1：

可以解释以两个连续斜杠开头的路径名
以实现定义的方式，尽管超过两个领先
斜杠应被视为单个斜杠。

另请参阅此错误报告（已作为“不是错误”关闭）。