variant<A,B> から variant<A,B,C> に変換する方法

Question

タイトルの通りですが，
std::variant<A,B> 型のオブジェクトから，（取り得る型の種類がより多い） std::variant<A,B,C> 型のオブジェクトを作りたい時，どう書けば良いのでしょうか？

以下の例のようにすればできますが，なんかこう，もっと 簡単に(?)/サクッと(?) 書ける方法があったりしますでしょうか？

例：

//例えば，なんかこんなのがあって…
struct A{};
struct B{};
std::variant<A,B> A_or_B();

//こんなのを書くときに…
struct C{};
std::variant<A,B,C> A_or_B_or_C()
{
    if( /*何か*/ )
    {//A_or_B() の結果をそのまま結果とするフローがあるとき，どう書けばよいか？
        //とりあえずコレでできているけど，もっと簡単な(?) 方法ってありますか？
        auto A_or_B_result = A_or_B();
        return std::visit( []( auto &x )->std::variant<A,B,C>{  return x;   }, A_or_B_result );
    }
}

Answer 1

質問者が提示した方法が最も単純な方法だと思います。 直和型を持つほかの言語でそういった状況で一発で変換できるようなものがあるかおおざっぱに調べてみた感じでは無いのが普通のようなのでそういうものなんでしょう。

適当な関数として切り出しておけば変換が必要な箇所の見栄えは少しすっきりするかもしれません。

つまり

#include <type_traits>
#include <variant>

template <class... R, class... I>
auto extend(std::variant<I...> arg)
    -> std::enable_if_t<(... || std::is_convertible<I, std::variant<R...>>::value), std::variant<R...>> {
    return std::visit([](auto &x) -> std::variant<R...> { return x; }, arg);
}

というようなものを用意しておけば変換自体は

extend<A, B, C>(A_or_B_result);

と書けるのでスッキリして見えます。

Comments

[fana]

ご回答ありがとうございます．

> 適当な関数

に関しては，文法難度的に現状ではすんなりと読み書きできる気がしませんので，
まずは質問文に示したようなコードを各所に書いとくのでいいかな，と思いました．

---

> ||

なのは何故なのでしょうか？（ && ではなく）

[SaitoAtsushi]

単に間違えてます。
&& とすべきです。