Форум программистов, компьютерный форум CyberForum.ru

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

Восстановить пароль Регистрация
 
Рейтинг: Рейтинг темы: голосов - 24, средняя оценка - 4.71
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
14.10.2012, 21:11     Шаблоны с переменным числом аргументов #1
Написал шаблон функции с переменным числом аргументов которая считает сумму своих аргументов. Практики по этому вопросу не имею, поэтому возник вопрос - правильно ли написано или это все можно сделать как то по проще, можно ли обойтись без статической переменной? Вот код:
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
 Аватар для soon
2536 / 1301 / 81
Регистрация: 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 минут
Не-не-не, я поторопился
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
14.10.2012, 21:46  [ТС]     Шаблоны с переменным числом аргументов #3
Да-да, работает только с двумя аргументами.

Добавлено через 2 минуты
soon, в двух словах, что делает вот этот код:
C++
1
std::forward<Args>(args)...)
, как то не могу понять его английское описание.
soon
 Аватар для soon
2536 / 1301 / 81
Регистрация: 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;
}
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 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;
}
soon
 Аватар для soon
2536 / 1301 / 81
Регистрация: 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
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
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;
}
или тут какой-то конкретный смысл?
soon
 Аватар для soon
2536 / 1301 / 81
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 10:40     Шаблоны с переменным числом аргументов #8
alex_x_x, если не заменять T на decltype в функции sum, дабы возвращаемый тип вычислялся при суммировании, а не явно определялся, то ваш код ничем не отличается(по функциональности) от кода, представленного в посте #4. А так, да, короче и выглядит лучше.
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 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/b73ffb...258ea7cf569dd7
soon
 Аватар для soon
2536 / 1301 / 81
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
15.10.2012, 14:35     Шаблоны с переменным числом аргументов #10
ForEveR, не хуже. Не знал, спасибо.
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
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 еще не осилил

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

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

Не по теме:

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

gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 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& ?
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
20.12.2012, 19:30  [ТС]     Шаблоны с переменным числом аргументов #15
Ну, типа, чтобы было можно влипить такое: sum(1, 1.2, 3.5, 4+2, 5)
gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 3
20.12.2012, 19:34     Шаблоны с переменным числом аргументов #16
yuron_477, с const& тоже можно такое влепить.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
20.12.2012, 19:39     Шаблоны с переменным числом аргументов
Еще ссылки по теме:

C++ Как изменить значение переменной, переданной в списке с переменным числом аргументов
C++ Функция с переменным кол-вом аргументов char vs int
C++ GCC и функции с переменным числом аргументов

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

Или воспользуйтесь поиском по форуму:
soon
 Аватар для soon
2536 / 1301 / 81
Регистрация: 09.05.2011
Сообщений: 3,086
Записей в блоге: 1
20.12.2012, 19:39     Шаблоны с переменным числом аргументов #17
gray_fox, если будет передаваться как параметр временная переменная тяжелого класса, то логичнее(и быстрее) будет переместить данные, чем копировать.
Yandex
Объявления
20.12.2012, 19:39     Шаблоны с переменным числом аргументов
Ответ Создать тему
Опции темы

Текущее время: 03:02. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru