<分区>
Python 标准库中某处是否有适当的平台相关(或独立？)路径分隔符？
我问的不是目录分隔符/和\，而是PATH分隔符: :和；。
Java 有 java.io.File.pathSeparatorChar和 java.io.File.pathSeparator来满足这个需求。 Python有类似的东西吗？在 os.path 中进行相当详尽的搜索和 pathlib文档没有产生任何结果，所以我开始失去希望。
我对角色本身并不是特别感兴趣。一个行为类似于 os.path.join 的函数但对于整个路径而不是路径元素将是完全可以接受的，甚至更可取。
