对模板函数中的完美转发进行了广泛的讨论,以允许有效地将左值或右值参数作为参数传递给其他函数。
但是,我找不到关于完美回报或等效完美传递的讨论。(相关问题完美传递并没有完全解决这个问题。)
考虑修改范围并应返回修改后范围的函数的情况。我们需要两个单独的函数来有效地处理左值和右值参数的情况:
// Given a reference to an lvalue range, return a reference to the same modified range.
// (There is no allocation or move.)
template<typename T> T& sortr(T& r) {
std::sort(std::begin(r),std::end(r));
return r;
}
// Given an rvalue range, return the same range via (hopefully) a move construction.
template<typename T> T sortr(T&& r) {
std::sort(std::begin(r),std::end(r));
return std::move(r);
}
当然,包含这两个定义会导致歧义错误,因为第二个定义也匹配左值引用。
一个激励示例(和测试使用)如下:
#include <iostream>
#include <vector>
#include <algorithm>
std::ostream& operator<<(std::ostream& os, const std::vector<int>& v) {
os << "["; for (int i : v) { os << " " << i; } os << " ]\n"; return os;
}
int main() {
std::vector<int> c1{3,4,2,1};
std::cerr << sortr(c1) << sortr(std::vector<int>({7,6,5,8}));
}
我们可以定义sortr
使用单个template<typename T>
定义的两个版本吗?
挑战在于,将返回类型声明为T&&
(在模板匹配之后)只会导致 aT&&
或T&
返回类型,而不是T
.
是否可以在返回类型上使用元编程定义适当的模板函数?类似于以下内容:
template<typename T> auto sortr(T&& r) ->
typename std::conditional<std::is_lvalue_reference<T>::value, T&, T>::type
{
std::sort(std::begin(r),std::end(r));
return std::forward<T>(r);
}
这似乎有效,但我不确定它是否安全和明智。欢迎任何指导。