<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Mon, Sep 9, 2013 at 4:48 PM, Howard Hinnant <span dir="ltr"><<a href="mailto:howard.hinnant@gmail.com" target="_blank">howard.hinnant@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks Marshall.  I've read Richard's excellent comments, and these are in addition to his.<br>
<br>
...<br>
<br>
Marshall and I have already discussed this, but for the benefit of others:  I don't think dynarray should ever use the heap, and I don't want to commit even temporarily an implementation that does. </blockquote><div>
<br></div><div>I don't think that's possible (and Nick has argued that it's not desirable, because it will probably be a pessimization; I don't have data there).</div><div><br></div><div>Consider:</div><div>
<br></div><div>void g(std::dynarray<int> &);</div><div><br></div><div>void f() {</div><div>  std::dynarray<int> arr(10);</div><div>  g(arr);</div><div>  return arr[3];</div><div>}</div><div><br></div><div>
// Some other TU:</div><div>void g(std::dynarray<int> &arr) {<br></div><div>  arr.~std::dynarray<int>();</div><div>  new (&arr) std::dynarray<int>(30);</div><div>}</div><div><br></div><div>I believe this code is valid, and we can't promote the allocation in 'f' to the stack, nor the allocation in 'g'.</div>
<div><br></div><div>Also, if the dynarray object itself is on the heap, or in a global or thread-local variable, we can't promote its allocation to the stack. And if it's in a class type that's on the stack, we can only promote that if we manage to inline the constructor and destructor (and we see that the allocation doesn't escape).</div>
<div><br></div><div>You should think of putting the allocation on the stack as, at best, an optimization, and should expect the allocation to go on the heap if we cannot perform the optimization. FWIW, I'm not really sure why we have std::dynarray, rather than an allocator for std::vector that encourages a heap -> stack optimization.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We need the stack support from the compiler prior to committing.  And that subsequently will probably require a __has_feature for the stack allocation support.<br>

<div class="im"><br>
On Sep 9, 2013, at 12:06 PM, Marshall Clow <<a href="mailto:mclow.lists@gmail.com">mclow.lists@gmail.com</a>> wrote:<br>
<br>
> <dynarray> See <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3662.html" target="_blank">http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3662.html</a><br>
><br>
> Open Issues:<br>
> 1) This includes <tuple> because that's where __uses_alloc_ctor lives. I'm thinking that __uses_alloc_ctor should be hoisted into a common header. Maybe __functional_base.<br>
<br>
</div>I think <__functional_base> is a good suggestion.  However I started investigating this, and found it unnecessary.  <dynarray> already must include <algorithm> which includes <memory>, which includes <tuple>.  I think it is good that <dynarray> includes <tuple> to make it explicit.  But we aren't going to save anything by migrating __uses_alloc_ctor.<br>

<br>
That being said, see my comments below about Marshall's new __user_alloc_construct facility, which ought to be moved out of <dynarray> and packaged with __uses_alloc_ctor.  I contradict what I'm saying here, there. :-)<br>

<div class="im"><br>
> 2) This includes a general implementation of user-allocator construction (named __user_alloc_construct). This should probably be hoisted as well; and possibly the code in scoped_allocator can be reworked to use it (if it simplifies things).<br>

<br>
</div>I like this.  Thanks for factoring it out.  Add "::" to the use of new:<br>
<br>
    ::new (__storage) _Tp (_VSTD::forward<_Args>(__args)...);<br>
<br>
Add #include <new>, though it is already included implicitly anyway.<br>
<br>
Hmm... logically this ought to go with __uses_alloc_ctor.  But it requires <new> and <__functional_base> does not have it.  I would rather not add <new> to <__functional_base>.  I would rather migrate __user_alloc_construct/__uses_alloc_ctor down the header dependency until <new> is available.<br>

<br>
However when I just now tried to do so, I created circular header dependencies.  After investigating further, adding <new> to <__functional_base> isn't so bad.  Everything <new> includes is already included by <__functional_base>.  So <__functional_base> only swells by the immediate contents of <new> which is pretty small.<br>

<br>
In summary, my suggestion is:<br>
<br>
*  Add #include <new> to <__functional_base><br>
<br>
*  Move allocator_arg_t, __uses_alloc_ctor, __user_alloc_construct to <__functional_base>.<br>
<div class="im"><br>
<br>
><br>
> 3) There's no support for stack allocations at present; that requires compiler support. I'm working with some people on getting that into clang.<br>
<br>
</div>I'm guessing those people are cc'd here. :-)<br>
<div class="im"><br>
><br>
> 4) There's an awful lot of duplication in the (many, many) constructors.<br>
<br>
</div>Why not make base_ a _Tp* instead of a void*?  I think this will safely avoid some casting around.<br>
<br>
size_ and base_ need macro protection (leading "__").<br>
<br>
Need to add "inline" to each external definition marked with _LIBCPP_INLINE_VISIBILITY.  The client is allowed to #define _LIBCPP_INLINE_VISIBILITY, and we should go ahead and mark those functions with inline for those cases we think they are small enough to be inlined.  For those cases (and there may be some) where they are too big to be inlined, mark with neither inline nor _LIBCPP_INLINE_VISIBILITY.<br>

<br>
The use of uninitialized_fill_n and uninitialized_copy_n are too heavy-weight here.  We don't need or want to introduce the try/catch clauses associated with these functions.  Just copy the ::new-loops out of these functions and be sure to increment size_ on each iteration (as you've already correctly done elsewhere).<br>

<br>
Need a :: on the new in dynarray(size_type __c).<br>
<br>
__user_alloc_construct should use template argument deduction instead of explicit template arguments.<br>
<br>
__user_alloc_construct and __user_alloc_construct_impl needs decoration with inline _LIBCPP_INLINE_VISIBILITY.<br>
<br>
Case 0 of __user_alloc_construct_impl, remove unused argument name "__a".<br>
<br>
Need _LIBCPP_INLINE_VISIBILITY on the private default ctor, and on the private __allocate function.  Use of inline on the private __allocate is superfluous.<br>
<br>
I /think/ _LIBCPP_INLINE_VISIBILITY is unnecessary on the deleted copy assignment.<br>
<br>
The lack of a deallocation in ~dynarray() is giving me the heebie jeebies. ;-)  Hopefully this gets resolved when we move to stack allocation.<br>
<br>
You can use noexcept instead of _NOEXCEPT here as long as it stays under #if _LIBCPP_STD_VER > 11.  But I think this is nothing but an aesthetic comment.<br>
<br>
Also aesthetic:  Prefer use of value_type over T or _Tp when possible.<br>
<br>
Looking really good!  Looking forward to seeing the stack allocator.<br>
<br>
Thanks,<br>
Howard<br>
<br>
</blockquote></div><br></div></div>