std::filesystem::canonical, std::filesystem::weakly_canonical

在头文件 `<filesystem>` 中定义
path canonical( const std::filesystem::path& p );	(1)	(自 C++17 起)
path canonical( const std::filesystem::path& p, std::error_code& ec );	(2)	(自 C++17 起)
path weakly_canonical( const std::filesystem::path& p );	(3)	(自 C++17 起)
path weakly_canonical( const std::filesystem::path& p, std::error_code& ec );	(4)	(自 C++17 起)

1,2) 将路径 p 转换为规范的绝对路径，即其通用格式表示中没有点、点点元素或符号链接的绝对路径。如果 p 不是绝对路径，则该函数的行为就好像它首先通过 std::filesystem::absolute(p) 成为绝对路径。路径 p 必须存在。

3,4) 返回一个路径，该路径由 operator/= 从对 p 的前导元素（如 status(p) 或 status(p, ec) 所确定）组成的路径参数调用 canonical() 的结果构成，如果有的话，后面跟着 p 中不存在的元素。生成的路径采用规范形式。

[编辑] 参数

p	-	路径，可以是绝对路径或相对路径；对于 `canonical`，它必须是现有路径
ec	-	用于存储错误状态的错误代码

[编辑] 返回值

1,2) 一个绝对路径，它解析到与 std::filesystem::absolute(p) 相同的文件。

3,4) 形式为 canonical(x)/y 的规范路径，其中 x 是由 p 中存在的元素的最长前导序列组成的路径，而 y 是由 p 中其余的尾随不存在元素组成的路径。

[编辑] 异常

任何未标记为 noexcept 的重载如果内存分配失败，可能会抛出 std::bad_alloc。

1,3) 在底层操作系统 API 错误上抛出 std::filesystem::filesystem_error，使用 p 作为第一个路径参数，并使用操作系统错误代码作为错误代码参数进行构造。

2,4) 如果操作系统 API 调用失败，则将 std::error_code& 参数设置为操作系统 API 错误代码，如果未发生错误，则执行 ec.clear()。

[编辑] 备注

函数 canonical() 仿照 POSIX realpath。

函数 weakly_canonical() 是为了简化 relative() 的操作语义而引入的。

[编辑] 示例

运行此代码

#include <filesystem>
#include <iostream>
 
int main()
{
    /* set up sandbox directories:
     a
     └── b
         ├── c1
         │   └── d <== current path
         └── c2
             └── e
    */
    auto old = std::filesystem::current_path();
    auto tmp = std::filesystem::temp_directory_path();
    std::filesystem::current_path(tmp);
    auto d1 = tmp / "a/b/c1/d";
    auto d2 = tmp / "a/b/c2/e";
    std::filesystem::create_directories(d1);
    std::filesystem::create_directories(d2);
    std::filesystem::current_path(d1);
 
    auto p1 = std::filesystem::path("../../c2/./e");
    auto p2 = std::filesystem::path("../no-such-file");
    std::cout << "Current path is "
              << std::filesystem::current_path() << '\n'
              << "Canonical path for " << p1 << " is "
              << std::filesystem::canonical(p1) << '\n'
              << "Weakly canonical path for " << p2 << " is "
              << std::filesystem::weakly_canonical(p2) << '\n';
    try
    {
        [[maybe_unused]] auto x_x = std::filesystem::canonical(p2);
        // NOT REACHED
    }
    catch (const std::exception& ex)
    {
        std::cout << "Canonical path for " << p2 << " threw exception:\n"
                  << ex.what() << '\n';
    }
 
    // cleanup
    std::filesystem::current_path(old);
    const auto count = std::filesystem::remove_all(tmp / "a");
    std::cout << "Deleted " << count << " files or directories.\n";
}

可能的输出

Current path is "/tmp/a/b/c1/d"
Canonical path for "../../c2/./e" is "/tmp/a/b/c2/e"
Weakly canonical path for "../no-such-file" is "/tmp/a/b/c1/no-such-file"
Canonical path for "../no-such-file" threw exception:
filesystem error: in canonical: No such file or directory [../no-such-file] [/tmp/a/b/c1/d]
Deleted 6 files or directories.

[编辑] 缺陷报告

以下行为更改缺陷报告被追溯应用于之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2956	C++17	`canonical` 有一个无用的 `base` 参数	已删除

[编辑] 另请参阅

path (C++17)	表示路径 (类) [编辑]
absolute (C++17)	组合绝对路径 (函数) [编辑]
relativeproximate (C++17)	组合相对路径 (函数) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作