[libc++][spaceship] P1614R2: Added `operator==` to `file_status`

[H-G-Hristov]

Summary

Implemented parts of P1614R2:

• Added operator== to file_status

[H-G-Hristov]

Try to fix CI

[H-G-Hristov]

Try to fix CI

[Mordante]

LGTM!

libcxx/include/filesystem

251–275

Thanks!

libcxx/docs/Status/SpaceshipProjects.csv

 | `[time.zone.zonedtime.nonmembers] <https://wg21.link/time.zone.zonedtime.nonmembers>`_
 | `[time.zone.leap.nonmembers] <https://wg21.link/time.zone.leap.nonmembers>`_
 | `[time.zone.link.nonmembers] <https://wg21.link/time.zone.link.nonmembers>`_","| chrono::time_zone
 | chrono::leap_second
 | chrono::time_zone_link",A ``<chrono>`` implementation,Unassigned,|Not Started|
 - `5.13 Clause 28: Localization library <https://wg21.link/p1614r2#clause-28-localization-library>`_,,,,
 "| `[locale] <https://wg21.link/locale>`_
 | `[locale.operators] <https://wg21.link/locale.operators>`_",| remove ops `locale`,None,Unassigned,|Not Started|
-- `5.14 Clause 29: Input/output library <https://wg21.link/p1614r2clause-29-inputoutput-library>`_,,,,
+- `5.14 Clause 29: Input/output library <https://wg21.link/p1614r2#clause-29-inputoutput-library>`_,,,,
 | `[fs.filesystem.syn] <https://wg21.link/fs.filesystem.syn>`_,| `filesystem::space_info <https://reviews.llvm.org/D130861>`_,None,Adrian Vogelsgesang,|Complete|
 "| `[fs.class.path] <https://wg21.link/fs.class.path>`_
 | `[fs.path.nonmember] <https://wg21.link/fs.path.nonmember>`_",| `filesystem::path <https://reviews.llvm.org/D130859>`_,None,Adrian Vogelsgesang,|Complete|
-| `[fs.class.file.status] <https://wg21.link/fs.class.file.status>`_,|,None,Unassigned,|Not Started|
+| `[fs.class.file.status] <https://wg21.link/fs.class.file.status>`_,| `file_status <https://reviews.llvm.org/D152647>`_,None,Hristo Hristov,|Complete|
 "| `[fs.class.directory.entry] <https://wg21.link/fs.class.directory.entry>`_
 | `[fs.dir.entry.obs] <https://wg21.link/fs.dir.entry.obs>`_",| `filesystem::directory_entry <https://reviews.llvm.org/D130860>`_,None,Adrian Vogelsgesang,|Complete|
 - `5.15 Clause 30: Regular expressions library <https://wg21.link/p1614r2#clause-30-regular-expressions-library>`_,,,,
 | `[re.syn] <https://wg21.link/re.syn>`_,|,None,Mark de Wever,|In Progress|
 | `[re.submatch.op] <https://wg21.link/re.submatch.op>`_,| `sub_match <https://reviews.llvm.org/D132310>`_,None,Mark de Wever,|Complete|
 | `[re.results.nonmember] <https://wg21.link/re.results.nonmember>`_,| remove ops `match_results`,None,Mark de Wever,|In Progress|
 "| `[re.regiter] <https://wg21.link/re.regiter>`_,
 | `[re.regiter.comp] <https://wg21.link/re.regiter.comp>`_",| remove ops `regex_iterator`,None,Mark de Wever,|In Progress|

libcxx/include/__filesystem/file_status.h

public:
 
   // modifiers
   _LIBCPP_INLINE_VISIBILITY
   void type(file_type __ft) noexcept { __ft_ = __ft; }
 
   _LIBCPP_INLINE_VISIBILITY
   void permissions(perms __p) noexcept { __prms_ = __p; }
 
