特定类型的完美转发

Question

在编写线程安全的std::stack 包装器时，我为push 做了以下两个重载：

void push(const value_type& value)
{
    auto guard = std::scoped_lock{_mutex};
    _stack.push(value);
    _cv.notify_one();
}

void push(value_type&& value)
{
    auto guard = std::scoped_lock{_mutex};
    _stack.push(std::move(value));
    _cv.notify_one();
}

它们几乎相同，只是一个采用 const 左值引用，一个采用右值引用。通常我会使用完美转发来处理这个问题（现在使用光荣的 C++20 缩写模板声明）：

void push(auto&& value)
{
    auto guard = std::scoped_lock{_mutex};
    _stack.push(std::forward<decltype(value)>(value));
    _cv.notify_one();
}

这里的问题是它接受任何类型，而它应该只接受 value_type 和对它的引用。

有什么标准方法可以解决这个问题吗？到目前为止，我想出了两个方法。要么使用std::enable_if 以某种方式检查模板类型是value_type 还是对其的引用，或者使用概念。

Answer 1

你可以断言它：

template<typename T>
void push(T&& value)
{
    static_assert(is_same_v<remove_reference_t<T>, value_type>);
    // ...
}

您也可以使用is_convertible 代替is_same，这样它会更自然地工作。