如何在模板中存储右值或左值引用

Question

我正在尝试创建一个简单的模板enumerator 类，该类应该接受定义了: 运算符的任何对象，以及稍后在(i, v[i]) 形式的打印对上。一个简单的实现如下：

template<typename T>
struct enumerator {
    T &v; // reference to minimize copying
    enumerator(T &_v) : v(_v) {}
    void do_enumerate() {
        size_t i = 0;
        for(auto x : v) {
            cout << i << x << endl;
            i++;
        }
    }
};

这适用于以下情况：

案例A

vector<int> v({1,2,6,2,4});
auto e = enumerator(v);
e.do_enumerate();

不过，我也希望它能够处理临时对象，例如：

案例 B

auto e = enumerator(vector<int>({2,3,9});
e.do_enumerate();

这不起作用，编译器抛出：

no matching function for call to ‘enumerator<std::vector<int> >::enumerator(std::vector<int>)

所以，我尝试添加一个

enumerator(T _t) : t(_T) {}

构造函数来解决这个错误。现在案例A不起作用，出现错误：

error: call of overloaded ‘enumerator(std::vector<int>&)’ is ambiguous

另外，情况B，枚举的输出不正确。

解决这个问题的最干净的方法是什么？我会

• 真的很喜欢这两种情况都可以工作
• 不希望使用 stdc++ 以外的任何库
• 希望尽可能少地复制（因此不能只在结构中存储 T t）
• C++11 不是问题。我有 g++-4.8，我认为它有足够的 C++11 支持。

Answer 1

好吧，如果参数是右值，我想复制，如果不是，我不复制。这可能吗？

这可以使用make_enumerator 辅助函数来完成，如图所示。

template <class T>
struct enumerator {
    T v;
    enumerator(T&& _v) : v(std::forward<T>(_v)) {}
    void do_enumerate() {
        size_t i = 0;
        for(auto x : v) {
            cout << i << x << endl;
            i++;
        }
    }
};

template <class T>
enumerator<T> make_enumerator(T&& x) {
    return enumerator<T>(std::forward<T>(x));
}

int main() {
    vector<int> v {5, 2, 9, 1};
    make_enumerator(v).do_enumerate();
    make_enumerator(std::move(v)).do_enumerate();
}

这是如何工作的？

如果make_enumerator 的参数是A 类型的左值，则T 推导出为A&，我们得到枚举器enumerator<A&>，而如果它是A 类型的右值，则@ 987654329@ 推导出为A，我们得到枚举器enumerator<A>。

在第一种情况下，成员 enumerator::v 将具有类型 A&，这是一个绑定到构造函数参数的左值引用（无复制）。在第二种情况下，成员的类型为A。 std::forward 的使用将参数_v 强制转换为右值，因此它将在用于初始化v 时被移动。

Answer 2

这是一个典型的例子，你实际上不需要class/struct（实际上引入了无用的代码），你可以使用好的旧函数：

template<typename Container>
void enumerate(const Container& t) {
    std::size_t i = 0;
    for(auto it = t.begin(); it != t.end(); ++it, ++i)
        std::cout << i << *it << std::endl;
}

然后将其称为：

enumerate(std::vector<int>{2,3,9});

Live demo

使用此方法，您还可以免费获得参数类型推断（struct 无法获得）。