С Новым годом! Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.59/46: Рейтинг темы: голосов - 46, средняя оценка - 4.59
 Аватар для DiffEreD
1458 / 795 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2

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

14.10.2012, 21:11. Показов 9949. Ответов 16
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Написал шаблон функции с переменным числом аргументов которая считает сумму своих аргументов. Практики по этому вопросу не имею, поэтому возник вопрос - правильно ли написано или это все можно сделать как то по проще, можно ли обойтись без статической переменной? Вот код:
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;
}
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
14.10.2012, 21:11
Ответы с готовыми решениями:

Функция с переменным числом аргументов (через шаблоны)
Доброго времени суток! Встал вопрос с реализацией такой функции. template&lt;typename... Args&gt; returntype functionname(const...

Функции с переменным числом аргументов
Ребята, подскажите пожалуйста, где можно обстоятельно и подробно прочитать про использовании в C++ функций с несколькими аргументами. ...

Функции с переменным числом аргументов
на пример sum(2,56,515,-23.65,548)?

16
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
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 минут
Не-не-не, я поторопился
3
 Аватар для DiffEreD
1458 / 795 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
14.10.2012, 21:46  [ТС]
Да-да, работает только с двумя аргументами.

Добавлено через 2 минуты
soon, в двух словах, что делает вот этот код:
C++
1
std::forward<Args>(args)...)
, как то не могу понять его английское описание.
0
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
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;
}
0
 Аватар для DiffEreD
1458 / 795 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
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;
}
0
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
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
0
бжни
 Аватар для alex_x_x
2473 / 1684 / 135
Регистрация: 14.05.2009
Сообщений: 7,162
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;
}
или тут какой-то конкретный смысл?
1
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 10:40
alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся, то ваш код ничем не отличается(по функциональности) от кода, представленного в посте #4. А так, да, короче и выглядит лучше.
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
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
4
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 14:35
ForEveR, не хуже. Не знал, спасибо.
0
бжни
 Аватар для alex_x_x
2473 / 1684 / 135
Регистрация: 14.05.2009
Сообщений: 7,162
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

0
 Аватар для soon
2554 / 1319 / 178
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 14:44
просто если использовать T, то результат может неточно вычисляться
Да, именно с этим я пытался справится с самого начала

я вообще просто std::forward еще не осилил
Могу накидать статью в блоге, нужна?
1
15.10.2012, 15:54

Не по теме:

Цитата Сообщение от soon Посмотреть сообщение
Могу накидать статью в блоге, нужна?
если есть желание - для общего блага конечно неплохо будет =)
только ссылку сюда кинь потом

0
What a waste!
 Аватар для gray_fox
1610 / 1302 / 180
Регистрация: 21.04.2012
Сообщений: 2,733
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& ?
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
What a waste!
 Аватар для gray_fox
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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
20.12.2012, 19:39
Помогаю со студенческими работами здесь

Шаблонная функция с переменным числом аргументов
Сабж. Каким образом можно запретить использование шаблонной функции, если тип одного из аргументов не соответствует требуемому? Есть...

GCC и функции с переменным числом аргументов
Писал мини приложение в студии для работы с векторами, один из методов просто получает сколько угодно аргументов и заполняет координаты...

Написать функцию с переменным числом аргументов
Помогите понять, что от меня хотят-то вообще. Мне нужно: объявить функции в соответствии с вариантом. Определить их. мой вариант:написать...

Инициализация std::tuple переменным числом аргументов
Добрый вечер. Мне нужно инициализировать объект std::tuple, который является членом некоторого другого шаблонного класса с переменным...

Шаблон с переменным числом аргументов, и возвращаемое значение функции
Здравствуйте! Использую С++11. Хочу возвращать элементы кортежа пытаюсь так, auto Deserialize(unsigned long long i) -&gt;...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
17
Ответ Создать тему
Новые блоги и статьи
Модель микоризы: классовый агентный подход
anaschu 02.01.2026
Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .
Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути
Programma_Boinc 01.01.2026
Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост.
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-динозавры, а новое поколение лёгких потоков. Откат?. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru