c++ - 如何使用成员函数进行标准库范围操作

Question

我需要在目录中找到所有常规文件，并且想使用 C++20 范围(不是 Eric Niebler 的范围-v3)库。我想出了以下代码:

namespace fs = std::filesystem;

std::vector<fs::directory_entry> entries{ fs::directory_iterator("D:\\Path"), fs::directory_iterator() };

std::vector<fs::path> paths;
std::ranges::copy(entries |
    std::views::filter([](const fs::directory_entry& entry) { return entry.is_regular_file(); }) |
    std::views::transform([](const fs::directory_entry& entry) { return entry.path(); }),
    std::back_inserter(paths));

这行得通，但我对使用 lambda 的额外样板感到不舒服；我习惯了 Java 8 流库，我不明白为什么我不能直接使用成员函数。这是我第一次尝试重构:

std::ranges::copy(entries |
    std::views::filter(fs::directory_entry::is_regular_file) |
    std::views::transform(fs::directory_entry::path),
    std::back_inserter(paths));

这导致了编译器错误:

error C3867: 'std::filesystem::directory_entry::is_regular_file': non-standard syntax; use '&' to create a pointer to member
error C3889: call to object of class type 'std::ranges::views::_Filter_fn': no matching call operator found
...

所以我尝试了这个:

std::ranges::copy(entries |
    std::views::filter(&fs::directory_entry::is_regular_file) |
    std::views::transform(&fs::directory_entry::path),
    std::back_inserter(paths));

这修复了第一个错误，但没有修复第二个错误:

error C3889: call to object of class type 'std::ranges::views::_Filter_fn': no matching call operator found
...

所以我找到了Using member variable as predicate ，这看起来很有希望，所以我尝试了:

std::ranges::copy(entries |
    std::views::filter(std::mem_fn(&fs::directory_entry::is_regular_file)) |
    std::views::transform(std::mem_fn(&fs::directory_entry::path)),
    std::back_inserter(paths));

这导致了新的编译器错误:

error C2672: 'std::mem_fn': no matching overloaded function found
...

请注意，std::bind 似乎也不起作用。任何帮助将不胜感激，谢谢!

Answer 1

只是 &fs::​​directory_entry::is_regular_file 作为参数在原则上是正确的，假设函数只有一个非模板重载。指针只能指向一个函数(或函数模板特化)，不能指向重载集。

但是，根据标准，directory_entry::is_regular_file 有两个重载.要为指针选择其中之一，您需要直接在指针周围添加一个显式强制转换，目标指针类型与您要选择的重载类型相匹配。在这种特殊情况下，& 运算符将从重载集中选择与目标类型匹配的函数。

但即便如此，标准仍表示如果您尝试使用任何 引用或指向标准库类的非静态成员的指针，行为是未指定的。这基本上允许标准库实现者更改重载集，只要直接调用函数的行为就像标准中指定的重载一样。

在您的第一个示例中使用 lambda 是预期用途，也是唯一保证有效的用途。不过，您可以稍微减少样板。您无需重复参数类型。

[](auto& entry) { return entry.is_regular_file(); }

同样有效。

如果你经常需要这个并且你对输入 lambda 感到恼火，你也可以为它自己写一个宏。有点像

#define LIFT_MEMBER_FUNC(func) \
    ([](auto&& obj, auto&&... args) \
    noexcept(noexcept((decltype(obj)(obj)).func(decltype(args)(args)...))) \
    -> decltype(auto) \
    requires requires { (decltype(obj)(obj)).func(decltype(args)(args)...); } \
    { return (decltype(obj)(obj)).func(decltype(args)(args)...); })

然后

std::views::filter(LIFT_MEMBER_FUNC(is_regular_file))

请注意，我尚未测试该宏，并且可能存在我未考虑的边缘情况。将其作为此类宏外观的指南。删除 requires 子句(使其对 SFINAE 不友好)或删除 noexcept 行(使其不转发 noexcept)的简化版本或仅用 X 替换 decltype(X)(X)(使其不完美转发)在大多数典型情况下也适用。

noexcept 转发期望不会对 lambda 返回值进行任何复制/移动构造函数调用，因此它仅适用于 C++17 或更高版本并且 需要 子句需要用 SFINAE 替换或在 C++20 之前删除。