模板演绎/重载分辨率有利于 T&& 而不是常量 T&

Template deduction/overload resolution favors T&& over const T&

本文关键字：常量 有利于 演绎 重载 分辨率      更新时间：2023-10-16

我有一对定义如下的函数模板：

template<typename CollectionType>
Foo<CollectionType> f(const CollectionType& v)
{
   return Foo<CollectionType>(v); // copies v into a member variable
}
template<typename CollectionType>
Foo<CollectionType> f(CollectionType&& v)
{
   return Foo<CollectionType>(std::move(v)); // moves v into a member variable
}

如果我按以下方式调用f：

std::vector<int> v;
f(v);

VC++编译器支持&&重载，显然是因为它不太专业。我希望在这种情况下调用const&重载——&&版本适用于类似f(ReturnAVector())的构造。有没有一种方法可以在不手动指定模板参数的情况下实现这一点？

经过相当多的努力，我想出了这个：

template<typename CollectionType>
Foo<CollectionType> f(const CollectionType& v)
{
    return Foo<CollectionType>(v); // copies v into a member variable
}
template<typename CollectionType>
typename std::enable_if<std::is_rvalue_reference<CollectionType&&>::value,
    Foo<typename std::remove_reference<CollectionType>::type>>::type
f(CollectionType&& v)
{
    return Foo<CollectionType>(std::move(v)); // moves v into a member variable
}

但是哇；这真的是得到我想要的东西的最简单的方法吗？

带有：

std::vector<int> v;
f(v);

你叫f(std::vector<int>&)所以

template<typename CollectionType>
Foo<CollectionType> f(CollectionType&& v)

是完全匹配（通用参考）CollectionType是std::vector<int>&而

template<typename CollectionType>
Foo<CollectionType> f(const CollectionType& v)

需要const升级。

一个可能的解决方案是添加一个非常量版本：

template<typename CollectionType>
Foo<CollectionType> f(CollectionType& v)

或者转发你的论点，比如：

template<typename CollectionType>
Foo<typename std::remove_reference<CollectionType>::type>
f(CollectionType&& v)
{
    return Foo<typename std::remove_reference<CollectionType>::type>(std::forward<CollectionType>(v));
}

第二个重载总是完全匹配的。因此，事实上不需要第一次过载，它只会引起歧义。你不应该继续争论，而应该继续争论。

template<typename CollectionType>
Foo<CollectionType> f(CollectionType&& v)
{
   return Foo<CollectionType>(std::forward<CollectionType>(v));
}

Scott Meyers对此给出了很好的解释：http://scottmeyers.blogspot.nl/2012/11/universal-references-in-c11-now-online.html

相关文章：