Шаблоны с переменным числом аргументов

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
#include <iostream>
using namespace std;
 
static long double sum = 0;
 
template <class T>
long double sum_values(const T& value)
{
    sum+=value;
    return value;
}
 
template <class T, class... Args>
long double sum_values(const T& value, const Args&... args) // возвращает сумму аргументов
{
    sum+=value;
    sum_values(args...);
    return sum;
}
 
int main()
{
    cout<<sum_values(10, 2, 4, 4, 30.002)<<endl;;
    return 0;
}

@soon · 14.10.2012, 21:37

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
#include <utility>
 
template <class T>
T sum(T&& t)
{
    return t;
}
 
template <class T, class... Args>
auto sum(T&& t, Args&&... args)
    -> decltype(t + sum(std::forward<Args>(args)...))
{
    return t + sum(std::forward<Args>(args)...);
}
 
int main()
{
    std::cout << sum(3.14, 1) << std::endl;
    return 0;
}

Добавлено через 16 минут
Не-не-не, я поторопился

DiffEreD · 14.10.2012, 21:46 **[ТС]**

Да-да, работает только с двумя аргументами.

Добавлено через 2 минуты
soon, в двух словах, что делает вот этот код:

C++
1
std::forward<Args>(args)...)

, как то не могу понять его английское описание.

@soon · 14.10.2012, 22:36

yuron_477, грубо говоря, сохраняет тип, передаваемый в него. Дело в том, что если попытаться передать дальше T&&, то передастся только T&. Кроме того, T может иметь тип U&, тогда T&& будет означать r-reference на reference, что не есть хорошо и нам не нужно. Касаемо задачи - я вернусь к ней, как только космонавт приземлится. Минуты 4.

Добавлено через 43 минуты
Ну, собственно, что удалось выяснить. Decltype не хочет определять тип, если замешаны запакованные данные. Т.е. такой код работает, но это не есть хорошо.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
#include <utility>
 
template <class T>
T sum(T&& t)
{
    return t;
}
 
template <class T, class... Args>
T sum(T&& t, Args&&... args)
{
    return t + sum(std::forward<Args>(args)...);
}
 
int main()
{
    std::cout << sum(3.14, 1, 5) << std::endl;
    return 0;
}

DiffEreD · 14.10.2012, 22:52 **[ТС]**

Да, никогда бы не догадался что проблема была в decltype. Еще один вопросик, - я так понял, что данный код работает только с rvalue, а как быть с lvalue?

C++
1
2
3
4
5
6
7
int main()
{
    int n = 10;
    cout<<sum(10+1, 2, 3)<<endl;
    //cout<<sum(10+1, n, 3)<<endl; //ошибка
    return 0;
}

@soon · 14.10.2012, 23: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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
#include <iostream>
#include <utility>
 
template <class T>
struct GetValue
{
    static constexpr T value = T();
};
 
template <class T>
struct GetValue<T&>
{
    static constexpr T value = T();
};
 
template <class T, class U>
struct Add
{
    using type = decltype(GetValue<T>::value + GetValue<U>::value);
};
 
template <class T>
struct Add<T, void>
{
    using type = T;
};
 
template <class... Args>
struct TypeAfterAdding;
 
template <>
struct TypeAfterAdding<>
{
    using type = void;
};
 
template <class T, class... Args>
struct TypeAfterAdding<T, Args...>
{
    using type = typename Add<T, typename TypeAfterAdding<Args...>::type>::type;
};
 
template <class T>
T sum(T&& t)
{
    return t;
}
 
template <class T, class... Args>
auto sum(T&& t, Args&&... args)
    -> typename TypeAfterAdding<T, Args...>::type
{
    return t + sum(std::forward<Args>(args)...);
}
 
int main()
{
    int n = 15;
    std::cout << sum(3.14, 4, n) << std::endl;
    return 0;
}

yuron_477, у меня последний код корректно отрабатывает с lvalue и rvalue. Причину я описал в посте #4

Добавлено через 6 минут
Кстати, нашел этот-же вопрос на so
http://stackoverflow.com/quest... e-function

@alex_x_x · 15.10.2012, 01:01

хм
а яб просто, по-старинке

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
#include <iostream>
#include <utility>
#include <tuple>
 
template <size_t Index, typename ... Args>
struct Sum;
 
template <size_t Index, typename ... Args>
struct Sum {
    static auto compute (const std::tuple <Args ...>& t) -> decltype (std::get<Index>(t) + std::get<Index - 1>(t)) {
        return std::get<Index>(t) + Sum <Index - 1, Args ...> :: compute (t);
    }
};
 
