有没有办法设置返回值？

Question

// VERSION 1
struct Range { int begin, end; };
inline Range getRange()
{
    int newBegin, newEnd;
    // do calculations
    return {newBegin, newEnd};
}
struct Test
{
    std::vector<Range> ranges;
    inline void intensive()
    {
        ranges.push_back(getRange());
        // or ranges.emplace_back(getRange());
        // (gives same performance results)
    }
};

---

// VERSION 2
struct Range { int begin, end; };
struct Test
{
    std::vector<Range> ranges;
    inline void intensive()
    {
       int newBegin, newEnd;
       // do calculations
       ranges.emplace_back(newBegin, newEnd);
    }
};

---

版本 2 总是比 版本 1 快。

事实上，getRange() 被多个类使用。如果我要应用 version 2，会有很多代码重复。

另外，我不能将ranges 作为对getRange() 的非常量引用传递，因为其他一些类使用std::stack 而不是std::vector。我将不得不创建多个重载并有更多的代码重复。

有没有一种通用的方式/习惯来替换返回值？

Answer 1

根据我们在 cmets 中关于使用 SFINAE 允许在任何类型的容器（无论它支持 emplace 还是 emplace_back）上的讨论，这里是一个示例实现。

您只需要一种方法来检测emplace 或emplace_back 是否可用，并相应地调度调用。为此，我们将使用 SFINAE：

namespace detail
{
    template<typename T, typename... Args>
    auto emplace_impl(int, T& c, Args&&... pp)
        -> decltype(c.emplace_back(std::forward<Args>(pp)...))
    {
        return c.emplace_back(std::forward<Args>(pp)...);
    }

    template<typename T, typename... Args>
    auto emplace_impl(long, T& c, Args&&... pp)
        -> decltype(c.emplace(std::forward<Args>(pp)...))
    {
        return c.emplace(std::forward<Args>(pp)...);
    }
} // namespace detail

template<typename T, typename... Args>
auto emplace(T& c, Args&&... pp)
    -> decltype(detail::emplace_impl(0, c, std::forward<Args>(pp)...))
{
    return detail::emplace_impl(0, c, std::forward<Args>(pp)...);
}

感谢@DyP，他提供了这个much更好更短的 C++11 解决方案（参见 cmets）。以前基于特征的解决方案（修订版 3 和 4）要冗长得多。

---

使用起来非常简单：

template<typename Container>
void test_emplace()
{
  Container c;
  emplace(c, 3);
}

int main()
{
  test_emplace<std::queue<int>>();
  test_emplace<std::stack<int>>();
  test_emplace<std::deque<int>>();
  test_emplace<std::list<int>>();
  test_emplace<std::vector<int>>();
}

---

我会让您在我的 test_emplace() 用法示例和您的实际代码之间架起一座桥梁，但现在应该不会太难。 ;)

Answer 2

这是一种方法，您可以将代码传递到GetRange，而无需知道您要放入的是什么：

template<typename Emplacer>
void GetRange( Emplacer emplace ) {
  int beg, end;
  // ...
  emplace( beg, end );
}

std::vector<Range> ranges;
inline void intensive()
{
   GetRange( [&]( int b, int e ) {
     ranges.emplace_back( b, e );
   } );
}

Answer 3

不，你正在使用getRange() 进行构造，而emplace_back 在vector 中完成构造。