您是否会将C RValue引用参数标记为const

Question

我一直在切换模板工厂函数来使用（和理解）d::f支持右值和移动语义学。我常用的模板类样板工厂函数总是将参数标记为const：

#include <iostream>
#include <utility>

template<typename T, typename U>
struct MyPair{
    MyPair(const T& t, const U& u):t(t),u(u){};

    T t;
    U u;
};

template<typename T, typename U>
std::ostream& operator<<(std::ostream& os, const MyPair<T,U>& pair){
    os << "(" << pair.t << ")=>" << pair.u;
    return os;
}

template<typename T, typename U>
MyPair<T,U> MakeMyPair(const T& t, const U& u){
    return MyPair<T,U>(t,u);
}

using namespace std;
int main(int argc, char *argv[]) {    

    auto no_forward = MakeMyPair(num, num);
    std::cout << no_forward << std::endl;

    auto no_forward2 = MakeMyPair(100, false);
    std::cout << no_forward2 << std::endl;
}

按预期编译。最初，我将MakeMyPair转换为以const形式传递参数，但这不会使用XCode 4.6在我的Mac上编译：

//$ clang --version
//Apple LLVM version 4.2 (clang-425.0.24) (based on LLVM 3.2svn)
//Target: x86_64-apple-darwin12.2.0
//Thread model: posix


template<typename T, typename U>
MyPair<T,U> MakeMyPair_Forward(const T&& t, const U&& u){
    return MyPair<T,U>(std::forward<const T>(t),std::forward<const U>(u));
}

int main(int argc, char *argv[]) { 
    int num = 37;
    auto anotherPair = MakeMyPair_Forward(num, true); //This won't work

    auto allRvalues = MakeMyPair_Forward(73, false);   //will compile 
    std::cout << allRvalues  << std::endl;
}

没有用于调用“MakeMyPair\U Forward”候选函数的匹配函数[具有T=int，U=bool]不可行：没有从“int”到“const int”的已知转换

这是有道理的http://en.cppreference.com/w/cpp/utility/forward它的状态常数是推导出来的，我传递的是左值。

• 如果对wrapper（）的调用传递了一个右值std:：string，那么T将被推断为std:：string（而不是std:：string）

删除常量就像我想要的右值和左值一样。只有将右值作为类型传递才能使用MakeMyPair_Forward参数的const。

//This works for rvalues and lvalues
template<typename T, typename U>
MyPair<T,U> MakeMyPair_Forward(T&& t, U&& u){
    return MyPair<T,U>(std::forward<const T>(t),std::forward<const U>(u));
}

所以，问题来了。当作为参数传递时，将右值引用标记为const有意义吗？我不能改变右值，这只是暂时的。在完成并修复代码后，我有点惊讶它是用const编译的。为什么要将右值参数标记为常量？关键是只提供一个接受右值的API吗？如果是这样的话，您会使用类型特征来防止左值引用吗？https://stackoverflow.com/a/7863645/620304

谢谢

Answer 1

另一个可能的用例，不是语言采用的，但可能是，是来自原始指针的智能指针构造函数，例如：

// this is NOT the actual ctor in the language but could have been
// see explanation in above link
unique_ptr(T* const&& p) : ptr{p} {}

Answer 2

所以，问题来了。当作为参数传递时，将右值引用标记为const有意义吗？

这是C 11标准中的一个地方：

template <class T> reference_wrapper<T> ref(T&) noexcept;
template <class T> reference_wrapper<const T> cref(const T&) noexcept;
template <class T> void ref(const T&&) = delete;
template <class T> void cref(const T&&) = delete;

即Aconst T

这也可以用T来完成