[libcxx-commits] [libcxx] [libc++] LWG4497: `std::nullopt_t` should be comparable (PR #195549)

A. Jiang via libcxx-commits libcxx-commits at lists.llvm.org
Fri May 8 19:29:49 PDT 2026


================
@@ -0,0 +1,53 @@
+//===----------------------------------------------------------------------===//
+//
+// 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
+// <optional>
+
+// struct nullopt_t{see below};
+// inline constexpr nullopt_t nullopt(unspecified);
+
+// [optional.nullopt]/2:
+//  nullopt_t models copyable and three_way_comparable<strong_ordering>.
+
+#include <ratio>
+#include <vector>
+#include <ranges>
+#include <cassert>
+#include <algorithm>
+#include <optional>
----------------
frederick-vs-ja wrote:

`<ratio>` and `<ranges>` are actually unused. We can just include `<concepts>`. Note that `<compare>` is guaranteed to be transitively included by `<optional>` and `<vector>`.

```suggestion
#include <algorithm>
#include <cassert>
#include <concepts>
#include <optional>
#include <vector>
```

https://github.com/llvm/llvm-project/pull/195549


More information about the libcxx-commits mailing list