RFR: 8319117: GrowableArray: Allow for custom initializer instead of copy constructor

Johan Sjölen jsjolen at openjdk.org
Tue Oct 31 10:04:31 UTC 2023


On Sun, 29 Oct 2023 14:00:25 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote:

> Hi, 
> 
> When using at_put and at_put_grow you can provide a value which will be supplied to the constructor of each element. In other words, you can intialize each element through a copy constructor.
> 
> I suggest that we also provide a function equivalent where the function is provided a pointer to the memory to be initialized. This can be used for `NONCOPYABLE` classes, for example.
> 
> This is implemented using a SFINAE pattern because `nullptr` introduces ambiguity if you use static overload.
> 
> Currently running tier1-tier4.

> I think a more preferable approach is to do emplace-like filling
> 
> ```
> template <class... Args>
> E& at_grow(int i, Args... args) {
>     assert(0 <= i, "negative index %d", i);
>     if (i >= this->_len) {
>         if (i >= this->_capacity) {
>             grow(i);
>         }
>         for (int j = this->_len; j <= i; j++) {
>             _data[j].~E();
>             new (&_data[j]) E(args...);
>         }
>         this->_len = i + 1;
>     }
>     return _data[i];
> }
> ```

I think you might be right. If I understand this correctly we can pick between copy construction (having `Args` be equal to `E`) and "regular" construction depending on the arguments provided?

@stefank, @dean-long. Re: tests, yes, I should add tests. The goal here is to avoid copy construction, and I chose to provide a function so that you can yourself pick how to initialize the memory. I think @merykitty's solution might be preferable to mine.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/16409#issuecomment-1786888957


More information about the hotspot-dev mailing list