Как отнести ссылку на пересылку к определенному типу? ⇐ C++

[Anonymous]

При написании потокобезопасной оболочки 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();
}

Они почти одинаковы, за исключением того, что один берет константную ссылку на lvalue, а другой — ссылку на rvalue. Обычно я бы использовал идеальную пересылку, чтобы справиться с этой проблемой (теперь я использую великолепное сокращенное объявление шаблона C++20):

Код: Выделить всё

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

Проблема в том, что здесь принимается любой тип, тогда как он должен принимать только value_type и ссылки на него.
Есть ли какие-нибудь стандартный способ решения этой проблемы? Пока что я придумал два подхода. Либо используйте std::enable_if, чтобы каким-то образом проверить, является ли тип шаблона value_type или ссылкой на него, либо используйте концепцию.

Подробнее здесь: https://stackoverflow.com/questions/631 ... cific-type