https://github.com/python/cpython/commit/e348c8d154cf6342c79d627ebfe89dfe9de23817

> We can probably get rid of the double and this union hack all together today.
> That is a slightly more invasive change that can be left for later.

Can we do it for now (Python 3.8)?

From the linked changeset message:

> unless anyone knows of a platform where ssize_t is 4 bytes?

That's most 32-bit platforms, right?  Basically, size_t and ssize_t are pointer-sized except on some rare architectures.

> A more correct non-hacky alternative if any alignment issues are still found would be to use a compiler specific alignment declaration on the structure and determine which value to use at configure time.

AFAIU, the problem is not alignment of the PyGC_Head structure (it's always sufficiently aligned for its pointer-sized members) but alignment of the user-defined object that follows it.

The underlying issue IMO is we're trying to force a one-size-fits-all alignment for user-defined object structs that we know nothing about (but might contain something like a "long double" or, worse, some SIMD values).  Perhaps PyTypeObject should grow a `tp_alignment` field.

Short of adding a `tp_alignment`, though, I think we should not make things harder for the common cases.  This means we should probably keep the "double" member to ensure that extension types that have a "double" field in their object struct have the right alignment by default.  "long double" is much rarer and people who need it can workaround alignment issues by hand (for example by issuing memcpy() calls).

Make sense.

Then, what about using anonymous struct to make GC code more readable?

 typedef union _gc_head {
     struct {
         union _gc_head *gc_next;
         union _gc_head *gc_prev;
         Py_ssize_t gc_refs;
-    } gc;
+    };
     double dummy;  /* force worst-case alignment */
 } PyGC_Head;

All code like g->gc.gc_next will be like g->gc_next.

I'm fine with an anonymous struct.  Is it standard C these days?

Oh,,, while even gcc 4.0 supported it, it is language spec from C11, not C99.

I grepped quickly and I can't find existing usage of anonymous union/struct.