修改函数返回的内存地址的内容

Question

是否可以修改函数返回值的内存地址的内容？ 函数返回本地定义的变量的值。

在以下示例中，为我的机器（x86-64）编译而没有警告：

#include <stdio.h>

int get_val1()
{
  int ret = 1;
  return ret;
}

int get_val2()
{
  int ret = 2;
  return ret;
}

int get_val3()
{
  int ret = 3;
  return ret;
}

void redefine_ints(int *val1, int *val2, int *val3) {
  *val1 = 10;
  *val2 = 11;
  *val3 = 12;
}

void print_and_redefine_ints(int val1, int val2, int val3) {
  printf("val1 %d val2 %d val3 %d\n", val1, val2, val3);
  redefine_ints(&val1, &val2, &val3);
  printf("rval1 %d rval2 %d rval3 %d\n", val1, val2, val3);
}

int main()
{
  print_and_redefine_ints(get_val1(), get_val2(), get_val3());
  return 0;
}

我得到下一个输出：

val1 1 val2 2 val3 3
rval1 10 rval2 11 rval3 12

这是预期的产量，但它怎么可能呢？ 这些变量存储在哪里？

Answer 1

是的，这是明确定义的C.

由get_val...()创建的匿名临时 int具有与创建它们的整个语句同时的生命周期。

但请注意，当您调用print_and_redefine_ints时，您会获取每个int的值副本，因此这里没有什么特别的特殊情况。

（请注意，您无法将指向匿名临时int的指针绑定到int*函数参数。）

Answer 2

平局可能解释的不仅仅是一些文本。 在这个例子中我只使用1个get_val1() 。

print_and_redefine_ints(get_val1());
                           |
                           |
                         [CALL]
                           |
                           |
                           V
                    int get_val1()
                    {
                        int ret = 1;<----------------------------------------------------+
                        return ret;                                                      |
                    }      |                                                             |
                           |                                                             |
                    [COPY OF VALUE]                                                      |
                           |                                                             |
                           |                                                             |
                           +---+                                                         |
                               |                                                         |
                               |                                                         |
                               V                                                         |
void print_and_redefine_ints(int val1) {                                                 |
    printf("val1 %d\n");        ^                                                        |
    redefine_ints(&val1);       |                                                        |
                    |           +--------------------------------------------+           |
                    |                                                        |           |
          [POINTER AKA REFERENCE]                                            |           |
                    |                                                        |           |
                     |                                                       |           |
                      V                                                      |           |
void redefine_ints(int *val1) {                                              |           |
    *val1 = 10; //<---- the value is changed, then its referenced value (this one, NOT THIS ONE) is changed too
}                     |
                      |
                      +---+
                          |
                    [VALUE CHANGED]
                          |
                          |
                          V
    printf("rval1 %d\n", val1);
    printf("original val1 %d\n", get_val1()); //if you add this line, you'll notice the returned value of get_val1() is still 1
}

Answer 3

是否可以修改函数返回值（内存）的内容？

不它不是。

然而，这是不是这里的情况。 在您的代码中， get_val<n>()函数调用的返回值存储在函数参数int val1 ， int val2 ， int val3 。 它们是被调用函数的本地。 这些变量的生命周期是函数执行期。

引用C11 ，章节§6.2.1，

[...]如果声明标识符的声明符或类型说明符出现在块内或函数定义中的参数声明列表中，则标识符具有块作用域，该作用域终止于关联块的末尾。 [....]

并且，从§6.9.1，函数定义，

每个参数都有自动存储时间; 它的标识符是左值

因此，就像任何其他局部变量一样，您可以使用其地址修改这些变量的内容。