git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH 5/5] cbtree.h: define cb_init() in terms of CBTREE_INIT

From
Jeff King <peff@peff.net>
Date
Sep 27, 2021, 23:54 UTC
Message-ID
<YVJZrOYucywgoi+v@coredump.intra.peff.net>
In-Reply-To
<87czou1dmp.fsf@evledraar.gmail.com>
On Mon, Sep 27, 2021 at 01:02:35PM +0200, Ævar Arnfjörð Bjarmason wrote:
Show 15 quoted lines
> >>  static inline void cb_init(struct cb_tree *t)
> >>  {
> >> -	t->root = NULL;
> >> +	struct cb_tree blank = CBTREE_INIT;
> >
> > This could be
> >
> > 	static const struct cb_tree blank = CBTREE_INIT;
> 
> *nod*...
> [...]
> ...but to both this & the above my reply in the side-thread at
> https://lore.kernel.org/git/87h7e61duk.fsf@evledraar.gmail.com/
> applies. I.e. this is just following a pattern I got from Jeff King &
> used in bd4232fac33 (Merge branch 'ab/struct-init', 2021-07-16).

I'm not sure how a compiler would react to the "static const" thing. I tested the compiler output for the "auto" struct case you've written here, and at least gcc and clang are smart enough to just initialize the pointed-to struct directly, with no extra copy.

For a "static const" I'm not sure if they'd end up with the same code, or if they'd allocate a struct in the data segment and just memcpy() into place. A non-const static would perhaps push it in the direction of the data/memcpy thing, though the compiler should be well aware that the struct is never changed nor aliased, and thus we're always writing the INIT values.

I suspect the performance is not that different either way (the big thing to avoid is initializing an auto struct on the fly and then copying from it, but this is a pretty easy optimization for compilers to get right).

Show 6 quoted lines
> >> +	memcpy(t, &blank, sizeof(*t));
> >
> > Is
> > 	*t = blank;
> >
> > not a thing in C?

It would be fine to use struct assignment here, and should be equivalent in most compilers. They know about memcpy() and will inline it as appropriate.

I think some C programmers tend to prefer memcpy() just because that's how they think. It also wasn't legal in old K&R compilers, but as far as I know was in C89.

You have to take care with assignment of flex-structs, of course, but you also have to do so with memcpy(), too. :)

> FWIW with "const" in general I don't use it as much as I'd personally
> prefer, see e.g. [1] for one recent discussion, but maybe there wouldn't
> be any push-back in this case...

This isn't a parameter, so I don't think that discussion applies. _If_ you are going to make it a static, I think a const makes sense here (but probably does nothing beyond signaling your intention, because the compiler can see that it is never modified), but I wouldn't bother with either.

-Peff
Previous: Ævar Arnfjörð BjarmasonNext: Johannes Sixt
Message 11 of 32 in “Designated initializer cleanup & conversion”
  1. 0/5 Designated initializer cleanup & conversionÆvar Arnfjörð Bjarmason, Sep 27, 2021
  2. 2/5 *.[ch] *_INIT macros: use { 0 } for a "zero out" idiomÆvar Arnfjörð Bjarmason, Sep 27, 2021
  3. Eric SunshineSep 27, 2021
  4. Johannes SixtSep 27, 2021
  5. Junio C HamanoSep 27, 2021
  6. 1/5 submodule-config.h: remove unused SUBMODULE_INIT macroÆvar Arnfjörð Bjarmason, Sep 27, 2021
  7. 3/5 *.h _INIT macros: don't specify fields equal to 0Ævar Arnfjörð Bjarmason, Sep 27, 2021
  8. 5/5 cbtree.h: define cb_init() in terms of CBTREE_INITÆvar Arnfjörð Bjarmason, Sep 27, 2021
  9. Johannes SixtSep 27, 2021
  10. Ævar Arnfjörð BjarmasonSep 27, 2021
  11. Jeff KingSep 27, 2021
  12. Johannes SixtSep 28, 2021
  13. Junio C HamanoSep 28, 2021
  14. Ævar Arnfjörð BjarmasonSep 28, 2021
  15. Junio C HamanoSep 28, 2021
  16. Phillip WoodSep 27, 2021
  17. Ævar Arnfjörð BjarmasonSep 27, 2021
  18. Phillip WoodSep 30, 2021
  19. 4/5 *.h: move some *_INIT to designated initializersÆvar Arnfjörð Bjarmason, Sep 27, 2021
  20. 0/5 Designated initializer cleanup & conversionÆvar Arnfjörð Bjarmason, Sep 27, 2021
  21. 1/5 submodule-config.h: remove unused SUBMODULE_INIT macroÆvar Arnfjörð Bjarmason, Sep 27, 2021
  22. Jeff KingSep 27, 2021
  23. 2/5 *.[ch] *_INIT macros: use { 0 } for a "zero out" idiomÆvar Arnfjörð Bjarmason, Sep 27, 2021
  24. Jeff KingSep 27, 2021
  25. Ævar Arnfjörð BjarmasonSep 28, 2021
  26. Jeff KingSep 28, 2021
  27. Ramsay JonesSep 28, 2021
  28. 3/5 *.h _INIT macros: don't specify fields equal to 0Ævar Arnfjörð Bjarmason, Sep 27, 2021
  29. Junio C HamanoSep 27, 2021
  30. 4/5 *.h: move some *_INIT to designated initializersÆvar Arnfjörð Bjarmason, Sep 27, 2021
  31. Junio C HamanoSep 27, 2021
  32. 5/5 cbtree.h: define cb_init() in terms of CBTREE_INITÆvar Arnfjörð Bjarmason, Sep 27, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.