「構造化束縛でパックを導入できるようにする」のサンプルコードがエラーになる

[Raclamusi]

「構造化束縛でパックを導入できるようにする」のページの「std::apply()の実装改善」のサンプルコードで、以下の2点が気になります。

1. std::forward_like() に第2テンプレート引数を渡しており、コンパイルエラーになる
2. 1.を直したとしても、参照を持つタプルを渡すが考慮されておらず、 std::tuple<std::string&>&& などを渡した時に要素の参照先がムーブされてしまう（ std::apply() と異なる動作）

template <class F, class Tuple>
constexpr decltype(auto) apply(F &&f, Tuple &&t)
{
  auto&& [...elems] = t;
  return std::invoke(std::forward<F>(f),
        std::forward_like<Tuple, decltype(elems)>(elems)...);
}

[faithandbrave]

提案文書のコードがまちがってるやつですね。。。修正可能でしたらお願いしたいところではあります

[Raclamusi]

やります。
しかし、「実装が簡単になります」という例なのでどのように簡単さを保ったまま修正しようか悩んでいます。

[Raclamusi]

修正しました。
メタ関数が増えて少々複雑になってしまいましたが、 std::apply() と同じ動作になりました。

namespace detail {
  template <class A, class B>
  using override_ref = std::conditional_t<std::is_rvalue_reference_v<A&&>, B&&, B&>;
}

template <class F, class Tuple>
constexpr decltype(auto) apply(F &&f, Tuple &&t)
{
  auto&& [...elems] = t;
  return std::invoke(std::forward<F>(f),
        static_cast<detail::override_ref<Tuple, decltype(elems)>>(elems)...);
}

[faithandbrave]

修正ありがとうございます！
一旦クローズしますねー。ほかに修正案があって相談したい場合はreopenしてもらえればー