ValueError's questions

此代码在 GCC 和 Clang 中有效，但在 MSVC 上无效：

#include <concepts>
#include <utility>

struct S {};

const S&& f();
S g();

static_assert(std::same_as<decltype(false ? f() : g()), const S>);

https://godbolt.org/z/99rMPzecM

MSVC认为decltype(false ? f() : g())是const S&&

哪一个是正确的？为什么？

考虑这段代码：

struct Block {
    alignas(int) unsigned char data[sizeof(int)];
};

int main() {
    Block buff[sizeof(double) / sizeof(int)];
    ::new(&buff) double();
    double d = *std::launder(reinterpret_cast<double*>(&buff));

    return 0;
}

这种用法正确吗？这会reinterpret_cast导致未定义的行为吗？