Helper function for constructing URIs for `sqlite3.connect()`

Feature or enhancement

Proposal:

When working with SQLite3 URIs, one very subtle thing about them is if you are on Windows and the database path starts with a drive letter, you need to make sure there's a leading /. You must also use POSIX file path separators.

A non-optimized solution is:

db_path = path.resolve(strict=True).as_posix()
if not db_path.startswith("/"):
    # Starts with a Windows drive letter, so add leading slash.
    db_path = "/" + db_path

This seems subtle enough to potentially warrant a function to take a pathlib.Path object and construct the resulting file: URI appropriately. I'm sure something nicer that doesn't force the absolute path could be used to save on any extra stat calls (if people are even that concerned for a single call that opens a database).

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Bắt đầu bằng cách đọc entry point sqlite3.connect() và hành vi của pathlib.Path được mô tả trong đề xuất, sau đó xem xét các yêu cầu URI của SQLite. Công việc được xem là hoàn tất khi đã thống nhất và triển khai một helper để tạo URI file: phù hợp từ một Path, bao gồm cả ký tự ổ đĩa Windows và dấu phân cách POSIX, kèm theo các bài kiểm thử cho những trường hợp đã nêu.