path lexically_relative(const path& base) const;
概要
文字列レベルで相対パスに変換する。
この関数は、*this
が保持するパス文字列を、パスbase
からの相対パスに変換する。ただし、この関数ではファイルシステムを介さず文字列レベルで相対パスへの変換をするため、相対パスを解決できない場合がある。相対パスが解決できなかった場合は、空のパスが返る。ファイルシステムを介した相対パスへの変換を行う場合は、std::filesystem::relative()
関数を使用すること。
効果
- 以下のいずれかの条件に一致する場合、相対パスの解決ができず、空のパスが返る:
root_name() != base.root_name()
is_absolute() != base.is_absolute()
!has_root_directory() && base.has_root_directory()
- 以下の式で、
*this
とbase
が異なる最初の位置を見つける:auto [a, b] = std::mismatch(begin(), end(), base.begin(), base.end());
a == end()
かつb == base.end()
の場合、path(".")
が返る- イテレータ範囲
[b, base.end())
の非"."
(ドットx1) かつ非".."
(ドットx2) の数から、同範囲内の".."
の数を引いたものをn
とする n < 0
であれば、空のパスが返る- 新たな
path
型オブジェクトp
をデフォルト構築し、 - 式
p /= path("..")
をn回を適用する - イテレータ範囲
[a, end())
の各要素x
を、式p /= x
で加算する
備考
- この関数は、
*this
とbase
のどちらに対してもパスの正規化を行わない。必要であれば、どちらか、もしくは両方にlexically_normal()
メンバ関数を適用すること
例
#include <cassert>
#include <filesystem>
namespace fs = std::filesystem;
int main()
{
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");
}
出力
バージョン
言語
- C++17
処理系
- Clang:
- GCC: 8.1 ✅
- Visual C++: 2017 Update 7 ✅