This is an archive of the discontinued LLVM Phabricator instance.

[libc++][ranges] Implement ranges::uninitialized_default_construct{,_n}.
ClosedPublic

Authored by var-const on Dec 7 2021, 8:07 PM.

Details

Summary

Defined in [specialized.algorithms](wg21.link/specialized.algorithms).

Also:

  • refactor the existing non-range implementation so that most of it can be shared between the range-based and non-range-based algorithms;
  • remove an existing test for the non-range version of uninitialized_default_construct{,_n} that likely triggered undefined behavior (it read the values of built-ins after default-initializing them, essentially reading uninitialized memory).

Diff Detail

Event Timeline

var-const created this revision.Dec 7 2021, 8:07 PM
var-const requested review of this revision.Dec 7 2021, 8:07 PM
Herald added a project: Restricted Project. · View Herald TranscriptDec 7 2021, 8:07 PM
Herald added a reviewer: Restricted Project. · View Herald Transcript
var-const updated this revision to Diff 392629.Dec 7 2021, 8:08 PM

Use the actual patch number on the ranges' status page.

var-const updated this revision to Diff 392630.Dec 7 2021, 8:09 PM

Remove extraneous parentheses.

var-const updated this revision to Diff 392631.Dec 7 2021, 8:10 PM

Formatting

var-const updated this revision to Diff 392632.Dec 7 2021, 8:15 PM

Remove accidentally copied

var-const updated this revision to Diff 392633.Dec 7 2021, 8:16 PM

Formatting

var-const updated this revision to Diff 392634.Dec 7 2021, 8:19 PM

Annotate test file

libcxx/include/__memory/uninitialized_algorithms.h
126

This should be a backward-compatible change -- the C++17 public function still checks that the passed parameters have the same type.

126

This function now always returns the iterator to accommodate all callers. I presume this can be easily optimized away for the callers that don't use the result.

132

