您可以在 C++20 constexpr 构造函数中隐式激活联合的数组成员吗？

问：

我正在使用 C++20 并且有一个包含包含数组的透明联合的结构。我需要我的结构有一个构造函数，但我希望避免在上下文中未调用构造函数的情况下填充整个数组。Gcc 允许我这样做，而 clang 则不然。constexprconstexpr

下面是一个最小的示例：

#include <algorithm>
#include <type_traits>

struct test {
  union {
    char buf_[15];
  };

  // Both gcc and clang accept:
  // constexpr test() : buf_{} { fillbuf(); }

  // Gcc accepts and clang rejects:
  constexpr test() { fillbuf(); }

  // Clang accepts and gcc rejects
  // constexpr test() {}

  constexpr void fillbuf() {
    if (std::is_constant_evaluated())
      std::fill_n(buf_, sizeof(buf_), 0);
  }
};

constinit test mytest{};

对于第二个构造函数（我想要的构造函数），clang 抱怨我的构造函数不是因为“在常量表达式中不允许将函数分配给没有活动成员的联合的成员'buf_'。constexpr

请注意，对于第三个构造函数（上面注释掉了），clang 接受了代码，而 gcc（我认为是明智的）抱怨“'test（）' 不是一个常量表达式，因为它引用了一个未完全初始化的变量。

哪个编译器是正确的？有没有其他方法可以实现我的需求？在许多情况下，我只需要缓冲区的第一个字节，因此在非上下文中构造对象时，不希望填充整个内容的开销。constexpr

值得一提的是，我使用的是 gcc 13.2.1 和 clang 16.0.6。