memcpy() для члена структуры, полученного из указателя opque

Допустим, у меня есть API:

// api.h - Others can #include this header
#include <cstdint>

class A {
 public:
  // Write data into an opaque type.
  // The user shouldn't directly access the underlying bits of this value.
  // They should use this method instead.
  void WriteVal(uint32_t data);

 private:
  uint64_t opaque_value_;
};

// api.cpp
#include <cstdlib>
#include "api.h"

namespace {

// This is the underlying struct that the opaque value represents.
struct alignas(8) Impl {
  uint32_t x;
  uint32_t y;
};

}  // namespace

void A::WriteVal(uint32_t data) {
  uint64_t *opaque_ptr = &opaque_value_;
  Impl *ptr = reinterpret_cast<Impl *>(opaque_ptr);
  memcpy(&ptr->y, &data, sizeof(data));
}

Есть ли какое-либо неопределенное поведение в методе A::WriteVal?

Мое предположение было бы НЕТ по этим причинам:

1. Повторная интерпретация приведения между uint64_t * и Impl * сама по себе допустима, поскольку выравнивание типов указателей одинаково.
2. Существует только UB, если ptr нужно разыменовать явно, поскольку это нарушит строгие правила псевдонимов.
3. memcpy можно безопасно использовать вместо явного разыменования независимо от исходного типа указателя.

Верны ли мои рассуждения? Если это также считается UB, есть ли на С++ хороший способ записи в непрозрачный тип без недопустимых методов каламбура.

Моя цель — аккуратно выполнять операции над непрозрачным значением, которое под капотом представляет собой структуру, подробности о которой пользователи не должны знать.