Note: this cast is simpler than the [voidify](http://eel.is/c++draft/specialized.algorithms#general-4) function that the Standard mandates. Should I fix this, or is there a reason why a simple cast to void* is sufficient here?

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
16–18

Is it necessary to list out all the constraints here, or would just ForwardIterator ranges::uninitialized_default_construct(ForwardIterator first, Sentinel last) (or even just ranges::uninitialized_default_construct) suffice?

148

These tests are heavily inspired by libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/uninitialized_default_construct.pass.cpp.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct_n.pass.cpp
4

I think it would make sense to merge this file with the version taking iterator+sentinel / range because the tests are very similar and it would help cut down the boilerplate.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/uninitialized_default_construct.pass.cpp
26

It was unused.

Quuxplusone requested changes to this revision.Dec 8 2021, 10:34 AM
Quuxplusone added a subscriber: Quuxplusone.

Other than inline namespace __cpo and some of my comments on the tests, this looks basically good to me.

libcxx/include/__memory/ranges_uninitialized_algorithms.h
9

I'm still weakly inclined to split this up into ranges_uninitialized_default_construct.h, ranges_uninitialized_value_construct.h, ranges_uninitialized_copy.h, ranges_uninitialized_move.h, ranges_uninitialized_fill.h.

I imagine it's OK to have ranges::foo and ranges::foo_n in the same header, since the Standard actually does the same thing with its subsection naming (e.g. both ranges::uninitialized_fill and ranges::uninitialized_fill_n are located in https://eel.is/c++draft/uninitialized.fill ). We have two bad options here: smushing all ten niebloids into 1 header of 175 lines, or spreading them out into 5 headers of 80 lines each.

I'm weakly in favor of "5 headers" but I guess "1 header of 175 lines total" doesn't sound too bad when I put it that way.

33

I believe this __function_like business has caused weird Modules errors before (hence the workarounds you'll see in a few places in the modulemap). It's not needed for conformance, so I would strongly prefer you simply omit it — "Keep It Simple."
Likewise I would personally omit the final cruft (it disables the EBO but otherwise has no effect except taking longer to read), but it's not going to cause weird Modules errors, so I don't care as much about whether or not we add final. :)

52

Line 47: please T&& t, not T &&t
Lines 39, 46, 64: please indent the requires-clause two spaces

54–55

Here and line 73, please inline namespace __cpo { ~~~ }. (See https://quuxplusone.github.io/blog/2021/12/07/namespace-cpo/ for my rationale, which boils down to "consistency.")

69

This is actually specced as

return uninitialized_default_construct(counted_iterator(first, n), default_sentinel).base();

but is the difference observable? I can't think of a reason it would be, so I'm fine with this as you've written it.

libcxx/include/__memory/uninitialized_algorithms.h
132

I can't think of any reason a simple cast to void* would be insufficient. I'd leave it simple until-and-unless someone comes up with a positive reason and gives us a regression test case. Otherwise, you'll complexify the code and someone six months from now will ask why it can't be simpler.

libcxx/include/memory
235

Here and above: lowercase // since C++20

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
16–18

Personally, I'd err on the side of "just cut and paste what the Standard's synopsis says," which I believe is exactly what you've done here.

However, if you had just written // ranges::uninitialized_default_construct, I personally wouldn't have bothered to complain about it, either. :)

62–72

Let's also do some non-common ranges. I suggest these three tests in place of lines 68–71:

std::ranges::uninitialized_default_construct(std::ranges::empty<Counted>);  // [basically the same as your 68–69, but gives nullptr for begin and end instead of as_array]
assert(Counted::current_objects == 0);
assert(Counted::total_objects == 0);

auto it = forward_iterator<Counted*>(as_array);
auto r = std::ranges::subrange(it, sentinel_wrapper<forward_iterator<Counted*>>(it));
std::ranges::uninitialized_default_construct(r.begin(), r.end());
assert(Counted::current_objects == 0);
assert(Counted::total_objects == 0);

std::ranges::uninitialized_default_construct(r);
assert(Counted::current_objects == 0);
assert(Counted::total_objects == 0);

Ditto throughout: please make sure to test non-common ranges, because that's really the major feature you're actually adding here (e.g. that's why you had to modify the non-ranges version of the algorithm).

104–117

I'm pretty sure this is UB. array[0] is trivially destructible, so it's cool that you're skipping its destructor before creating a new int object at that location; but then you're reading the value of that new int object, and you haven't actually given it a value (default-constructing a primitive type doesn't set its value). So line 107 is UB.
Just remove this whole function. Even if it weren't UB, I'm not clear on what it's trying to test.

(and yeah, I say the same thing about test_value_initialized() from uninitialized_default_construct.pass.cpp)

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/special_function.compile.pass.cpp
24–55 ↗(On Diff #392634)

This seems like overkill. (Certainly adl_forward_iterator needn't be a template! And you see why inheriting from things-that-aren't-meant-for-inheritance is a bad idea.)
I recommend replacing this whole thing with two lines, which can go in their respective .pass.cpp files:

static_assert(std::is_class_v<decltype(std::ranges::uninitialized_default_construct)>);
static_assert(std::is_class_v<decltype(std::ranges::uninitialized_default_construct_n)>);

I recommend adding a bonus test case for their SFINAE, as well:

struct NotDefaultCtable { NotDefaultCtable(int); };
static_assert(!std::is_invocable_v<decltype(std::ranges::uninitialized_default_construct), NotDefaultCtable*, NotDefaultCtable*>);
static_assert(!std::is_invocable_v<decltype(std::ranges::uninitialized_default_construct_n), NotDefaultCtable*, int>);
This revision now requires changes to proceed.Dec 8 2021, 10:34 AM
libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct_n.pass.cpp
4

FWIW, that seems like a reasonable rationale to me, but it does go against our general rule of "separate test files for separate functionalities." And the boilerplate isn't costing us much.

28

I forgot to mention, I'm not a big fan of this alias (I'd rather see std::ranges:: everywhere), but if you must pick a name for the alias, then this is 100% the best name. It prevents me from git grep -l std::ranges::foo, but at least I can still git grep -l ranges::foo if I suspect this trick has been played. :)

ldionne requested changes to this revision.Dec 8 2021, 11:49 AM
ldionne added a subscriber: ldionne.

Overall LGTM with some comments. Thanks a lot, this is awesome and I love the direction we are taking for these algorithms.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
11

Need to add libcpp-has-no-incomplete-ranges.

12

We don't support it anymore, none of our tests mention this anymore unless I'm mistaken.

61

I've expressed this preference in other patches (not yours), but IMO it's better to use a comment to describe what we're testing, since it allows using plain english instead of trying to cram as much meaning as possible into a few identifiers (a function name). I would suggest:

void test() {
  // comment1
  {
    ...
  }

  // comment2
  {
    ...
  }

#ifndef TEST_HAS_NO_EXCEPTIONS
  {
    ...
  }
#endif
}
63

Non-binding, just a suggestion. I generally find it easier to glance at code when types are explicit since I don't have to parse and understand the expression used to initialize the variable in order to know its type. In this case it's arguably simple since it's a reinterpret_cast, but still.

Generally, I take auto as meaning: "you don't care about the specific type of the variable since it results from something more complex (like an expression template or a views::foo(...) call), so don't even try". When I see that, I basically assume that the precise type of the variable isn't important, only the properties of that type are. Here this isn't the case.

148–153
ldionne added inline comments.Dec 8 2021, 11:49 AM
libcxx/include/__memory/ranges_uninitialized_algorithms.h
9

I am mostly neutral on this, however I don't believe the different algorithms are going to have significantly different header dependencies. In that case, I think it might be simpler to just cram them into the same header -- after all they are closely related.

Like I said, no strong opinion here anyway.

33

About final -- we have [[no_unique_address]] now so EBO shouldn't be an issue.

Regarding modules issues, basically it means you're going to need to export it from your private submodule, like so:

module ranges_uninitialized_algorithms {
    private header "__memory/ranges_uninitialized_algorithms.h"
    export __function_like
}

FWIW, I think there is some utility to removing things like addressability from our niebloids, the complexity around modules is just a bit annoying but it's still worth doing. Just my .02, this isn't anything close to "over my dead body".

libcxx/include/__memory/uninitialized_algorithms.h
132

When @Quuxplusone originally removed __voidify in D93153, I was fine with it. I just did some additional research and I suspect it might have been wrong: https://githubmemory.com/repo/microsoft/STL/issues/1780

I think we should figure out what the situation is and either confirm that we're conforming, or fix all the places where we use (void*)x but the standard says __voidify(x).

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
16–18

The only caveat to using // ranges::uninitialized_default_construct is that it's good to see the different overloads being tested. I really dislike seeing a test file that doesn't clearly say whether it tests all overloads of a function or not. In C++, different overloads often have different properties, and so they are really different functions entirely. They just happen to share the same "base name".

TLDR: IMO the current approach (copy-paste synopsis) is the best.

104–117

I actually buy @Quuxplusone 's reasoning as well.

Initially I thought we were verifying that we called the default constructor for trivially default constructible types, which does nothing (and hence doesn't overwrite the value). But I agree this looks like UB as well based on your reasoning.

IIUC, what we're *actually* trying to test here is that we are not calling any constructors. One way to do this would be to add a .sh.cpp test using FileCheck where we check the LLVM bitcode output, like they often do in Clang. I think it would be awesome to have that infrastructure available, however at the moment FileCheck isn't available while running the libc++ tests.

So IMO the pragmatic thing to do right now is to remove the test.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/special_function.compile.pass.cpp
24–55 ↗(On Diff #392634)

[Using static_assert(std::is_class_v<...>)]

Interesting trick! It's true that if it's a class type, then ADL for sure won't trigger, so we'd have the same coverage. However, implementations are technically allowed to use functions (it would presumably be implemented with some sort of attribute) to inhibit ADL, so this would have to be LIBCPP_STATIC_ASSERT because std::is_class_v would be libc++ specific.

I don't have a strong opinion about this, but I agree this is pretty attractive from a simplicity perspective.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/special_function.compile.pass.cpp
24–55 ↗(On Diff #392634)

implementations are technically allowed to use functions

Sure, technically, but until literally anyone does even a proof of concept patch to literally any compiler in the world to permit that, I think we can discount the possibility. ;) (This is closely adjacent to my logic against __function_like, btw. Everyone knows that niebloids are objects-not-functions; there's no engineering benefit gained by pretending things aren't as they are, and meanwhile there are engineering costs.)

libcxx/include/__memory/uninitialized_algorithms.h
132

(Argh, I keep forgetting to reply to things on the first go-round. Sorry.)
IIUC, STL's comment there indicates that we should add a test case for const iterators, e.g.

auto cit = forward_iterator<const Counted*>(as_array);
auto r = std::ranges::subrange(cit, sentinel_wrapper<forward_iterator<const Counted*>>(cit + 2));
std::ranges::uninitialized_default_construct(r.begin(), r.end());
assert(Counted::current_objects == 2);
assert(Counted::total_objects == 2);

That's missing test coverage today, but AFAIK it's not an argument against the simple cast to (void*). C-style casts are allowed to cast away constness.

var-const updated this revision to Diff 393014.Dec 8 2021, 8:00 PM
var-const marked 16 inline comments as done.
  • Address feedback;
  • Create Buffer class in tests.

Note: I have refactored the repetitive initialization code into a helper Buffer class that I hope can be reused across similar tests.

libcxx/include/__memory/ranges_uninitialized_algorithms.h
9

I'm slightly in favor of keeping these in a single file because they're closely related and I personally find it easier to read when related things are all in one place. I don't have a strong objection to separating these, though.

What I can do is to keep everything in a single file for the initial implementation and then have an NFC commit to split them. I hope at that point it would be clearer which approach is more readable here, and we can decide whether to merge or revert that patch.

33

I think the idea here is to make sure no users can end up accidentally depending on any properties that aren't explicitly guaranteed by the Standard (and yes, their code would be in error in that case, but it's still a possible problem that would require somebody to spend time fixing it, and we can prevent that problem from happening in the implementation). It does go beyond what is strictly necessary for conformance, but arguably it can result in slightly better experience for the users. Moreover, removing __function_like in the future should be a non-breaking change (I don't think ABI is a concern here, though I can easily be wrong on this), whereas going the other way round could realistically break somebody.

Also, we already have precedent in some of the iterator algorithms (e.g. advance and next). This isn't a particularly strong argument because there are very few instances, so changing them is quite simple. Basically, we would just need to make sure we are consistent.

52

Done, thanks!

54–55

Thanks! Very helpful article.

69

Sorry, I should have called it out in my comments. Yes, I did this deliberately because I couldn't think of a case where the two forms wouldn't be equivalent, and delegating directly to the internal helper _n function seemed simpler than creating a wrapped iterator then delegating to the other helper.

libcxx/include/__memory/uninitialized_algorithms.h
132

Added the test.

It looks like until C++20, the Standard defined voidify as performing a simple static_cast<void*> cast, but that would fail if the given type is cv-qualified because static_cast can't cast away cv qualifiers. The new definition works around it by doing two casts, a static_cast followed by a const_cast. However, it does seem like a simple C-style cast can achieve the same effect. I checked that the C-style cast succeeds when used with const iterators whereas the old static_cast<void*> approach fails as expected.

I still feel like we should have a dedicated __voidify function (that can use the C-style cast). For one, it would allow defining (and documenting) our approach in one place. It would also follow the way things are laid out in the Standard more closely, which I think is a nice bonus.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
11

Thanks!

12

Done. I think I copied it from an unsubmitted patch which presumably was written at a time when GCC 10 was still supported.

61

Done.

62–72

Added counted_iterator, views::counted and reverse_view. If you have any other suggestions, please let me know.

63

Thank you for explaining your rationale. The main reason I generally prefer using auto when doing casts is that auto can be taken to mean "use the exact same type as returned by the expression" (omitting nuances about constness and references for the purposes of this discussion). In other words, auto guarantees that no implicit conversion can take place, which could be relevant in a case like:

struct Base { ... };
struct Derived : Base { ... };

Base* p = reinterpret_cast<Derived*>(buffer); // Implicitly converted from `Derived` to `Base`
auto* p = reinterpret_cast<Derived*>(buffer); // Reader can be sure no implicit conversion can take place

While this isn't relevant here, this usage of auto arguably simplifies things for the reader by removing one case to watch out for (if used consistently).

Having said that, I see the value of your point as well. I was somewhat on the fence, so I decided to use consistency as a tie-breaker. A simple grep shows a single case of using auto with casts in the existing code; most existing casts specify the type directly. For this reason, I decided to go with your suggestion; after all, the benefits of either approach are mostly relevant only if they are followed consistently.

EDIT: after writing this, I refactored this code so that it became a member function and this is no longer applicable.

104–117

Thanks! Removed it here and in uninitialized_default_construct{,_n}.pass.cpp.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct_n.pass.cpp
28

Removed the alias. I took it from some existing code for consistency, but I don't have a strong preference.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/special_function.compile.pass.cpp
24–55 ↗(On Diff #392634)

This approach is definitely very attractive due to its simplicity. These ADL tests are verbose, apply to every single range algorithm and can't really be simplified much (AFAICT). On the other hand, the current approach has the advantage of testing the effects whereas the new approach tests the implementation.

All in all, I'm inclined to go with the simpler approach because the boilerplate savings it provides are very significant. Thanks for suggesting this!

As you suggested, I moved these checks to the existing test files. I have also used LIBCPP_STATIC_ASSERT, though I don't feel super strongly about it (from a practical point of view, I presume it's true that no existing implementation uses or has any particular reason to use a different implementation method).

I've also added a TODO to rewrite the existing tests using the new approach.

var-const updated this revision to Diff 393020.Dec 8 2021, 8:30 PM

Run libcxx-generate-files.

ldionne accepted this revision.Dec 9 2021, 10:37 AM

Ship it. I suggest going back to add __voidify in the places that need it in a separate patch. It should be possible to figure out the places that need it by grepping for voidify in the standard.

libcxx/include/__memory/uninitialized_algorithms.h
132

FWIW, I suspect the difference might be that a C-style cast can't appear inside a constexpr context (because it ends up reinterpret_casting).
+1 for adding back __voidify -- we should probably make this one _LIBCPP_ALWAYS_INLINE to improve the debugging experience.

var-const updated this revision to Diff 393254.Dec 9 2021, 12:28 PM

Small fixes, should fix the CI.

libcxx/include/__memory/uninitialized_algorithms.h
132

I'm not sure if having a C-style cast affects constexpr in this case. From my experiments, it looks like the compiler allows C-style casts as long as the cast doesn't actually perform a reinterpret_cast:

template <typename T>
constexpr void* voidify1(T& from) {
  // This works fine
  return const_cast<void*>(static_cast<const volatile void*>(&from));
}

template <typename T>
constexpr void* voidify2(T& from) {
  // This also works fine, presumably because it ends up
  // doing a `static_cast` followed by a `const_cast`
  return (void*)&from;
}

template <typename T>
constexpr void* voidify3(T& from) {
  struct Bar{};
  Bar* from2 = (Bar*)&from;
  // This doesn't work because converting to `Bar` can only
  // be done via a `reinterpret_cast`
  return (void*)from2;
}

I still feel like having a dedicated __voidify function. Whichever approach we end up deciding upon, it should be in one place where it's easy to document and easy to change.

Quuxplusone added inline comments.Dec 9 2021, 1:12 PM
libcxx/include/__memory/uninitialized_algorithms.h
132

Right, reinterpret-casts are illegal in constexpr, but C-style-casts-that-are-not-reinterpret-casts are still perfectly legal.

I'm sticking to my rationale for not reintroducing __voidify: The more unnecessarily complicated you make the code, the more churn it kicks up, as people with different opinions repeatedly (over the course of several years) remove the complexity (because simplicity is good) and reintroduce the complexity (because ???). Simple is the local minimum, if we just have a general policy of "no additional complexity unless it serves a purpose."

My hypothesis for why the Standard uses voidify is that maybe they have a policy against ever using C-style casts (which means they need to use two new-style casts here, to mimic a fraction of its power). But that also seems far-fetched. Does the history of the cplusplus/draft repo give any hints?

var-const added inline comments.Dec 9 2021, 3:42 PM
libcxx/include/__memory/uninitialized_algorithms.h
132

To be clear, I don't necessarily propose changing the implementation. What I currently have in mind is something like:

template <typename T>
void* __voidify(T& from) {
  // Note: the C-style cast can remove cv-qualifiers, achieving the
  // same result as the sample implementation of `voidify` in the
  // Standard in a simpler manner.
  return (void*)_VSTD::addressof(from);
}

...

for (; __idx != __last; ++__idx)
        ::new (__voidify(*__idx)) _ValueType;

I see several advantages:

  • avoids duplication, which prevents potential divergence;
  • follows the Standard more closely -- it's obvious to the reader that we do implement voidify (with the current implementation, I was at first wondering if the implementation preceded the time voidify was added to the Standard and not updated);
  • explains our implementation choice in a single place -- this should particularly help prevent any potential confusion and discussions in the future (or at the very least, the discussions would start having the necessary context so that people don't have to spend time wondering why it's implemented the way it is).
var-const updated this revision to Diff 393311.Dec 9 2021, 3:49 PM

Fix the CI, add export __function_like to module.modulemap.

var-const updated this revision to Diff 393359.Dec 9 2021, 6:09 PM

Fix the CI, pt.2.

var-const updated this revision to Diff 393661.Dec 10 2021, 9:09 PM

Rebase on main.

Fix CI (?) and rebase on main.

libcxx/include/__memory/ranges_uninitialized_algorithms.h
23

Please include the granular <__concepts/foo.h> headers here [er, in a-z order above], not all of <concepts>.

37

This should be as in the blog post too:

namespace __uninitialized_default_construct {
struct __fn {
};
} // namespace __uninitialized_default_construct

AIUI, this keeps the CPO's own type from ADL'ing into the std::ranges namespace; e.g. foobar(std::ranges::uninitialized_default_construct) should not consider std::ranges::foobar a candidate even if std::ranges::foobar is not a CPO itself.
Also, of course, consistency (Chesterton's Fence, the economist's hundred-dollar bill): if it were safe to omit the namespace, we'd certainly want to do it everywhere, not just here.

libcxx/test/std/iterators/iterator.primitives/range.iter.ops/range.iter.ops.next/special_function.compile.pass.cpp
91

Yay. :) IMHO a more helpful pattern for this comment would just be
// TODO: make consistent with std/iterato...compile.pass.cpp
and name one of the files that you consider to be correct. Then, even someone-not-you should be able to deduce exactly what this comment is asking them to do.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/uninitialized_default_construct.pass.cpp
90

Btw, please commit this removal in a separate commit, and/or make sure there's something in your commit message about how we believe this was UB and that's why it's gone now.

var-const marked an inline comment as done.

Review feedback

var-const edited the summary of this revision. (Show Details)Dec 13 2021, 12:56 PM
var-const added inline comments.
libcxx/include/__memory/ranges_uninitialized_algorithms.h
37

Done (I added an _ns suffix to the namespace name to make sure it's different from the name of the helper functions). Do we actually need a separate namespace for each CPO, though?

By the way, can you please elaborate on how this could be a problem, given that the type of the CPO is an underscore-prefixed internal type?

libcxx/test/std/iterators/iterator.primitives/range.iter.ops/range.iter.ops.next/special_function.compile.pass.cpp
91

I don't feel too strongly about this, but in general I'm a little wary about comments that (effectively) contain links to other code -- the linked code can change and the comment becomes stale (e.g. if in the future these checks were to be moved to a single file).

Perhaps it would be even better to combine both approaches (explain the intent _and_ link an example), but given that I plan to fix this in the next few days, it seems like overkill to me.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/uninitialized_default_construct.pass.cpp
90

Updated the commit message.

ldionne added inline comments.Dec 13 2021, 1:10 PM
libcxx/include/__memory/ranges_uninitialized_algorithms.h
37

I *think* we could instead have a single namespace named something like __cpo_detail and then instead name our helpers __uninitialized_default_construct_fn. We could explore that in a separate PR, but for the time being let's be consistent.

40

This should be called __fn so that it shows up consistently to other CPOs in compiler diagnostics.

libcxx/include/__memory/ranges_uninitialized_algorithms.h
33

(FWIW, I'd still prefer not to expand the sphere of influence of __function_like in this PR; but we're all on the same page that it's going to be trivial to remove later. I hope this is also taken as another bit of evidence that having multiple competing conventions sucks, and that consistency saves brain cells.)

37

(I added an _ns suffix to the namespace name to make sure it's different from the name of the helper functions).

(1) please don't add that suffix; (2) what helper functions do you mean? Are you talking about std::__uninitialized_default_construct? It's not std::ranges::__uninitialized_default_construct, so we don't need to worry about this namespace colliding with it. Again, we have an established convention already and you're being asked to copy it so that we have one convention used everywhere, instead of multiple conventions.

We could (in a separate PR) change libc++'s convention to use names like std::ranges::__cpo_detail::__uninitialized_default_construct_fn instead of std::ranges::__uninitialized_default_construct::__fn, but that benefits us literally nothing AFAICT and costs us a few bytes per symbol name (which translates to potentially lots of .o file size on disk).

can you please elaborate on how this could be a problem

https://godbolt.org/z/4c16P3YGK

var-const updated this revision to Diff 394135.Dec 13 2021, 9:20 PM

Review feedback

libcxx/include/__memory/ranges_uninitialized_algorithms.h
37

Removed the suffix.

Are you talking about std::__uninitialized_default_construct? It's not std::ranges::__uninitialized_default_construct, so we don't need to worry about this namespace colliding with it.

Yes, I mean (potential) confusion for the reader, not for the compiler. Changed to follow the convention.

https://godbolt.org/z/4c16P3YGK

Thanks! When I first thought about it, I presumed that RandomFunction would have to be __RandomFunction in our case, but now I see that it's not necessarily true.

40

Done, thanks. Also added a TODO to change the other few places which don't follow the convention.

Quuxplusone accepted this revision.Dec 14 2021, 7:02 AM

Looks good to me at this point!

libcxx/include/__iterator/advance.h
72 ↗(On Diff #394135)

And put it in the __advance namespace, and put advance into inline namespace __cpo; and remove __function_like. :) If you're volunteering for this, I will be thrilled to review it. :)

libcxx/test/std/iterators/iterator.primitives/range.iter.ops/range.iter.ops.next/special_function.compile.pass.cpp
91

Ack; OK if you leave this TODO comment as-is.
For the record, though, re "the linked code can change and the comment becomes stale": the benefit of wording the comment as "make consistent with [linked code]" is that even if the linked code does change, the comment remains correct! (Unless the linked code changes to match this code. ;)) A comment like "Here we should take approach X" might rot (if tomorrow we standardize on approach Y), but "Here we should be consistent and take the same approach as our neighbor" is evergreen.

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
211–212

Nit: Using the name capacity here instead of size is weird (compare to vector.size/capacity); but also can we just say 5 to sidestep the whole issue? (Applies throughout, I guess.)

219–222

FWIW, if you want, and if you rename Buffer.cbegin/cend to begin const/end const so that Buffer becomes more range-ish, then this can just be

std::ranges::uninitialized_default_construct(std::as_const(buf));
This revision is now accepted and ready to land.Dec 14 2021, 7:02 AM
var-const marked 3 inline comments as done.

Address feedback, try to fix the CI.

libcxx/include/__iterator/advance.h
72 ↗(On Diff #394135)

Thanks, I plan to do this cleanup before the end of the week.

libcxx/test/std/iterators/iterator.primitives/range.iter.ops/range.iter.ops.next/special_function.compile.pass.cpp
91

Sorry, I should have elaborated a bit more -- the kind of change I was thinking about is if the linked code was moved around (e.g. imagine in the future the code that checks CPO object properties is consolidated in a single file -- then the reader won't find anything in the test file that is "linked" here and would have to go dig through history to figure out what the comment was referring to).

libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.construct.default/ranges_uninitialized_default_construct.pass.cpp
211–212

Created a constant instead.

Regarding the naming issue: my initial thought was that what capacity returns essentially is just raw capacity, not size. The buffer allocates enough space for N elements, but it doesn't keep track of how many elements are actually created, which is what I would expect size to return.

OTOH, size in the vector sense arguably is inapplicable for Buffer because Buffer allows random access to all the N elements -- e.g. for a 5-element buffer, it's valid to have elements [1] and [3] initialized and everything else uninitialized, and there isn't really a way to capture that information as size.

Now that I think of it, it seems like std::array is a better model for Buffer than vector, and array uses size, not capacity.

219–222

Thanks! I'll experiment with this in the follow-up I'm working on.