Использование std:: visit с вариационной структурой шаблона

Я пытался понять следующий пример, который я получил от http://en.cppreference.com/w/cpp/utility/variant/visit

#include <iomanip>
#include <iostream>
#include <string>
#include <type_traits>
#include <variant>
#include <vector>


using var_t = std::variant<int, long, double, std::string>;

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
// what is this declaration imply???
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

int main() {
    std::vector<var_t> vec = {10, 15l, 1.5, "hello"};


    for (auto& v: vec) {
        std::visit(overloaded {
            [](auto arg) { std::cout << arg << '\n'; },
            [](double arg) { std::cout << std::fixed << arg << '\n'; },
            [](const std::string& arg) { std::cout << std::quoted(arg) << '\n'; },
        }, v);
    }
}

Может кто-нибудь объяснить, как работает эта перегруженная структура? Особенно, что я не понял, это следующее выражение.

template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

Без этого объявления компилятор выдает следующие сообщения об ошибках.

main.cpp: In function 'int main()':
main.cpp:26:9: error: class template argument deduction failed:
         }, v);
         ^
main.cpp:26: confused by earlier errors, bailing out

Цель: обучение

Ответы

Ответ 1

Может кто-нибудь объяснить, как работает эта перегруженная структура? Особенно, что я не понял, это следующее выражение.

template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

Это пользовательское руководство по вычету (ссылка на рабочий проект).
Это особенность языка, введенного последней версией стандарта наряду с вычитанием аргументов шаблона шаблона. См. Также здесь для получения более подробной информации и более удобного объяснения.
Это не является правильным объяснением, но для простоты вы можете рассматривать его как подсказку, которую вы можете дать, чтобы вывести аргументы шаблона из набора параметров, заданных конструктору.

В качестве примечания, здесь Я нашел пример, который довольно ясен и стоит его скопировать:

template<typename T>
struct Thingy { T t; };

Thingy(const char *) -> Thingy<std::string>;

// ...

Thingy thing{"A String"}; // thing.t is a `std::string`.

Кредиты для @NicolBolas, активного пользователя здесь, на SO. К сожалению, я не могу найти ответ, из которого этот пример был взят.