template <typename ... Args>
struct Sum <0, Args ...> {
    static auto compute (const std::tuple <Args ...>& t) -> decltype (std::get<0>(t)) {
        return std::get<0>(t);
    }
};
 
template <typename T, typename ... Args>
T sum (const Args& ... args) {
    return Sum <sizeof ...(Args) - 1, Args ...> :: compute (std::tuple<Args ...>(args...));   
}
 
int main () {
    std::cout << sum <int> (1., 2., 23.23, 2.9, 23.9f) << std::endl;
}

или тут какой-то конкретный смысл?

@soon · 15.10.2012, 10:40

alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся, то ваш код ничем не отличается(по функциональности) от кода, представленного в посте #4. А так, да, короче и выглядит лучше.

@ForEveR · 15.10.2012, 11:44

А чем хуже std::common_type в данном случае?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
 
template<typename T>
T sum(T&& t)
{
   return t;
}
 
template<typename T, typename... Args>
typename std::common_type<T, Args...>::type sum(T&& t, Args&&... args)
{
   return t + sum(std::forward<Args>(args)...);
}
 
int main()
{
   std::cout << sum(1, 1.2, 3.5, 4) << std::endl;
}

http://liveworkspace.org/code/... a7cf569dd7

@soon · 15.10.2012, 14:35

ForEveR, не хуже. Не знал, спасибо.

@alex_x_x · 15.10.2012, 14:41

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

alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся

просто если использовать T, то результат может неточно вычисляться
например T=int
sum (1.3, 1.3, 1.4) -> 3

Не по теме:

я вообще просто std::forward еще не осилил :D

@soon · 15.10.2012, 14:44

просто если использовать T, то результат может неточно вычисляться

Да, именно с этим я пытался справится с самого начала

я вообще просто std::forward еще не осилил

Могу накидать статью в блоге, нужна?

@alex_x_x · 15.10.2012, 15:54

Не по теме:

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

Могу накидать статью в блоге, нужна?

если есть желание - для общего блага конечно неплохо будет =)
только ссылку сюда кинь потом

@gray_fox · 20.12.2012, 19:20

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
template<typename T> T sum(T&& t)
{
   return t;
}
 
template<typename T, typename... Args>
typename std::common_type<T, Args...>::type sum(T&& t, Args&&... args)
{
   return t + sum(std::forward<Args>(args)...);
}
 
int main()
{
   std::cout << sum(1, 1.2, 3.5, 4) << std::endl;
}

Может глупость спрошу, но какая в данном случае выгода\разница в использовании && вместо const& ?

DiffEreD · 20.12.2012, 19:30 **[ТС]**

Ну, типа, чтобы было можно влипить такое: sum(1, 1.2, 3.5, 4+2, 5)

@gray_fox · 20.12.2012, 19:34

yuron_477, с const& тоже можно такое влепить.

@soon · 20.12.2012, 19:39

gray_fox, если будет передаваться как параметр временная переменная тяжелого класса, то логичнее(и быстрее) будет переместить данные, чем копировать.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

Шаблоны с переменным числом аргументов

Решение

Решение

@soon 2554 / 1319 / 178 Регистрация: 09.05.2011 Сообщений: 3,086 Записей в блоге: 1
	15.10.2012, 10:40
	alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся, то ваш код ничем не отличается(по функциональности) от кода, представленного в посте #4. А так, да, короче и выглядит лучше. 0

@soon 2554 / 1319 / 178 Регистрация: 09.05.2011 Сообщений: 3,086 Записей в блоге: 1
	15.10.2012, 14:35
	ForEveR, не хуже. Не знал, спасибо. 0

DiffEreD 1458 / 795 / 257 Регистрация: 21.06.2011 Сообщений: 1,740 Записей в блоге: 2
	20.12.2012, 19:30 [ТС]
	Ну, типа, чтобы было можно влипить такое: sum(1, 1.2, 3.5, 4+2, 5) 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	20.12.2012, 19:34
	yuron_477, с const& тоже можно такое влепить. 0

@soon 2554 / 1319 / 178 Регистрация: 09.05.2011 Сообщений: 3,086 Записей в блоге: 1
	20.12.2012, 19:39
	gray_fox, если будет передаваться как параметр временная переменная тяжелого класса, то логичнее(и быстрее) будет переместить данные, чем копировать. 1