我们可以重用分配的内存吗

这是对此问题的后续操作.

在解释我的问题时，我声明可以重用已分配的内存，因为它没有声明的类型，并且被告知它是错误的C.

When explaining my problem, I declared that allocated memory could be reused because it has no declared type, and I was told that it was incorrect C.

以下是说明问题的代码示例:

Here is a code example illustrating the question:

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <string.h>

struct Elt {
    int id;
    char name[32];
};

struct Elt2 {
    double val;
    char name[16];
};

static_assert(sizeof(struct Elt2) < sizeof(struct Elt), "Incorrect sizes");

int main() {
    struct Elt actual1 = { 1, "foo"};
    struct Elt2 actual2 = {2.0, "bar"};

    struct Elt* elt = malloc(sizeof(struct Elt));
    memcpy(elt, &actual1, sizeof(*elt));          // populates the allocated memory
    printf("elt: %d %s\n", elt->id, elt->name);
    struct Elt2 *elt2 = (void *) elt;             // declares a new pointer to a shorter type
    memcpy(elt2, &actual2, sizeof(*elt2));        // effective type is now struct Elt2
    printf("elt2: %g %s\n", elt2->val, elt2->name);
    //printf("elt: %d %s\n", elt->id, elt->name);    UB: storage now contains an Elt2 object
    free(elt);                                    // only legal use for elt
    return 0;
}

我相信n1570草案的6.5表达式§6允许:

I believe that 6.5 Expression §6 of draft n1570 allows it:

访问其存储值的对象的有效类型是声明的类型. 87)如果一个值通过一个值存储到一个没有声明类型的对象中 具有非字符类型的左值，则左值的类型变为 该访问以及未修改的后续访问的对象的有效类型 储值.如果将值复制到没有声明类型的对象中，则使用 memcpy或memmove，或者被复制为字符类型的数组，然后是有效类型 该访问以及未修改该对象的后续访问的已修改对象的 值是从中复制值的对象的有效类型(如果有的话).

The effective type of an object for an access to its stored value is the declared type of the object, if any.87) If a value is stored into an object having no declared type through an lvalue having a type that is not a character type, then the type of the lvalue becomes the effective type of the object for that access and for subsequent accesses that do not modify the stored value. If a value is copied into an object having no declared type using memcpy or memmove, or is copied as an array of character type, then the effective type of the modified object for that access and for subsequent accesses that do not modify the value is the effective type of the object from which the value is copied, if it has one.

注释87:

87)分配的对象没有声明的类型.

87) Allocated objects have no declared type.

问题:

是否正在重用分配的内存来存储另一个适合该内存的对象 符合C?

Is reusing allocated memory for storing a different object that can fit in that memory conformant C?