std::filesystem::path::lexically_normal、std::filesystem::path::lexically_relative、std::filesystem::path::lexically_proximate

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

ファイルシステムライブラリ

クラス
filesystem::path filesystem::filesystem_error filesystem::directory_entry filesystem::directory_iterator filesystem::recursive_directory_iterator    filesystem::file_status filesystem::space_info	filesystem::file_type filesystem::file_time_type filesystem::perms filesystem::perm_options filesystem::copy_options filesystem::directory_options
関数
filesystem::absolute filesystem::canonicalfilesystem::weakly_canonical filesystem::relativefilesystem::proximate filesystem::copy filesystem::copy_file filesystem::copy_symlink filesystem::create_directory filesystem::create_directories filesystem::create_hard_link filesystem::create_symlink filesystem::create_directory_symlink filesystem::current_path filesystem::temp_directory_path	filesystem::exists filesystem::equivalent filesystem::file_size filesystem::hard_link_count filesystem::last_write_time filesystem::permissions filesystem::read_symlink filesystem::remove filesystem::remove_all filesystem::rename filesystem::resize_file filesystem::space filesystem::status filesystem::symlink_status
ファイル種別
filesystem::is_block_file filesystem::is_character_file filesystem::is_directory filesystem::is_empty filesystem::status_known	filesystem::is_fifo filesystem::is_other filesystem::is_regular_file filesystem::is_socket filesystem::is_symlink

 

std::filesystem::path

メンバ型
メンバ定数
path::native_formatpath::generic_formatpath::auto_format
メンバ関数
path::path path::~path path::operator= path::assign path::appendpath::operator/= path::concatpath::operator+= path::clear path::make_preferred path::remove_filename path::replace_filename path::replace_extension    path::swap path::compare path::beginpath::end	path::c_strpath::nativepath::operator string_type path::stringpath::u8stringpath::u16stringpath::u32stringpath::wstring path::generic_stringpath::generic_u8stringpath::generic_u16stringpath::generic_u32stringpath::generic_wstring path::lexically_normalpath::lexically_relativepath::lexically_proximate
パスの分解
path::root_name path::root_directory path::root_path path::relative_path path::parent_path path::filename path::stem path::extension path::empty	path::has_root_pathpath::has_root_namepath::has_root_directorypath::has_relative_pathpath::has_parent_pathpath::has_filenamepath::has_stempath::has_extension path::is_absolutepath::is_relative
非メンバ関数
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20)	operator/ operator<<operator>> swap(std::filesystem::path) hash_value u8path
ヘルパークラス
hash<std::filesystem::path>	formatter<std::filesystem::path> (C++26)

 

path lexically_normal() const;	(1)	(C++17以降)
path lexically_relative( const path& base ) const;	(2)	(C++17以降)
path lexically_proximate( const path& base ) const;	(3)	(C++17以降)

1) ジェネリック形式での正規化されたパスを返します。

2) baseに対する相対パスにします。

• まず、root_name() != base.root_name() が true であるか、is_absolute() != base.is_absolute() が true であるか、または (!has_root_directory() && base.has_root_directory()) が true であるか、または relative_path() または base.relative_path() のいずれかのファイル名が ルート名として解釈できる場合、デフォルト構築されたパスを返します。
• それ以外の場合、まず *this と base の最初の不一致要素を、auto [a, b] = mismatch(begin(), end), base.begin(), base.end()) を使用して求めたかのように決定し、次に

• もし a == end() かつ b == base.end() ならば、path(".") を返します。
• そうでなければ、N を、[b, base.end()) 内の空でないファイル名要素（dot および dot-dot を除く）の数から、dot-dot ファイル名要素の数を引いたものとして定義します。N < 0 の場合、デフォルト構築されたパスを返します。
• それ以外の場合、もし N = 0 かつ a == end() || a->empty() ならば、path(".") を返します。
• それ以外の場合は、次の要素から構成されるオブジェクトを返します。

• デフォルト構築された path()、次に
• N 回の operator/=(path(".."))、次に
• 半開区間 [a, end()) の各要素に対する operator/= の適用。

3) lexically_relative(base) の値が空でないパスである場合、それを返します。それ以外の場合は *this を返します。

パラメータ

(なし)

戻り値

1) パスの正規化された形式。

2) パスの相対形式。

3) パスの近接形式。

例外

実装定義の例外をスローする場合があります。

注記

これらの変換は純粋に字句的なものです。パスが存在するかどうかをチェックせず、シンボリックリンクをたどらず、ファイルシステムには一切アクセスしません。lexically_relative および lexically_proximate のシンボリックリンクをたどる対応する機能については、relative および proximate を参照してください。

Windows では、返される path はバックスラッシュ（推奨される区切り文字）を使用します。

POSIX では、相対パス内のファイル名に ルート名 として受け入れられるものはありません。

例

このコードを実行

#include <cassert>
#include <filesystem>
#include <iostream>
namespace fs = std::filesystem;
 
int main()
{
    assert(fs::path("a/./b/..").lexically_normal() == "a/");
    assert(fs::path("a/.///b/../").lexically_normal() == "a/");
    assert(fs::path("/a/d").lexically_relative("/a/b/c") == "../../d");
    assert(fs::path("/a/b/c").lexically_relative("/a/d") == "../b/c");
    assert(fs::path("a/b/c").lexically_relative("a") == "b/c");
    assert(fs::path("a/b/c").lexically_relative("a/b/c/x/y") == "../..");
    assert(fs::path("a/b/c").lexically_relative("a/b/c") == ".");
    assert(fs::path("a/b").lexically_relative("c/d") == "../../a/b");
    assert(fs::path("a/b").lexically_relative("/a/b") == "");
    assert(fs::path("a/b").lexically_proximate("/a/b") == "a/b");
}

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 3070	C++17	ルート名にもなりうるファイル名が予期せぬ結果を引き起こす可能性がある	エラーケースとして扱われる
LWG 3096	C++17	末尾の "/" と "/." の処理が正しくない	修正済み

関連項目

relativeproximate (C++17)

相対パスを構成する (関数)