Skip to content

Replace AsRef<Path> with the PathLike trait #102791

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 3 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions library/std/src/env.rs
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,9 @@ use crate::error::Error;
use crate::ffi::{OsStr, OsString};
use crate::fmt;
use crate::io;
use crate::path::{Path, PathBuf};
#[cfg(doc)]
use crate::path::Path;
use crate::path::{PathBuf, PathLike};
use crate::sys;
use crate::sys::os as os_imp;

Expand Down Expand Up @@ -80,8 +82,8 @@ pub fn current_dir() -> io::Result<PathBuf> {
/// ```
#[doc(alias = "chdir")]
#[stable(feature = "env", since = "1.0.0")]
pub fn set_current_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
os_imp::chdir(path.as_ref())
pub fn set_current_dir<P: PathLike>(path: P) -> io::Result<()> {
path.with_path(os_imp::chdir)
}

/// An iterator over a snapshot of the environment variables of this process.
Expand Down
98 changes: 49 additions & 49 deletions library/std/src/fs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ mod tests;
use crate::ffi::OsString;
use crate::fmt;
use crate::io::{self, BorrowedCursor, IoSlice, IoSliceMut, Read, Seek, SeekFrom, Write};
use crate::path::{Path, PathBuf};
use crate::path::{Path, PathBuf, PathLike};
use crate::sys::fs as fs_imp;
use crate::sys_common::{AsInner, AsInnerMut, FromInner, IntoInner};
use crate::time::SystemTime;
Expand Down Expand Up @@ -246,14 +246,14 @@ pub struct DirBuilder {
/// }
/// ```
#[stable(feature = "fs_read_write_bytes", since = "1.26.0")]
pub fn read<P: AsRef<Path>>(path: P) -> io::Result<Vec<u8>> {
pub fn read<P: PathLike>(path: P) -> io::Result<Vec<u8>> {
fn inner(path: &Path) -> io::Result<Vec<u8>> {
let mut file = File::open(path)?;
let mut bytes = Vec::new();
file.read_to_end(&mut bytes)?;
Ok(bytes)
}
inner(path.as_ref())
path.with_path(inner)
}

/// Read the entire contents of a file into a string.
Expand Down Expand Up @@ -285,14 +285,14 @@ pub fn read<P: AsRef<Path>>(path: P) -> io::Result<Vec<u8>> {
/// }
/// ```
#[stable(feature = "fs_read_write", since = "1.26.0")]
pub fn read_to_string<P: AsRef<Path>>(path: P) -> io::Result<String> {
pub fn read_to_string<P: PathLike>(path: P) -> io::Result<String> {
fn inner(path: &Path) -> io::Result<String> {
let mut file = File::open(path)?;
let mut string = String::new();
file.read_to_string(&mut string)?;
Ok(string)
}
inner(path.as_ref())
path.with_path(inner)
}

/// Write a slice as the entire contents of a file.
Expand Down Expand Up @@ -320,11 +320,11 @@ pub fn read_to_string<P: AsRef<Path>>(path: P) -> io::Result<String> {
/// }
/// ```
#[stable(feature = "fs_read_write_bytes", since = "1.26.0")]
pub fn write<P: AsRef<Path>, C: AsRef<[u8]>>(path: P, contents: C) -> io::Result<()> {
pub fn write<P: PathLike, C: AsRef<[u8]>>(path: P, contents: C) -> io::Result<()> {
fn inner(path: &Path, contents: &[u8]) -> io::Result<()> {
File::create(path)?.write_all(contents)
}
inner(path.as_ref(), contents.as_ref())
path.with_path(|path| inner(path.as_ref(), contents.as_ref()))
}

impl File {
Expand All @@ -348,8 +348,8 @@ impl File {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn open<P: AsRef<Path>>(path: P) -> io::Result<File> {
OpenOptions::new().read(true).open(path.as_ref())
pub fn open<P: PathLike>(path: P) -> io::Result<File> {
OpenOptions::new().read(true).open(path)
}

/// Opens a file in write-only mode.
Expand All @@ -373,8 +373,8 @@ impl File {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn create<P: AsRef<Path>>(path: P) -> io::Result<File> {
OpenOptions::new().write(true).create(true).truncate(true).open(path.as_ref())
pub fn create<P: PathLike>(path: P) -> io::Result<File> {
OpenOptions::new().write(true).create(true).truncate(true).open(path)
}

/// Creates a new file in read-write mode; error if the file exists.
Expand Down Expand Up @@ -402,8 +402,8 @@ impl File {
/// }
/// ```
#[unstable(feature = "file_create_new", issue = "none")]
pub fn create_new<P: AsRef<Path>>(path: P) -> io::Result<File> {
OpenOptions::new().read(true).write(true).create_new(true).open(path.as_ref())
pub fn create_new<P: PathLike>(path: P) -> io::Result<File> {
OpenOptions::new().read(true).write(true).create_new(true).open(path)
}

/// Returns a new OpenOptions object.
Expand Down Expand Up @@ -1052,8 +1052,8 @@ impl OpenOptions {
/// [`NotFound`]: io::ErrorKind::NotFound
/// [`PermissionDenied`]: io::ErrorKind::PermissionDenied
#[stable(feature = "rust1", since = "1.0.0")]
pub fn open<P: AsRef<Path>>(&self, path: P) -> io::Result<File> {
self._open(path.as_ref())
pub fn open<P: PathLike>(&self, path: P) -> io::Result<File> {
path.with_path(|path| self._open(path))
}

fn _open(&self, path: &Path) -> io::Result<File> {
Expand Down Expand Up @@ -1723,8 +1723,8 @@ impl AsInner<fs_imp::DirEntry> for DirEntry {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn remove_file<P: AsRef<Path>>(path: P) -> io::Result<()> {
fs_imp::unlink(path.as_ref())
pub fn remove_file<P: PathLike>(path: P) -> io::Result<()> {
path.with_path(fs_imp::unlink)
}

/// Given a path, query the file system to get information about a file,
Expand Down Expand Up @@ -1761,8 +1761,8 @@ pub fn remove_file<P: AsRef<Path>>(path: P) -> io::Result<()> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn metadata<P: AsRef<Path>>(path: P) -> io::Result<Metadata> {
fs_imp::stat(path.as_ref()).map(Metadata)
pub fn metadata<P: PathLike>(path: P) -> io::Result<Metadata> {
path.with_path(fs_imp::stat).map(Metadata)
}

/// Query the metadata about a file without following symlinks.
Expand Down Expand Up @@ -1795,8 +1795,8 @@ pub fn metadata<P: AsRef<Path>>(path: P) -> io::Result<Metadata> {
/// }
/// ```
#[stable(feature = "symlink_metadata", since = "1.1.0")]
pub fn symlink_metadata<P: AsRef<Path>>(path: P) -> io::Result<Metadata> {
fs_imp::lstat(path.as_ref()).map(Metadata)
pub fn symlink_metadata<P: PathLike>(path: P) -> io::Result<Metadata> {
path.with_path(fs_imp::lstat).map(Metadata)
}

/// Rename a file or directory to a new name, replacing the original file if
Expand Down Expand Up @@ -1838,8 +1838,8 @@ pub fn symlink_metadata<P: AsRef<Path>>(path: P) -> io::Result<Metadata> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn rename<P: AsRef<Path>, Q: AsRef<Path>>(from: P, to: Q) -> io::Result<()> {
fs_imp::rename(from.as_ref(), to.as_ref())
pub fn rename<P: PathLike, Q: PathLike>(from: P, to: Q) -> io::Result<()> {
from.with_path(|from| to.with_path(|to| fs_imp::rename(from, to)))
}

/// Copies the contents of one file to another. This function will also
Expand Down Expand Up @@ -1896,8 +1896,8 @@ pub fn rename<P: AsRef<Path>, Q: AsRef<Path>>(from: P, to: Q) -> io::Result<()>
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn copy<P: AsRef<Path>, Q: AsRef<Path>>(from: P, to: Q) -> io::Result<u64> {
fs_imp::copy(from.as_ref(), to.as_ref())
pub fn copy<P: PathLike, Q: PathLike>(from: P, to: Q) -> io::Result<u64> {
from.with_path(|from| to.with_path(|to| fs_imp::copy(from, to)))
}

/// Creates a new hard link on the filesystem.
Expand Down Expand Up @@ -1940,8 +1940,8 @@ pub fn copy<P: AsRef<Path>, Q: AsRef<Path>>(from: P, to: Q) -> io::Result<u64> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn hard_link<P: AsRef<Path>, Q: AsRef<Path>>(original: P, link: Q) -> io::Result<()> {
fs_imp::link(original.as_ref(), link.as_ref())
pub fn hard_link<P: PathLike, Q: PathLike>(original: P, link: Q) -> io::Result<()> {
original.with_path(|original| link.with_path(|link| fs_imp::link(original, link)))
}

/// Creates a new symbolic link on the filesystem.
Expand Down Expand Up @@ -1972,8 +1972,8 @@ pub fn hard_link<P: AsRef<Path>, Q: AsRef<Path>>(original: P, link: Q) -> io::Re
note = "replaced with std::os::unix::fs::symlink and \
std::os::windows::fs::{symlink_file, symlink_dir}"
)]
pub fn soft_link<P: AsRef<Path>, Q: AsRef<Path>>(original: P, link: Q) -> io::Result<()> {
fs_imp::symlink(original.as_ref(), link.as_ref())
pub fn soft_link<P: PathLike, Q: PathLike>(original: P, link: Q) -> io::Result<()> {
original.with_path(|original| link.with_path(|link| fs_imp::symlink(original, link)))
}

/// Reads a symbolic link, returning the file that the link points to.
Expand Down Expand Up @@ -2006,8 +2006,8 @@ pub fn soft_link<P: AsRef<Path>, Q: AsRef<Path>>(original: P, link: Q) -> io::Re
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn read_link<P: AsRef<Path>>(path: P) -> io::Result<PathBuf> {
fs_imp::readlink(path.as_ref())
pub fn read_link<P: PathLike>(path: P) -> io::Result<PathBuf> {
path.with_path(fs_imp::readlink)
}

/// Returns the canonical, absolute form of a path with all intermediate
Expand Down Expand Up @@ -2049,8 +2049,8 @@ pub fn read_link<P: AsRef<Path>>(path: P) -> io::Result<PathBuf> {
#[doc(alias = "realpath")]
#[doc(alias = "GetFinalPathNameByHandle")]
#[stable(feature = "fs_canonicalize", since = "1.5.0")]
pub fn canonicalize<P: AsRef<Path>>(path: P) -> io::Result<PathBuf> {
fs_imp::canonicalize(path.as_ref())
pub fn canonicalize<P: PathLike>(path: P) -> io::Result<PathBuf> {
path.with_path(fs_imp::canonicalize)
}

/// Creates a new, empty directory at the provided path
Expand Down Expand Up @@ -2090,8 +2090,8 @@ pub fn canonicalize<P: AsRef<Path>>(path: P) -> io::Result<PathBuf> {
/// ```
#[doc(alias = "mkdir")]
#[stable(feature = "rust1", since = "1.0.0")]
pub fn create_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
DirBuilder::new().create(path.as_ref())
pub fn create_dir<P: PathLike>(path: P) -> io::Result<()> {
DirBuilder::new().create(path)
}

/// Recursively create a directory and all of its parent components if they
Expand Down Expand Up @@ -2134,8 +2134,8 @@ pub fn create_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn create_dir_all<P: AsRef<Path>>(path: P) -> io::Result<()> {
DirBuilder::new().recursive(true).create(path.as_ref())
pub fn create_dir_all<P: PathLike>(path: P) -> io::Result<()> {
DirBuilder::new().recursive(true).create(path)
}

/// Removes an empty directory.
Expand Down Expand Up @@ -2170,8 +2170,8 @@ pub fn create_dir_all<P: AsRef<Path>>(path: P) -> io::Result<()> {
/// ```
#[doc(alias = "rmdir")]
#[stable(feature = "rust1", since = "1.0.0")]
pub fn remove_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
fs_imp::rmdir(path.as_ref())
pub fn remove_dir<P: PathLike>(path: P) -> io::Result<()> {
path.with_path(fs_imp::rmdir)
}

/// Removes a directory at this path, after removing all its contents. Use
Expand Down Expand Up @@ -2212,8 +2212,8 @@ pub fn remove_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn remove_dir_all<P: AsRef<Path>>(path: P) -> io::Result<()> {
fs_imp::remove_dir_all(path.as_ref())
pub fn remove_dir_all<P: PathLike>(path: P) -> io::Result<()> {
path.with_path(fs_imp::remove_dir_all)
}

/// Returns an iterator over the entries within a directory.
Expand Down Expand Up @@ -2287,8 +2287,8 @@ pub fn remove_dir_all<P: AsRef<Path>>(path: P) -> io::Result<()> {
/// }
/// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn read_dir<P: AsRef<Path>>(path: P) -> io::Result<ReadDir> {
fs_imp::readdir(path.as_ref()).map(ReadDir)
pub fn read_dir<P: PathLike>(path: P) -> io::Result<ReadDir> {
path.with_path(fs_imp::readdir).map(ReadDir)
}

/// Changes the permissions found on a file or a directory.
Expand Down Expand Up @@ -2322,8 +2322,8 @@ pub fn read_dir<P: AsRef<Path>>(path: P) -> io::Result<ReadDir> {
/// }
/// ```
#[stable(feature = "set_permissions", since = "1.1.0")]
pub fn set_permissions<P: AsRef<Path>>(path: P, perm: Permissions) -> io::Result<()> {
fs_imp::set_perm(path.as_ref(), perm.0)
pub fn set_permissions<P: PathLike>(path: P, perm: Permissions) -> io::Result<()> {
path.with_path(|path| fs_imp::set_perm(path, perm.0))
}

impl DirBuilder {
Expand Down Expand Up @@ -2382,8 +2382,8 @@ impl DirBuilder {
/// assert!(fs::metadata(path).unwrap().is_dir());
/// ```
#[stable(feature = "dir_builder", since = "1.6.0")]
pub fn create<P: AsRef<Path>>(&self, path: P) -> io::Result<()> {
self._create(path.as_ref())
pub fn create<P: PathLike>(&self, path: P) -> io::Result<()> {
path.with_path(|path| self._create(path))
}

fn _create(&self, path: &Path) -> io::Result<()> {
Expand Down Expand Up @@ -2452,6 +2452,6 @@ impl AsInnerMut<fs_imp::DirBuilder> for DirBuilder {
// instead.
#[unstable(feature = "fs_try_exists", issue = "83186")]
#[inline]
pub fn try_exists<P: AsRef<Path>>(path: P) -> io::Result<bool> {
fs_imp::try_exists(path.as_ref())
pub fn try_exists<P: PathLike>(path: P) -> io::Result<bool> {
path.with_path(fs_imp::try_exists)
}
35 changes: 35 additions & 0 deletions library/std/src/path.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1109,6 +1109,41 @@ impl FusedIterator for Ancestors<'_> {}
// Basic types and traits
////////////////////////////////////////////////////////////////////////////////

/// # Stable use
///
/// Any function that requires a path may take a `PathLike` type.
///
/// These types include [`OsStr`], [`Path`] and [`str`] as well as their owned
/// counterparts [`OsString`], [`PathBuf`] and [`String`].
///
/// # Unstable use
///
/// The `PathLike` trait can be implemented for custom path types. This requires
/// a nightly compiler with the `path_like` feature enabled. Note that this
/// trait is unstable and highly likely to change between nightly versions.
#[unstable(feature = "path_like", issue = "none")]
pub trait PathLike {
/// Convert to a `Path` reference.
fn with_path<T, F: FnOnce(&Path) -> T>(&self, f: F) -> T;
/// Convert to the native platform representation of a path.
fn with_native_path<T, F: FnOnce(&crate::sys::path::NativePath) -> io::Result<T>>(
&self,
f: F,
) -> io::Result<T>;
}
#[unstable(feature = "path_like", issue = "none")]
impl<P: AsRef<Path>> PathLike for P {
fn with_path<T, F: FnOnce(&Path) -> T>(&self, f: F) -> T {
f(self.as_ref())
}
fn with_native_path<T, F: FnOnce(&crate::sys::path::NativePath) -> io::Result<T>>(
&self,
f: F,
) -> io::Result<T> {
crate::sys::path::with_native_path(self.as_ref(), f)
}
}

/// An owned, mutable path (akin to [`String`]).
///
/// This type provides methods like [`push`] and [`set_extension`] that mutate
Expand Down
6 changes: 3 additions & 3 deletions library/std/src/process.rs
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ use crate::fmt;
use crate::fs;
use crate::io::{self, IoSlice, IoSliceMut};
use crate::num::NonZeroI32;
use crate::path::Path;
use crate::path::{Path, PathLike};
use crate::str;
use crate::sys::pipe::{read2, AnonPipe};
use crate::sys::process as imp;
Expand Down Expand Up @@ -769,8 +769,8 @@ impl Command {
///
/// [`canonicalize`]: crate::fs::canonicalize
#[stable(feature = "process", since = "1.0.0")]
pub fn current_dir<P: AsRef<Path>>(&mut self, dir: P) -> &mut Command {
self.inner.cwd(dir.as_ref().as_ref());
pub fn current_dir<P: PathLike>(&mut self, dir: P) -> &mut Command {
dir.with_path(|dir| self.inner.cwd(dir.as_ref()));
self
}

Expand Down
11 changes: 10 additions & 1 deletion library/std/src/sys/unix/path.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,16 @@
use crate::env;
use crate::ffi::OsStr;
use crate::ffi::{CStr, OsStr};
use crate::io;
use crate::path::{Path, PathBuf, Prefix};
use crate::sys::common::small_c_string::run_path_with_cstr;

pub type NativePath = CStr;
pub fn with_native_path<T, F: FnOnce(&NativePath) -> io::Result<T>>(
path: &Path,
f: F,
) -> io::Result<T> {
run_path_with_cstr(path, f)
}

#[inline]
pub fn is_sep_byte(b: u8) -> bool {
Expand Down
Loading