Является ли static_cast из базового класса в производный класс четко определенным, если оба класса имеют одинаковую стру ⇐ C++

[Гость]

Я хотел бы создать привязки C++ для C API. Будет ли следующее поведение неопределенным?

Код: Выделить всё

typedef struct ABC_Foo { int x_; } ABC_Foo;

namespace abc {

class Foo : public ABC_Foo {
public:
int x() const { return x_; }
};
static_assert(sizeof(Foo) == sizeof(ABC_Foo));
}

#include 
#include 

int main() {
ABC_Foo cfoo = {42};
// Is this UB?
abc::Foo const& cppfoo = *std::launder(static_cast(&cfoo));
printf("%d\n", cppfoo.x());
}

ссылка godbolt
Я ожидаю четко определенного поведения, поскольку abc::Foo и ABC_Foo эквивалентны и Я отмыл указатель, хотя cppfoo на самом деле никогда не создавался как abc::Foo.

Подробнее здесь: https://stackoverflow.com/questions/787 ... lasses-hav