如何使用模板签为类型的RVALUE和LVALUE参考获得不同的过载？

Question

我有一个函数 foo 通过引用进行参数，我希望它在rvalue和lvalue参考上的作用不同。 （我还应该提及 foo（）尊重constness;它不会更改引用的值。）我知道，如果我写信：

template <typename T> foo(T&& x);

我已经声明了a 而不是rvalue参考

template <typename T> foo(const T& x);
template <typename T> foo(T&& x);

/iSocpp.org/blog/2012/11/universal-references-in-c11-scott-meyers“ rel =“ nofollow noreferrer” > ``给我我想要的。

那么，我的问题是：影响两种参考之间的不同行为的正确方法是什么？

Answer 1

您可以有一个LVALUE参考过载和转发参考过载：

template <typename T> void foo(T& ) { ... }
template <typename T> void foo(T&& ) { ... }

对于LVALUE，首先超负荷受到青睐。对于RVALUE，仅第二个过载是可行的。

---

如果您想要的是一个const lvalue参考过载和一个非const rvalue参考过载，那么您只需要在转发参考案例中添加约束：

template <typename T> void foo(T const& ) { ... }
template <typename T, REQUIRES(!std::is_reference<T>::value)>
void foo(T&& ) { ... }

其中需要是您选择的方法。现在，在我们的四种情况下：

• 非const，lvalue：只有第一个是可行的
• const lvalue：只有第一个是可行的
• ，不可行，rvalue：两个可行的，第二个是更好的匹配
• const rvalue：可行，第二个是更专业的更好的匹配

Answer 2

标签调度是最简单的解决方案。

namespace details {
  template <typename T>
  void foo(std::true_type is_lvalue, const T& x) {
    std::cout << x << " is an lvalue\n";
  }
  template <typename T>
  void foo(std::false_type is_lvalue, T&& x) {
    std::cout << x << " is an rvalue\n";
  }
}
template <typename T>
void foo(T&& t) {
  return details::foo(
    typename std::is_lvalue_reference<T>::type{},
    std::forward<T>(t)
  );
}

当您实际上不想支持两种版本以进行超载分辨率目的时，Sfinae是严重的过度杀伤。

Answer 3

如果CONSEXPR C ++ 17，则可以使用C ++ 11或使用标签调度。这样的东西。

template <typename T> 
void foo(T&& x)
{
    foo(std::addressof(x), typename std::is_lvalue_reference<T>::type{});
}
void foo(void const *value, std::true_type)
{
   // do something on lvalue
}
void foo(void const *value, std::false_type)
{
   // do something on rvalue
}

您需要保存有关该类型的信息，尽管 reinterpret_cast 稍后该指针。或建议的更好：

template <typename T> 
void foo(T&& x)
{
    foo(std::forward<T>(x), typename std::is_lvalue_reference<T>::type{});
}
template <typename T>
void foo(T &&value, std::true_type)
{
   // do something on lvalue
}
template <typename T>
void foo(T &&value, std::false_type)
{
   // do something on rvalue
}

Answer 4

自从这个问题以来，事情发生了变化，因为C ++ 17件事有些好一点:)（取决于您喜欢这种模式）。

可以在没有任何有趣的业务的情况下实现这一目标，而 std :: enable_if 但是，它只是将有趣的业务放在其他地方，但我更喜欢它：

template <typename T>
struct Fn
{
    Fn(T &&);
    Fn(T const & v);
};

两个构造函数是您的模板类型的过载。如果需要返回值，则只需将其存储在课堂上并添加转换操作员即可。编译器使用构造函数来推断类模板类型。

缺点是，您需要用牙套而不是支架运行它。

当然，链接可以与：
https://godbolt.org/z/onzury

---

相同的模式确实与C ++ 11一起使用，但是EHH，不太好：

template <typename T>
bool Foo(T && value)
{
    return Fn<typename std::decay<T>::type>(std::forward<T>(value));
}

https：//godbolt.org/z/6yvf7w