テンプレートはstd :: variantの訪問に使用できますか？

Question

私はこれに尋ねた。question約std::variant。バリアントが保持する型がすべてstd::coutで印刷可能であることを考慮すると、訪問者を実装する簡単な方法はありますか？

Hereたとえば、各タイプをカバーする複数のラムダがありますが、すべて同じことをします（std::stringを除く）：std::cout << arg << ' ';。私の自己を繰り返さない方法はありますか？

std::visit(overloaded { 
      [](int arg) { std::cout << arg; }, 
      [](long arg) { std::cout << arg; }, 
      [](double arg) { std::cout << arg; } 
      // I removed the std::string case 
     }, v); // v is the std::variant 

、代わりに書き込み：

std::visit( [](auto arg) { std::cout << arg; }, v); 

か何かのように：

template<typename T> 
void printer(T arg) {std::cout << arg; } 
//....... 
std::visit(printer, v); 

Answer 1

std::visit( [](auto&& arg) { std::cout << arg; }, v); 

をコピーする必要はありませんこれは（転送）参照によってargをとります。私はそれを転送する気にしない;私はそれが本当に価値または左辺値であれば気にしません。

訪問にはオブジェクトが必要であり、テンプレート関数は関数のオブジェクトではないため、テンプレート関数は機能しません。オーバーロードセット名をC++のオブジェクトとして（まだ）渡すことはできません。

overloadトリックは、主に異なる動作をディスパッチする場合に使用します。あなたが行うことができます

ことの一つは、我々が取得、その後

template<typename T> 
void printer(T arg) {std::cout << arg; } 

std::visit([](auto&&arg){printer(arg);}, v); 

または

#define RETURNS(...) \ 
    noexcept(noexcept(__VA_ARGS__)) \ 
    -> decltype(__VA_ARGS__) 

#define OVERLOADS_OF(...) \ 
    [](auto&&...args) \ 
    RETURNS(__VA_ARGS__(decltype(args)(args)...)) \ 
    { return __VA_ARGS__(decltype(args)(args)...); } 

です：で指定された関数のオーバーロード集合を表し、匿名のオブジェクトを作成します

template<typename T> 
void printer(T arg) {std::cout << arg; } 

std::visit(OVERLOADS_OF(printer), v); 

トークンはprinterです。