Доступ к элементам tuple в шаблонах

DiffEreD · Регистрация: 21.06.2011

Студворк — интернет-сервис помощи студентам

Собственно, не могу понять как работать с элементами кортежа в цикле, не получается получить к ним доступ. Подскажите, кто знает, как это все заставить работать правильно? Вот код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
#include <iostream>
#include <tuple>
 
template<typename... Args>
struct A
{
    std::tuple<Args...> list;
//    void show() const           // не работает
//    {
//        std::cout<<"show tuple from struct = \n";
//        for (unsigned i = 0; i<sizeof... Args; ++i)
//            std::cout<<std::tuple_element<i, list>::type<<"\n";
//    }
    
//    double sum() const         // не работает
//    {
//        double s = 0.0;
//        for (unsigned i = 0; i<sizeof... Args; ++i)
//            s += std::get<i>(list);
//        return s;
//    }
    
    A(Args... args)
    {
        list = std::make_tuple(args... );
    }
};
 
template<typename... Args>
double sum(Args&&... args)
{
    std::tuple<Args...> list;
    list = std::make_tuple(args... );
    double s = 0.0;
    std::cout<<"sizeof... args = "<<sizeof... args<<"\n";
    std::cout<<"std::get<0>(list) = "<<std::get<0>(list)<<"\n";
//    for (unsigned i = 0; i<sizeof... args; ++i)          // не работает
//    {
//        std::cout<<std::get<i>(list)<<"\n";
//        s += std::get<i>(list);
//    }   
    return s;
}
 
int main()
{
    std::cout<<"sum = "<<sum(10, 2, 3.2)<<"\n";
    A<int, double, int> a(111, 2, 3);
    //std::cout<<"sum from struct = "<<a.sum()<<"\n";
    
    std::cout<<std::get<0>(a.list)<<"\n";  // выводит правильно
    
//    for (unsigned i = 0; i<3; ++i)
//        std::cout<<std::get<i>(a.list)<<"\n";
    
    return 0;
}

@OhMyGodSoLong · 10.03.2013, 19:43

Только рекурсией, как же ещё. Вот вам for_each. Жаль, что в Си++ template metaprogramming не сделан неотъемлемой частью библиотек, синтаксически невалидной в юзерспейс-коде.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#include <iostream>
#include <tuple>
#include <utility>
 
template <size_t I = 0, typename Action, typename... Args>
typename std::enable_if<I == sizeof...(Args)>::type
for_each(std::tuple<Args...>&, Action)
{
}
 
template <size_t I = 0, typename Action, typename... Args>
typename std::enable_if<I != sizeof...(Args)>::type
for_each(std::tuple<Args...> &tuple, Action please)
{
    please(std::get<I>(tuple));
    for_each<I + 1, Action, Args...>(tuple, please);
}
 
struct print {
    template <typename T>
    void operator()(const T &value)
    {
        std::cout << value;
    }
};
 
int main()
{
    std::tuple<int, const char*, int> x(1, " - ", 1);
    for_each(x, print());
}

@zarko97 · 09.01.2017, 17:56

C++
1
2
3
4
5
6
7
struct print {
    template <typename T>
    void operator()(const T &value)
    {
        std::cout << value;
    }
};

C++
1
std::function<void(T&)> func = auto [&](T value) { std::cout << value ;}

лямбду не проще будет??
а за пример +

MrGluck · 09.01.2017, 18:20

Сообщение от zarko97

лямбду не проще будет??

Вкусовщина. В примере не так важно, чем представлена унарная функция.
Если вы про такой вариант:

C++
1
2
auto func = [&](auto &value) { std::cout << value ;};
for_each(x, func);

То использование auto в сигнатуре лямбды появилось только в С++14.

@zarko97 · 14.01.2017, 15:59

можно так ещё:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#include <iostream>
#include <tuple>
#include <utility>
 
template<std::size_t Index = 0, std::size_t Maximum, class... Args>
static constexpr typename std::enable_if<Index == sizeof...(Args), std::ostream&>::type
for_each(const std::tuple<Args...>&, std::ostream& os)
{
    return os;
}
 
template<std::size_t Index = 0, std::size_t Maximum, class... Args>
static constexpr typename std::enable_if<Index != sizeof...(Args), std::ostream&>::type
for_each(const std::tuple<Args...>& tuple, std::ostream& os)
{
    return for_each<Index + 1, Maximum, Args...>(tuple, os) << std::get<Index>(tuple) << (Index + 1 == Maximum ? "" : ",");
}
 
template<class... Args>
std::ostream& operator<<(std::ostream& os, const std::tuple<Args...>& tuple)
{
    os << "( ";
    for_each<std::size_t{}, sizeof...(Args), Args...>(tuple, os);
    return os << " )";
}
 
int main()
{
    std::tuple<int, const char*, int> x(1, " - ", 1);
    std::cout << x;
}

@zarko97 · 05.02.2017, 12:27

можно даже что-то вроде итератора замутить:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#ifndef TUPLE_ITERATOR_H
#define TUPLE_ITERATOR_H
 
#include <tuple>
#include <utility>
#include <cstddef>
#include <iostream>
 
namespace detail {
 
    template<class Tuple, std::size_t Idx>
    class iterator
    {
    public:
        constexpr iterator(Tuple& p) : _p(p) {}
 
        static constexpr auto index() { return Idx; }
        constexpr auto operator++() const { return iterator<Tuple, Idx + 1>(_p); }
        constexpr auto operator--() const { return iterator<Tuple, Idx - 1>(_p); }
        constexpr auto get() const { return _p; }
    private:
        Tuple& _p;
    };
 
    template<class...Ts>
    constexpr auto begin(const std::tuple<Ts...>& t) {
        return iterator<const std::tuple<Ts...>, 0>(t);
    }
 
    template<class...Ts>
    constexpr auto end(const std::tuple<Ts...>& t) {
        return iterator<const std::tuple<Ts...>, sizeof...(Ts)>(t);
    }
 
    template<class Tuple, std::size_t Idx>
    constexpr auto prev(iterator<Tuple, Idx> it) { return --it; }
 
    template<class Tuple, std::size_t Idx>
    constexpr auto next(iterator<Tuple, Idx> it) { return ++it; }
 
    template<std::size_t begin, typename Tuple, typename F, std::size_t... Is>
    void for_each(Tuple&& t, F&& f, std::index_sequence<Is...>)
    {
        using unfold = int[];
        static_cast<void>(unfold{ 0, (f(std::get<begin + Is>(std::forward<Tuple>(t))), void(), 0)... });
    }
 
    template<class Tuple, std::size_t First, std::size_t Last, class Func>
    void for_each(iterator<Tuple, First> first, iterator<Tuple, Last> last, Func&& f)
    {
        constexpr auto dist = Last + First;
        constexpr auto base = First - 1;
        constexpr auto extent = std::make_index_sequence<dist>();
        for_each<base>(first.deref(), std::forward<Func>(f), extent);
    }
}
 
#endif

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .