Обработка parameter pack через функции

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
#include <iostream>
#include <vector>
#include <type_traits>
 
namespace detail
{
 
template <std::size_t Pos, typename T>
void print_impl(T val)
{
   std::cout << val;
}
 
template <std::size_t Pos, typename First, typename... Args>
void print_impl(Pos pos, First f, Args... args)
{
   print_impl(pos - 1, f, args...);
}
 
}
 
template <typename... Args>
void print_third(Args... args)
{
   static_assert(sizeof... (Args) >= 3, "to less arguments");
 
   detail::print_impl(sizeof... (Args), args...);
}
 
 
int main()
{
   print_third(std::vector<int>{}, std::vector<int>{}, 42); // must print 42
   print_third(std::vector<int>{}, std::vector<int>{}, 84, std::vector<int>{}); // must print 84
   print_third(std::vector<int>{}, 42); // must be compile time error
}

@castaway · 30.06.2015, 13:47

Не по теме:

DiffEreD, для начала спасибо за интересную тему.

Croessmah · 30.06.2015, 14:08

DiffEreD, в смысле нужно выбирать в рантайме?

DiffEreD · 30.06.2015, 14:23 **[ТС]**

Я думаю что выбирать надо только на стадии компиляции. А как тогда в рантайме это может выглядеть?

@castaway · 30.06.2015, 14:42

Для конкретно третьего всё просто.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
 
template <typename T, typename U, typename V, typename ... VT>
void print_third( T, U, V v, VT ... ) {
    std::cout << v << std::endl;
}
 
int main()
{
    print_third( 'c', 2., 3, 4, 5 );
    return 0;
}

Но как должен задаваться индекс аргумента?

Добавлено через 11 минут

Не по теме:

Понял суть. Недосмотрел.

Croessmah · 30.06.2015, 15:19

Как вариант:

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
#include <iostream>
#include <vector>
#include <type_traits>
#include <tuple>
#include <functional>
 
 
namespace detail
{
 
template < std::size_t Pos , typename... Args>
void print_impl( const std::tuple<Args...> & tp )
{
    std::cout << std::get<Pos>(tp) ;
}
 
 
}
 
template <typename... Args>
void print_third(Args... args)
{
   static_assert(sizeof... (Args) >= 3, "to less arguments");
 
   detail::print_impl<2>( std::make_tuple ( args... ) ) ;
}
 
 
template <class T>
std::reference_wrapper<const T> rv_ref ( const T & x) noexcept
{
    return std::reference_wrapper<const T>(x) ;
}
 
 
int main()
{
   print_third(rv_ref(std::vector<int>{}), rv_ref(std::vector<int>{}), 42); // must print 42
   print_third(rv_ref(std::vector<int>{}), rv_ref(std::vector<int>{}), 84, rv_ref(std::vector<int>{})); // must print 84
   print_third(rv_ref(std::vector<int>{}), 42); // must be compile time error
}

DiffEreD · 30.06.2015, 15:34 **[ТС]**

Ага, суть понятна.
Сделал себе сразу вот так:

C++
1
2
3
4
5
6
template <typename... Args>
void print_third(Args... args)
{
   static_assert(sizeof... (Args) >= 3, "to less arguments");
   std::cout << std::get<2>(std::make_tuple(args...)) << std::endl;
}

Croessmah · 30.06.2015, 16:01

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

Сделал себе сразу вот так

Я бы еще сделал что-то, для ликвидации копирования. Что-то типа такого:

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
#include <iostream>
#include <vector>
#include <type_traits>
 
 
namespace detail
{
 
template < std::size_t Pos , typename ... Args >
void print_impl( const Args &... args ) ;
 
template < std::size_t Pos , typename First, typename ... Args >
struct printer_struct
{
    printer_struct( const First & x , const Args& ...  args )
    {
        print_impl <Pos-1,Args...>(args...) ;
    }
} ;
 
template < typename First, typename ... Args >
struct printer_struct<0,First,Args...>
{
    printer_struct( const First & x , const Args& ...  args )
    {
        std::cout << x ;
    }
} ;
  
 
 
template < std::size_t Pos , typename ... Args >
void print_impl( const Args &... args )
{
    printer_struct<Pos, Args...>(args...) ;
}
 
 
 
 
}
 
template <typename... Args>
void print_third(const Args&... args)
{
   static_assert(sizeof... (Args) >= 3, "to less arguments");
 
   detail::print_impl<2>( args... ) ;
}
 
 
 
int main()
{
   print_third(std::vector<int>{}, std::vector<int>{}, 42 ); // must print 42
   print_third(std::vector<int>{}, std::vector<int>{}, 84, std::vector<int>{}); // must print 84
   print_third(std::vector<int>{}, 42); // must be compile time error
}

Не по теме:

Это моё 7000-ое сообщение :) память будет

DiffEreD · 30.06.2015, 23:40 **[ТС]**

Сделал без tuple:

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
#include <iostream>
#include <vector>
#include <type_traits>
#include <utility>
 
namespace detail
{
 
template <std::size_t I, typename T, typename... Args>
typename std::enable_if<I == 0>::type
print_impl(T&& t, Args&& ... args)
{
   std::cout << t << std::endl;
}
 
template <std::size_t I, typename T, typename... Args>
typename std::enable_if<I != 0>::type
print_impl(T&& t, Args&& ... args)
{
   print_impl<I - 1, Args...>(std::forward<Args>(args)...);
}
 
}
 
template <typename... Args>
void print_third(Args&&... args)
{
   static_assert(sizeof... (Args) >= 3, "to less arguments");
 
   detail::print_impl<2, Args...>(std::forward<Args>(args)...);
}
 
int main()
{
   print_third(std::vector<int>{}, std::vector<int>{}, 42); // must print 42
   print_third(std::vector<int>{}, std::vector<int>{}, 84, std::vector<int>{}, 1, 2); // must print 84
   //print_third(std::vector<int>{}, 42); // must be compile time error
}

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@castaway
	30.06.2015, 13:47
	Не по теме: DiffEreD, для начала спасибо за интересную тему. 0

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	30.06.2015, 14:08
	DiffEreD, в смысле нужно выбирать в рантайме? 0

DiffEreD 1458 / 795 / 257 Регистрация: 21.06.2011 Сообщений: 1,740 Записей в блоге: 2
	30.06.2015, 14:23 [ТС]
	Я думаю что выбирать надо только на стадии компиляции. А как тогда в рантайме это может выглядеть? 0

Обработка parameter pack через функции

Решение