Question

在考虑如何解决std::min dangling reference problem时，我想到的是为要删除的rvalues添加一个重载（实际上是3 - 对于每个组合）。问题是T&&将是转发引用，而不是右值引用。

我想明确地将此问题与std::min分开，并使其更具一般性。 std::min可以作为一个例子，为什么你需要这样的东西。

让我们简化并概括问题：

// this has the same problem as `std::min`: if t binds to a temporary,
// and the result is assigned to `auto&`, the result is a dangled reference
template <class T>
const T& foo(const T& t)
{
  return t;
}

// incorrect attempt to prevent foo from being called with a temporary argument
// `T&&` is a forwarding reference, not an rvalue reference
template <class T>
const T& foo(T&& t) = delete;

问题是：如何控制通用模板参数T可以绑定哪种引用？它怎么可以扩展多个参数（比如在std::min情况下）？

Answer 1

你可以做

template <typename T>
std::enable_if_t<std::is_rvalue_reference<T&&>::value>
foo(T&&) = delete;

Demo

对于2个参数，它变为：

template <typename T1, typename T2>
std::enable_if_t<
    (std::is_rvalue_reference<T1&&>::value
    || std::is_rvalue_reference<T1&&>::value)
    && std::is_same<std::decay_t<T1>, std::decay_t<T2>>::value
>
foo(T1&&, T2&&) = delete;

Praetorian的版本将是：

template <class T> void foo(const T&&, const T&) = delete;
template <class T> void foo(const T&, const T&&) = delete;
template <class T> void foo(const T&&, const T&&) = delete;

Answer 2

鉴于您的代码，以下无法编译

int i = 0;
foo(i);      // deleted function

选择转发引用过载的原因是因为匹配另一个需要const限定。但如果你要写

int const i = 0;
foo(i);      // perfectly fine

在这种情况下，重载采用lvalue reference is selected。

因此，为了拒绝所有rvalues，delete d函数需要采用T const&&（这是std::ref拒绝rvalues所做的事情）

template <class T>
const T& foo(const T& t)
{
  return t;
}

template <class T>
const T& foo(T const&& t) = delete;

Live demo

控制什么样的引用`T`绑定

2 个答案: