C++类型别名,其中值被替换

下面的代码在C++中合法吗?

int get_i(int idx) { ... }
float transform(int i) { ... }
void use(float f) { ... }

static_assert(sizeof(int) == sizeof(float));
void* buffer = std::malloc(n * sizeof(int));

int* i_buffer = reinterpret_cast<int*>(buffer);
float* f_buffer = reinterpret_cast<float*>(buffer);

// Fill int values into the buffer
for(int idx = 0; idx < n; ++idx)
    i_buffer[idx] = get_i(idx);

// Transform int value to float value, and overwrite
// (maybe violates strict aliassing rule?)
for(int idx = 0; idx < n; ++idx)
    f_buffer[idx] = transform(i_buffer[idx]);

for(int idx = 0; idx < n; ++idx)
    use(f_buffer[idx]);

第二步将缓冲区值读取为 int ,然后写入 float 取而代之。它从不通过 i_buffer 之后再重复一次,因此在读取时没有类型别名。

但是任务 f_buffer[idx] = 浮动 对象转换为 对象,即UB。

有没有办法让编译器认为这意味着 内景 应该结束了 浮动 对象应该在其位置构造,以便没有类型别名?