为什么C语言允许取函数参数的地址，却无法取函数返回值的地址？

你的认知误区核心是混淆了C语言语义层面的左值/右值规则和编译器底层实现的存储策略，二者没有直接的因果关系。

两个代码片段的语法本质差异 #

1. 无法编译的g()函数 #

int f() {
    return 1;
}

int g() {
    int* x = &f();
}

C标准明确规定：取地址运算符&只能作用于左值（lvalue），也就是有明确内存标识、可以被持久访问的对象。而函数f()的返回值属于右值（rvalue），它只是一个临时的值，语义上没有绑定到固定的内存地址，所以语法层面直接禁止对它取地址，编译报错和它底层存在寄存器还是内存没有本质关系。
你之前理解的"返回值存在寄存器所以不能取地址"是倒果为因：不是因为它放寄存器所以语法不允许取地址，而是语法上它本身就是不允许取地址的右值，编译器才可以放心把它放到寄存器里不需要分配内存。

2. 可以正常编译的h()函数 #

int h(int x) {
    int* y = &x;
    return 0;
}

函数的形参x在C语义中属于明确的左值，天然满足&运算符的使用要求，语法层面就是合法的。
至于你担心的"形参可能存在寄存器中"属于编译器的优化范畴，这个优化有个核心前提：不能违反C标准规定的可观测行为：

• 如果你代码中没有对x取地址，也没有其他需要访问x内存地址的操作，编译器会直接把x放到寄存器中传递，不需要分配栈内存，提升性能
• 如果你代码中对x取了地址，编译器会自动调整实现策略，把x分配到栈内存上，保证你拿到的地址是合法可用的，完全符合标准要求

补充说明 #

右值的本质是"值的临时传递"，没有身份标识，你只能用它的值，不能修改、也不能获取它的地址；左值的本质是"有固定身份的对象"，你可以获取它的地址、修改它的值，存储位置是寄存器还是内存是编译器根据使用场景自动调整的，不会影响语义规则的执行。

内容的提问来源于stack exchange，提问作者broken.eggshell