+#  if _LIBCPP_STD_VER >= 20
+
+  _LIBCPP_HIDE_FROM_ABI friend bool operator==(const file_status& __lhs, const file_status& __rhs) noexcept {
+    return __lhs.type() == __rhs.type() && __lhs.permissions() == __rhs.permissions();
+  }
+
+#  endif
+
 private:
   file_type __ft_;
   perms __prms_;
 };
 
 _LIBCPP_AVAILABILITY_FILESYSTEM_LIBRARY_POP
 
 _LIBCPP_END_NAMESPACE_FILESYSTEM
 
 #endif // _LIBCPP_CXX03_LANG
 
 #endif // _LIBCPP___FILESYSTEM_FILE_STATUS_H

libcxx/include/filesystem

/*
     directory_iterator end(directory_iterator) noexcept;
 
     class recursive_directory_iterator;
 
     // enable recursive_directory_iterator range-based for statements
     recursive_directory_iterator begin(recursive_directory_iterator iter) noexcept;
     recursive_directory_iterator end(recursive_directory_iterator) noexcept;
 
-    class file_status;
+  class file_status {
+  public:
+    // [fs.file.status.cons], constructors and destructor
+    file_status() noexcept : file_status(file_type::none) {}
+    explicit file_status(file_type ft,
+                         perms prms = perms::unknown) noexcept;
+    file_status(const file_status&) noexcept = default;
+    file_status(file_status&&) noexcept = default;
+    ~file_status();
+
+    // assignments
+    file_status& operator=(const file_status&) noexcept = default;
+    file_status& operator=(file_status&&) noexcept = default;
+
+    // [fs.file.status.mods], modifiers
+    void       type(file_type ft) noexcept;
+    void       permissions(perms prms) noexcept;
+
+    // [fs.file.status.obs], observers
+    file_type  type() const noexcept;
+    perms      permissions() const noexcept;
+
+    friend bool operator==(const file_status& lhs, const file_status& rhs) noexcept
+      { return lhs.type() == rhs.type() && lhs.permissions() == rhs.permissions(); } // C++20
+  };
 
     struct space_info
     {
       uintmax_t capacity;
       uintmax_t free;
       uintmax_t available;
 
       friend bool operator==(const space_info&, const space_info&) = default; // C++20

libcxx/test/std/input.output/filesystems/class.file_status/file_status.status.eq.ops.cpp

+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03 c++11 c++14 c++17
+
+// <filesystem>
+
+// class file_status
+
+// friend bool operator==(const file_status& lhs, const file_status& rhs) noexcept
+//   { return lhs.type() == rhs.type() && lhs.permissions() == rhs.permissions(); } // C++20
+
+#include <cassert>
+#include <filesystem>
+
+#include "test_macros.h"
+
+void test() {
+  {
+    std::fileystem::file_status f1;
+    std::fileystem::file_status f2;
+
+    assert(testEquality(f1, f2, true));
+  }
+  {
+    std::fileystem::file_status f1{std::filesystem::file_type::regular, std::filesystem::perms::owner_read};
+    std::fileystem::file_status f2{std::filesystem::file_type::regular, std::filesystem::perms::owner_read};
+
+    assert(testEquality(f1, f2, true));
+  }
+  {
+    std::fileystem::file_status f1{std::filesystem::file_type::regular, std::filesystem::perms::owner_read};
+    std::fileystem::file_status f2{std::filesystem::file_type::none, std::filesystem::perms::owner_read};
+
+    assert(testEquality(f1, f2, false));
+  }
+  {
+    std::fileystem::file_status f1{std::filesystem::file_type::regular, std::filesystem::perms::owner_read};
+    std::fileystem::file_status f2{std::filesystem::file_type::regular, std::filesystem::perms::owner_write};
+
+    assert(testEquality(f1, f2, false));
+  }
+}
+
+int main(int, char**) {
+  test();
+
+  return 0;
+}