René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"in_place_init \u0026 friends could be constexpr to enforce constant initialization","articleBody":"In https://github.com/boostorg/optional/blob/develop/include/boost/optional/optional.hpp#L93-L106, we have:\r\n\r\n```\r\nstruct in_place_init_t\r\n{\r\n  struct init_tag{};\r\n  explicit in_place_init_t(init_tag){}\r\n};\r\nconst in_place_init_t in_place_init ((in_place_init_t::init_tag()));\r\n\r\nstruct in_place_init_if_t\r\n{\r\n  struct init_tag{};\r\n  explicit in_place_init_if_t(init_tag){}\r\n};\r\nconst in_place_init_if_t in_place_init_if ((in_place_init_if_t::init_tag()));\r\n```\r\n\r\nThis results in static initializers in binaries (although trivial ones). Instead, it should be valid to change their definition to the following, which would definitely get rid of static initializers in \u003e= C++11:\r\n\r\n```\r\nstruct in_place_init_t\r\n{\r\n  struct init_tag{};\r\n  BOOST_CONSTEXPR explicit in_place_init_t(init_tag){}\r\n};\r\nBOOST_CONSTEXPR_OR_CONST in_place_init_t in_place_init ((in_place_init_t::init_tag()));\r\n\r\nstruct in_place_init_if_t\r\n{\r\n  struct init_tag{};\r\n  BOOST_CONSTEXPR explicit in_place_init_if_t(init_tag){}\r\n};\r\nBOOST_CONSTEXPR_OR_CONST in_place_init_if_t in_place_init_if ((in_place_init_if_t::init_tag()));\r\n```\r\n","author":{"url":"https://github.com/ldionne","@type":"Person","name":"ldionne"},"datePublished":"2022-08-08T21:25:24.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/103/optional/issues/103"}