如果返回类型为 static const 时返回非静态局部变量，会发生什么情况

Question

如果您有以下函数：

static const map<ushort, ulong> MakeMap()
{
  map<ushort, ulong> mymap;
  for(int i=0; i<myTableSize; i++)
  {
    mymap[myTable[i].x] = myTable[i].y;
  }
  return mymap;
}

并且在某处使用您所拥有的：

static const map<ushort, ulong> numMap = MakeMap();

编译器实际上会将 numMap 设置为从 MakeMap 返回的地址还是实际上会复制映射？另外，这样做安全吗？

感谢您的反馈！

Answer 1

返回类型不是static const map。它只是const map。关键字static适用于该函数。也就是说，它是静态函数，这意味着该函数具有 内部链接^*并且不能从其他翻译单元^*。

^{* 通过链接了解它们。}

现在回到您的问题，首先，返回类型中的 const 没有意义。以下更好：

//remove the static also if you don't want it to have internal linkage
static map<ushort, ulong> MakeMap();

然后您仍然可以编写：

 const map<ushort, ulong> numMap = MakeMap();

如果您使用良好的编译器，那么很可能它会优化返回值。了解：

• 返回值优化

Answer 2

您的函数不会返回地址，而是返回将被复制的对象，因此这样做是安全的。如果您修改代码使 MakeMap 返回一个地址，那么 mymapy 将在某个时刻被销毁（取决于编译选项和编译器），从而导致崩溃。你必须在堆上分配 mymap （用新的）然后销毁它等等......

Answer 3

是的，这样做是安全的。对于大多数实际目的，代码的行为就像制作了副本一样（一个好的优化编译器可能会消除需要实际副本）。

此外，正如其他人指出的那样，static 不是返回类型的一部分。代码中 static 的两种用法具有不同的含义。