30 Input/output library [input.output]

30.10 File systems [filesystems]

30.10.27 Class path [fs.class.path]

30.10.27.4 path members [fs.path.member]

30.10.27.4.11 path generation [fs.path.gen]

path lexically_normal() const;

1
#

Returns: Путь, имя которого в универсальном формате normal form совпадает с именем пути в универсальном формате *this.

2
#

[ Example: 

assert(path("foo/./bar/..").lexically_normal() == "foo/");
assert(path("foo/.///bar/../").lexically_normal() == "foo/");

Вышеупомянутые утверждения будут успешными. В Windows directory-separatorсимволы возвращаемого пути будут обратной косой чертой, а не косой чертой, но это не влияет на path равенство. ]  — end example 

path lexically_relative(const path& base) const;

3
#

Returns: *this сделано относительно base. Нет resolve символических ссылок. Не первое normalize *this или base.

4
#

Effects: Если root_­name() != base.root_­name() есть true или is_­absolute() != base.is_­absolute() есть true или !has_­root_­directory() && base.has_­root_­directory() есть true, возвращается path(). Определяет первый несовпадающий элемент *this и base как будто по: 

auto [a, b] = mismatch(begin(), end(), base.begin(), base.end());

Потом,

  • (4.1)

    если a == end() и b == base.end(), возвращается path("."); иначе

  • (4.2)

    пусть n будет количество filenameэлементов [b, base.end()) , которых нет, dot или dot-dot минус количество, которые есть dot-dot. Если n<0, возвращается path(); иначе

  • (4.3)

    возвращает объект класса path , созданный по умолчанию, за которым следует

    • (4.3.1)

      приложение operator/=(path("..")) n времен, а затем

    • (4.3.2)

      применение operator/= для каждого элемента в [a, end()).

5
#

[ Example: 

assert(path("/a/d").lexically_relative("/a/b/c") == "../../d");
assert(path("/a/b/c").lexically_relative("/a/d") == "../b/c");
assert(path("a/b/c").lexically_relative("a") == "b/c");
assert(path("a/b/c").lexically_relative("a/b/c/x/y") == "../..");
assert(path("a/b/c").lexically_relative("a/b/c") == ".");
assert(path("a/b").lexically_relative("c/d") == "../../a/b");

Вышеупомянутые утверждения будут успешными. В Windows directory-separatorсимволы возвращаемого пути будут обратной косой чертой, а не косой чертой, но это не влияет на path равенство. ] — end example 

6
#

[  Note: Если требуется символическая ссылка, следующая за семантикой, используйте операционную функцию relative(). ]  — end note 

7
#

[  Note: Если normalization необходимо , чтобы обеспечить последовательное согласование элементов, применяются lexically_­normal() к *this, baseили обоих. ]  — end note 

path lexically_proximate(const path& base) const;

8
#

Returns: Если значение lexically_­relative(base) не является пустым путем, верните его. В противном случае вернитесь *this.

9
#

[  Note: Если требуется символическая ссылка, следующая за семантикой, используйте операционную функцию proximate(). ]  — end note 

10
#

[  Note: Если normalization необходимо , чтобы обеспечить последовательное согласование элементов, применяются lexically_­normal() к *this, baseили обоих. ]  — end note