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

Commencez par lire le point d’entrée sqlite3.connect() et le comportement de pathlib.Path décrit dans la proposition, puis examinez les exigences d’URI de SQLite. Le travail sera considéré comme terminé lorsqu’un helper construisant l’URI file: appropriée à partir d’un Path aura été défini et implémenté, en prenant en charge les lettres de lecteur Windows et les séparateurs POSIX, avec des tests pour les cas indiqués.