std::filesystem::path - cppreference.com (original) (raw)

Objects of type path represent paths on a filesystem. Only syntactic aspects of paths are handled: the pathname may represent a non-existing path or even one that is not allowed to exist on the current file system or OS.

The path name has the following syntax:

  1. root-name(optional): identifies the root on a filesystem with multiple roots (such as "C:" or "//myserver"). In case of ambiguity, the longest sequence of characters that forms a valid root-name is treated as the root-name. The standard library may define additional root-names besides the ones understood by the OS API.
  2. root-directory(optional): a directory separator that, if present, marks this path as absolute. If it is missing (and the first element other than the root name is a file name), then the path is relative and requires another path as the starting location to resolve to a file name.
  3. Zero or more of the following:

A path can be normalized by following this algorithm:

  1. If the path is empty, stop (normal form of an empty path is an empty path).
  2. Replace each directory-separator (which may consist of multiple slashes) with a single path::preferred_separator.
  3. Replace each slash character in the root-name with path::preferred_separator.
  4. Remove each dot and any immediately following directory-separator.
  5. Remove each non-dot-dot filename immediately followed by a directory-separator and a dot-dot, along with any immediately following directory-separator.
  6. If there is root-directory, remove all dot-dots and any directory-separators immediately following them.
  7. If the last filename is dot-dot, remove any trailing directory-separator.
  8. If the path is empty, add a dot (normal form of ./ is .).

The path can be traversed element-wise via iterators returned by the begin() and end() functions, which views the path in generic format and iterates over root name, root directory, and the subsequent file name elements (directory separators are skipped except the one that identifies the root directory). If the very last element in the path is a directory separator, the last iterator will dereference to an empty element.

Calling any non-const member function of a path invalidates all iterators referring to elements of that object.

If the OS uses a native syntax that is different from the portable generic syntax described above, library functions that are defined to accept "detected format" accept path names in both formats: a detected format argument is taken to be in the generic format if and only if it matches the generic format but is not acceptable to the operating system as a native path. On those OS where native format differs between pathnames of directories and pathnames of files, a generic pathname is treated as a directory path if it ends on a directory separator and a regular file otherwise.

In any case, the path class behaves as if it stores a pathname in the native format and automatically converts to generic format as needed (each member function specifies which format it interprets the path as).

On POSIX systems, the generic format is the native format and there is no need to distinguish or convert between them.

Paths are implicitly convertible to and from std::basic_strings, which makes it possible to use them with other file APIs.

The stream operators use std::quoted so that spaces do not cause truncation when later read by stream input operator.

Decomposition member functions (e.g. extension) return filesystem::path objects instead of string objects as other APIs do.

Contents

[edit] Member types

Type Definition
value_type character type used by the native encoding of the filesystem: char on POSIX, wchar_t on Windows
string_type std::basic_string<value_type>
const_iterator a constant LegacyInputIterator with a value_type of path that meets all requirements of LegacyBidirectionalIterator except that for two equal dereferenceable iterators a and b of type const_iterator, there is no requirement that *a and *b refer to the same object.It is unspecified whether const_iterator is actually a LegacyBidirectionalIterator
iterator const_iterator
determines how to interpret string representations of pathnames.The following enumerators are also defined: (public member enum)

[edit] Member constants

constexpr value_type preferred_separator[static] alternative directory separator which may be used in addition to the portable /. On Windows, this is the backslash character \. On POSIX, this is the same forward slash / as the portable separator (public static member constant) [edit]

[edit] Member functions

(constructor) constructs a path (public member function) [edit]
(destructor) destroys a path object (public member function) [edit]
operator= assigns another path (public member function) [edit]
assign assigns contents (public member function) [edit]
Concatenation
appendoperator/= appends elements to the path with a directory separator (public member function) [edit]
concatoperator+= concatenates two paths without introducing a directory separator (public member function) [edit]
Modifiers
clear erases the contents (public member function) [edit]
make_preferred converts directory separators to preferred directory separator (public member function) [edit]
remove_filename removes filename path component (public member function) [edit]
replace_filename replaces the last path component with another path (public member function) [edit]
replace_extension replaces the extension (public member function) [edit]
swap swaps two paths (public member function) [edit]
Format observers
c_strnativeoperator string_type returns the native version of the path (public member function) [edit]
stringwstringu8stringu16stringu32string returns the path in native pathname format converted to a string (public member function) [edit]
generic_stringgeneric_wstringgeneric_u8stringgeneric_u16stringgeneric_u32string returns the path in generic pathname format converted to a string (public member function) [edit]
Compare
compare compares the lexical representations of two paths lexicographically (public member function) [edit]
Generation
lexically_normallexically_relativelexically_proximate converts path to normal formconverts path to relative formconverts path to proximate form (public member function) [edit]
Decomposition
root_name returns the root-name of the path, if present (public member function) [edit]
root_directory returns the root directory of the path, if present (public member function) [edit]
root_path returns the root path of the path, if present (public member function) [edit]
relative_path returns path relative to the root path (public member function) [edit]
parent_path returns the path of the parent path (public member function) [edit]
filename returns the filename path component (public member function) [edit]
stem returns the stem path component (filename without the final extension) (public member function) [edit]
extension returns the file extension path component (public member function) [edit]
Queries
empty checks if the path is empty (public member function) [edit]
has_root_pathhas_root_namehas_root_directoryhas_relative_pathhas_parent_pathhas_filenamehas_stemhas_extension checks if the corresponding path element is not empty (public member function) [edit]
is_absoluteis_relative checks if root_path() uniquely identifies file system location (public member function) [edit]
Iterators
beginend iterator access to the path as a sequence of elements (public member function) [edit]

[edit] Non-member functions

Defined in namespace std::filesystem
swap(std::filesystem::path)(C++17) specializes the std::swap algorithm (function) [edit]
hash_value(C++17) calculates a hash value for a path object (function) [edit]
operator==operator!=operator<operator<=operator>operator>=operator<=>(C++17)(C++17)(until C++20)(C++17)(until C++20)(C++17)(until C++20)(C++17)(until C++20)(C++17)(until C++20)(C++20) lexicographically compares two paths (function) [edit]
operator/(C++17) concatenates two paths with a directory separator (function) [edit]
operator<>(C++17) performs stream input and output on a quoted path (function) [edit]
u8path(C++17)(deprecated in C++20) creates a path from a UTF-8 encoded source (function) [edit]

[edit] Helper classes

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 3657 C++17 hash for path was disabled enabled