Czy to ważne, aby rzucić wskaźnik do struct do wskaźnika tablicy

Question

Given agregat struct/klasy w której każda zmienna członkiem jest tego samego typu danych:

struct MatrixStack { 
    Matrix4x4 translation { ... }; 
    Matrix4x4 rotation { ... }; 
    Matrix4x4 projection { ... }; 
} matrixStack; 

Jak ważne jest to, aby rzucić go do tablicy jego członkowie? na przykład

const Matrix4x4 *ptr = reinterpret_cast<const Matrix4x4*>(&matrixStack); 
assert(ptr == &matrixStack.translation); 
assert(ptr + 1 == &matrixStack.rotation); 
assert(ptr + 2 == &matrixStack.projection); 
auto squashed = std::accumulate(ptr, ptr + 3, identity(), multiply()); 

Robię to dlatego, że w większości przypadków muszą nazwie dostępu użytkownika dla jasności, podczas gdy w niektórych innych przypadkach trzeba przekazać tablicę do innego API. Używając reinterpret_cast, mogę uniknąć alokacji.

Answer 1

Obsada nie jest wymagana do pracy według normy.

Jednakże, można dokonać za pomocą kodu bezpieczne statyczne twierdzi, że uniemożliwi to od kompilacji jeśli założenia są łamane:

static_assert(sizeof(MatrixStack) == sizeof(Matrix4x4[3]), "Size mismatch."); 
static_assert(alignof(MatrixStack) == alignof(Matrix4x4[3]), "Alignment mismatch."); 
// ... 
const Matrix4x4* ptr = &matrixStack.translation; 
// or 
auto &array = reinterpret_cast<const Matrix4x4(&)[3]>(matrixStack.translation);