这只是为了澄清我在C/C中长期以来的一些困惑：如果我的理解是正确的......在C/C中，你可以通过函数的值（复制）返回一个局部结构体，但不能返回一个局部数组，这是真的吗？例如（我对事件的理解已经在注解中陈述，其中?表示一个Assert，我不完全有信心做出）：

#include <stdio.h>

struct my_structure { int x; int y; };

struct my_structure foo(int a, int b)
{
    // declare struct variable (will allocate 4 + 4 bytes on foo()'s stack frame for 2 ints)
    struct my_structure ms;

    // do some kind of processing on the struct variable; just for example, let's say...
    ms.x = a*a;
    ms.y = b*b;

    // ? return by value: will COPY the 4 + 4 bytes into caller (main)
    return ms; 
}

int main() {
    struct my_structure retval; // will allocate 4 + 4 bytes on the main()'s stack frame
    retval = foo(10, 20); // ? will copy foo()'s local struct `ms` into the 4 + 4 bytes allocated in above declaration
    printf("%d, %d\n", retval.x, retval.y); // 100, 400
}

如果我没有错的话，在上面的代码示例中，不存在返回任何类型的地址的问题--所有的事情都是纯粹根据值和复制来处理的，所以这样返回结构体应该是安全的，尽管对于大型结构体来说效率不高。
现在来看看函数局部数组，我看过一些帖子（比如this），说你不能从函数返回局部数组。我想知道的是为什么你不能像使用结构体那样，从被调用函数的堆栈向调用者的堆栈按字节复制数组值（就像上面的代码示例）？
这是我的猜测：按名称返回数组时，C/C++编译器会隐式将名称转换为指向第一个元素的指针（数组到指针的衰减？）所以不是返回一个副本 *，而是最终返回一个数组的基址，当变量超出作用域时，该数组不会指向任何东西 *（这是非常糟糕的，因此不应该这样做）。这不是结构体的情况，其中通过名称返回结构体变量，简单地返回结构变量作为一个副本（没有衰减到指针）。我是正确的还是我的理解有缺陷？任何建议都是受欢迎的。谢谢。
编辑：我的问题主要是针对C的，但是因为C应该是一个超集，我假设它也适用于C？