c++ - 函数采用指向集合的指针的优点，以避免在返回时复制？

Question

假设我有以下 C++ 函数:

// Returns a set containing {1!, 2!, ..., n!}.
set<int> GetFactorials(int n) {
  set<int> ret;
  int curr = 1;
  for (int i = 1; i < n; i++) {
    curr *= i;
    ret.insert(curr);
  }

  return ret;
}

set<int> fs = GetFactorials(5);

(这只是一个虚拟示例。关键是函数自己创建集合并返回它。)

我的一个 friend 告诉我，与其像我那样编写函数，不如让函数接受一个指向集合的指针，以避免在返回时复制集合。我猜他的意思是:

void GetFactorials2(int n, set<int>* fs) {
  int curr = 1;
  for (int i = 1; i < n; i++) {
    curr *= i;
    fs->insert(curr);
  }
}

set<int> fs;
GetFactorials2(5, &fs);

我的问题:第二种方式真的是一个很大的优势吗？这对我来说似乎很奇怪。我是 C++ 的新手，对编译器知之甚少，但我认为通过一些编译器魔法，我的原始函数不会那么昂贵。 (而且我可以避免自己初始化设置。)我错了吗？我应该了解有关指针和返回复制的哪些知识才能理解这一点？

Answer 1

不，它通常根本没有优势。现在几乎所有合理的编译器都会使用命名返回值优化(参见 here )。这有效地消除了前一个示例中的任何性能损失。

如果你真的想深入了解细节，请阅读 this article由 Dave Abrahams(插入的主要贡献者之一)撰写。然而，长话短说，只是返回值。它可能更快。