右值引用 && 的另一个优化。只需重命名字段

Question

让我们考虑下一段代码：

struct Channel;  // somewhere declared
using iter_t = std::set<Channel>::iterator;

std::set<Channel> myset;
std::pair<iter_t, bool> emplaced = myset.emplace(arg1,arg2);

然后emplaced.first 包含元素的迭代器，emplaced.second 表示元素是否已添加或已存在。 first 和 second 对我来说还不清楚。我想重命名这些字段：

struct ChannelAddedResult
{
    iter_t channelIter;
    bool wasAdded;
public: // --- Functions, constructors ---
    ChannelAddedResult(std::pair<iter_t, bool> &&pa) {
       this->channel = pa.first;
       this->added = pa.second;
    }
 };

此构造函数复制值。右值引用没有任何好处。对吧？
但是如何将std::pair<iter_t, bool> 转换为ChannelAddedResult？这种类型是等价的。所以C风格的对话可能看起来像：

union CarUni {
  std::pair<iter_t, bool>  pair;
  ChannelAddedResult       car;
}
// Use
CarUni u;
u.pair = myset.emplace(arg1,arg2);
auto ch = *u.car.channelIter;
bool a = u.car.wasAdded;

这允许在没有额外副本的情况下实现重命名。可能是 C-casting (ChannelAddedResult)emplaced_pair 会做同样的工作，但它在 C++ 中已被弃用。从类型安全的角度来看，这两种转换是危险的。

这种转换有 C++11 方式吗？

Answer 1

如果你不想复制，请移动：

ChannelAddedResult(std::pair<iter_t, bool> &&pa)
    : channel(std::move(pa.first))
    , added(std::move(pa.second))
{}

虽然像bools 和迭代器这样的类型并没有真正的区别。

Answer 2

我编写了一个小示例程序来展示我如何尝试一下。 我从您的问题中得到的是，您想将 first 和 second 与您的自定义类型名称（即 channelIter 和 wasAdded）重命名。

我提取了你的示例代码并用它制作了一个更简单的程序。

#include <set>
#include <iostream>

struct Channel
{
    int _a; // Declaring 2 simple args
    int _b;

    Channel(int a, int b) : _a(a), _b(b) {} 

    // Need to provide a < operator for custom datatype
    bool operator<(Channel const & rhs) const {
        return (this->_a < rhs._a) || (this->_b < rhs._b);
    }
};

using iter_t = std::set<Channel>::iterator;

struct ChannelAddedResult
{
    iter_t _channelIter;
    bool   _wasAdded;

    ChannelAddedResult(std::pair<iter_t, bool> && pa) 
                      : _channelIter(pa.first), _wasAdded(pa.second) {}
};

int main()
{
    std::set<Channel> myset;
    auto u  = ChannelAddedResult(myset.emplace(5, 6));
    auto ch = *u._channelIter; // Access pair.first
    bool a  = u._wasAdded;     // Access pair.second

    std::cout << "ch._a => [" << ch._a << "] ch._b => [" << ch._b << "]\n";
    return 0;
}

使用 -std=c++11 编译

$ g++ -std=c++11 set_sample.cpp -o set_sample

输出

$ ./set_sample
ch._a => [5] ch._b => [6]

这里要理解的是，ChannelAddedResult(std::pair<iter_t, bool> && pa) 是一个右值引用，应该传递一个右值才能有效地使用。所以它应该像ChannelAddedResult(myset.emplace(5, 6))一样使用。这里myset.emplace(5,6) 是一个右值。所以不会创建副本。

相反，如果使用如下，则在两者之间创建了一个无用的副本。将左值传递给右值引用会破坏整个目的。

auto val = myset.emplace(5,6);
auto u  = ChannelAddedResult(val); // val is an lvalue

上述代码无法编译。要使其正常工作，您需要将签名升级为 -

ChannelAddedResult(std::pair<iter_t, bool> const & pa) 
                  : _channelIter(pa.first), _wasAdded(pa.second) {}

现在它可以同时使用右值和左值。 由于我们已经将std::pair 的数据复制到其他变量中，因此右值引用的使用不会对性能增加太多。在这种情况下，最好使用T const & pa 而不是T && pa。