Почему std::get не имеет единой подписи, которая принимает ссылку на пересылку

std::get существовал до decltype(auto). Так что это было легко.

Хорошо, почему бы не изменить его?

Тело std::get не указано стандартом и не должно быть, поскольку разные компиляторы имеют разные макеты и реализации кортежей.

decltype(auto) не сообщает читателю стандарта, пользователю или разработчику компилятора, каков возвращаемый тип. Он просто говорит, что это выведено из тела. Что не указано в стандарте.

Таким образом, наличие такого стандарта было бы бесполезным, если бы они не описывали возвращаемое значение отдельно, что в конечном итоге выглядело бы очень похоже на перечисление перегрузок.

Параметр std::get нельзя вывести, потому что std::get определен для многих разных типов. (Пример tuple, pair, array, variant).

По этой причине более чем любой другой std::get не может вывести свой тип параметра. Изменение его на дедукцию в этот момент нарушило бы реальный код, такой как типы, выведенные из кортежа. Например, предложенное изменение подписи даст подпись вида: template <class TupleLike, class = enable_if_t<IsStdTuple<TupleLike>::value>>> decltype(auto) get(TupleLike&&);

Эта сигнатура не допускает неявных преобразований в тип кортежа в интерфейсе, как это делали старые сигнатуры. Как уже упоминалось, это разбивает типы, производные от std::tuple, или типы, которые имеют оператор преобразования в std::tuple.

Libc++ реализует конструкторы преобразования tuple, pair и array с использованием одной универсальной перегрузки TupleLike. Как специалист по сопровождению, я хорошо знаком с этими проблемами реализации, и если бы я мог реализовать соответствующий std::get, как вы предлагаете, я бы уже это сделал.