Question

const限定的许多好处之一是使API更容易理解，例如：

template<typename T> int function1(T const& in);
// clearly, the input won’t change through function1

随着rvalue引用的引入，人们可以从完美转发中受益，但通常会删除const限定符，例如：

template<typename T> int function2(T&& in);
// can explicitly forward the input if it's an rvalue

除了文档之外，还有一种很好的方法来描述function2不会改变它的输入吗？

Answer 1

template<typename T> int function2(T&& in);
// can explicitly forward the input if it's an rvalue
除了文档之外，还有一种很好的方式来描述它 function2不会改变它的输入吗？

是。坚持使用C ++ 03解决方案：

template<typename T> int function1(T const& in);
// clearly, the input won’t change through function1

完美转发的好处在于，您不希望假设某些内容为const或非const，左值或右值。如果您想强制修改某些内容（即const），请添加const明确说明。

你可以这样做：

template<typename T> int function1(T const&& in);
// clearly, the input won’t change through function1

然而，阅读代码的每个人都会想知道为什么你使用了右值引用。 function1将不再接受左值。只需使用const &代替，每个人都会理解。这是一个简单易懂的习语。

你不想完美前进。你想强制执行不变性。

Answer 2

你可以这样说：

template <typename T>
typename std::enable_if<immutable<T>::value, int>::type
function(T && in)
{
   // ...
}

你有类似的东西：

template <typename T> struct immutable
: std::integral_constant<bool, !std::is_reference<T>::value> {};

template <typename U> struct immutable<U const &>
: std::true_type {};

这样，只有当通用引用是const引用（所以T = U const &）或rvalue-reference（因此T不是引用）时，模板才可用。

也就是说，如果论证不会被改变，你可以使用T const &并完成它，因为从可变的绑定到临时值没有任何好处。

c ++ rvalue引用和const限定符

2 个答案: