intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-04 20:00:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

[libc++][docs] Confirm that P3136R1 Retiring niebloids is Complete (#135932)

Browse Source 
As libc++ has been implementing niebloids as CPOs since LLVM 14 due to
https://reviews.llvm.org/D116570.

Also changes some comments in test files to use the formal term
"algorithm function object".

Closes #118133.
This commit is contained in:
A. Jiang
2025-05-08 03:20:43 +08:00
committed by GitHub
parent 74c0422cfe
commit fc281e1b4f
3 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
libcxx/docs/Status/Cxx2cPapers.csv
View File

@@ -76,7 +76,7 @@
"`P2422R1 <https://wg21.link/P2422R1>`__","Remove ``nodiscard`` annotations from the standard library specification","2024-06 (St. Louis)","|Complete|","19","``nodiscard`` attributes were kept as a conforming extension"
"`P2300R10 <https://wg21.link/P2300R10>`__","``std::execution``","2024-06 (St. Louis)","","",""
"","","","","",""
"`P3136R1 <https://wg21.link/P3136R1>`__","Retiring niebloids","2024-11 (Wrocław)","","",""
"`P3136R1 <https://wg21.link/P3136R1>`__","Retiring niebloids","2024-11 (Wrocław)","|Complete|","14",""
"`P3138R5 <https://wg21.link/P3138R5>`__","``views::cache_latest``","2024-11 (Wrocław)","","",""
"`P3379R0 <https://wg21.link/P3379R0>`__","Constrain ``std::expected`` equality operators","2024-11 (Wrocław)","","",""
"`P2862R1 <https://wg21.link/P2862R1>`__","``text_encoding::name()`` should never return null values","2024-11 (Wrocław)","","",""
1 Paper # Paper Name Meeting Status First released version Notes
76 `P2422R1 <https://wg21.link/P2422R1>`__ Remove ``nodiscard`` annotations from the standard library specification 2024-06 (St. Louis) |Complete| 19 ``nodiscard`` attributes were kept as a conforming extension
77 `P2300R10 <https://wg21.link/P2300R10>`__ ``std::execution`` 2024-06 (St. Louis)
78
79 `P3136R1 <https://wg21.link/P3136R1>`__ Retiring niebloids 2024-11 (Wrocław) |Complete| 14
80 `P3138R5 <https://wg21.link/P3138R5>`__ ``views::cache_latest`` 2024-11 (Wrocław)
81 `P3379R0 <https://wg21.link/P3379R0>`__ Constrain ``std::expected`` equality operators 2024-11 (Wrocław)
82 `P2862R1 <https://wg21.link/P2862R1>`__ ``text_encoding::name()`` should never return null values 2024-11 (Wrocław)

2
libcxx/test/std/algorithms/ranges_robust_against_omitting_invoke.pass.cpp
View File

@@ -35,7 +35,7 @@ struct Bar {
Bar create() const { return Bar(); }
};
// Invokes both the (iterator, sentinel, ...) and the (range, ...) overloads of the given niebloid.
// Invokes both the (iterator, sentinel, ...) and the (range, ...) overloads of the given algorithm function object.
// (in, ...)
template <class Func, std::ranges::range Input, class... Args>

13
libcxx/test/std/library/description/conventions/customization.point.object/niebloid.compile.pass.cpp
View File

@@ -9,6 +9,7 @@
// UNSUPPORTED: c++03, c++11, c++14, c++17
// REQUIRES: stdlib=libc++
// [alg.func.obj]
// [algorithms.requirements]/2
// [range.iter.ops.general]/2
@@ -24,12 +25,14 @@
#include "test_macros.h"
// Niebloids, unlike CPOs, are *not* required to be semiregular or even to have
// a declared type at all; they are specified as "magic" overload sets whose
// names are not found by argument-dependent lookup and which inhibit
// argument-dependent lookup if they are found via a `using`-declaration.
// Before P3136R1, niebloids were pedantically not CPOs, and they were *not* required to be semiregular or
// even to have a declared type at all; they were specified as "magic" overload sets
// whose names are not found by argument-dependent lookup and
// which inhibit argument-dependent lookup if they are found via a `using`-declaration.
//
// libc++ implements them using the same function-object technique we use for CPOs;
// As of P3136R1, niebloids (formally known as algorithm function objects) are required to be CPOs.
//
// libc++ implements niebloids in the same way as CPOs since LLVM 14;
// therefore this file should stay in sync with ./cpo.compile.pass.cpp.
template <class CPO, class... Args>