C++ 从指向其第二个成员的指针获取指向 struct 的指针是否合法

我想知道注释"Is this legal C?"(在底部的函数dumpverts()中)前一行是否合法:

#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>

struct  stvertex 
    {
    double  x;
    double  y;
    char    tag;
    };
    
struct  stmesh
    {
    size_t      nverts;
    struct stvertex verts[]; /* flexible array member */
    };
    

void    dumpverts(struct stvertex *ptr);

int main(int argc, char **argv)
    {
    size_t f;
    size_t usr_nverts=5; /* this would come from the GUI */
    
    struct stmesh *m = malloc(sizeof(struct stmesh) + usr_nverts*sizeof(struct stvertex));
    if(m==NULL) return EXIT_FAILURE;
    
    m->nverts=usr_nverts;
    for(f=0;f<m->nverts;f++)
        {
        m->verts[f].x = f*10.0; /* dumb values just for testing */
        m->verts[f].y = f*7.0;
        m->verts[f].tag = 'V';
        }
    
    dumpverts( &(m->verts[0]) );
    
    return EXIT_SUCCESS;
    }


void    dumpverts(struct stvertex *ptr) /* Here is were the juice is */
    {
    size_t f;
    
    /* Is this legal C? */
    struct stmesh   *themesh = (struct stmesh *)((char *)ptr - offsetof(struct stmesh, verts));
    
    for(f=0;f<themesh->nverts;f++)
        {
        printf("v[%zu] = (%g,%g) '%c'\n", f, themesh->verts[f].x, themesh->verts[f].y, themesh->verts[f].tag);
        }
    fflush(stdout);
    }

我倾向于相信这是合法的，但我不能char *%确定严格的别名规则是否会允许从char *到struct stmesh *进行转换，就像dumpverts()函数体中有趣的一行所做的那样.

基本上，该行从指向第二个成员的指针中获取指向struct stmesh的指针.我没有看到任何与对齐相关的潜在问题，因为整个struct stmesh的内存来自malloc()，所以 struct 的开头是"适当对齐的".但正如我所说，我不确定严格的别名规则.

如果它打破了严格的混叠，是否可以在不改变dumpverts()函数原型的情况下使其兼容？

如果你想知道我想要这个是为了什么，主要是为了了解offsetof()的极限在哪里.是的，我知道dumpverts()应该收到一个指向struct stmesh的指针.但我想知道，以编程方式获取struct stmesh指针是否可能以合法的方式实现.