Обработка 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
}

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

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

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 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 через функции

Решение