Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.71/28: Рейтинг темы: голосов - 28, средняя оценка - 4.71
DiffEreD
1446 / 783 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
1

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

14.10.2012, 21:11. Просмотров 5561. Ответов 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
QA
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
14.10.2012, 21:11
Ответы с готовыми решениями:

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

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

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

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

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

16
soon
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
14.10.2012, 21:37 2
Лучший ответ Сообщение было отмечено как решение

Решение

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
1446 / 783 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
14.10.2012, 21:46  [ТС] 3
Да-да, работает только с двумя аргументами.

Добавлено через 2 минуты
soon, в двух словах, что делает вот этот код:
C++
1
std::forward<Args>(args)...)
, как то не могу понять его английское описание.
0
soon
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
14.10.2012, 22:36 4
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
14.10.2012, 22:36
DiffEreD
1446 / 783 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
14.10.2012, 22:52  [ТС] 5
Да, никогда бы не догадался что проблема была в 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
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
14.10.2012, 23:19 6
Вот такая портянка получилась. Завтра еще подумаю
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/questions/3...plate-function
0
alex_x_x
бжни
2459 / 1667 / 134
Регистрация: 14.05.2009
Сообщений: 7,162
15.10.2012, 01:01 7
хм
а яб просто, по-старинке

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
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 10:40 8
alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся, то ваш код ничем не отличается(по функциональности) от кода, представленного в посте #4. А так, да, короче и выглядит лучше.
0
ForEveR
В астрале
Эксперт С++
8012 / 4769 / 654
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
15.10.2012, 11:44 9
Лучший ответ Сообщение было отмечено как решение

Решение

А чем хуже 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/b73ffbeccd4760e105258ea7cf569dd7
4
soon
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 14:35 10
ForEveR, не хуже. Не знал, спасибо.
0
alex_x_x
бжни
2459 / 1667 / 134
Регистрация: 14.05.2009
Сообщений: 7,162
15.10.2012, 14:41 11
Цитата Сообщение от soon Посмотреть сообщение
alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся
просто если использовать T, то результат может неточно вычисляться
например T=int
sum (1.3, 1.3, 1.4) -> 3

Не по теме:

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

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

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

Не по теме:

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

0
gray_fox
What a waste!
1561 / 1265 / 168
Регистрация: 21.04.2012
Сообщений: 2,649
Завершенные тесты: 3
20.12.2012, 19:20 14
Цитата Сообщение от 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
1446 / 783 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
20.12.2012, 19:30  [ТС] 15
Ну, типа, чтобы было можно влипить такое: sum(1, 1.2, 3.5, 4+2, 5)
0
gray_fox
What a waste!
1561 / 1265 / 168
Регистрация: 21.04.2012
Сообщений: 2,649
Завершенные тесты: 3
20.12.2012, 19:34 16
yuron_477, с const& тоже можно такое влепить.
0
soon
2550 / 1315 / 177
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
20.12.2012, 19:39 17
gray_fox, если будет передаваться как параметр временная переменная тяжелого класса, то логичнее(и быстрее) будет переместить данные, чем копировать.
1
20.12.2012, 19:39
Answers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
20.12.2012, 19:39

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

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

Шаблон с переменным числом аргументов, и возвращаемое значение функции
Здравствуйте! Использую С++11. Хочу возвращать элементы кортежа пытаюсь так, auto...


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

Или воспользуйтесь поиском по форуму:
17
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.