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

Почему перегруженные шаблоны функций должны возвращать один и тот же тип? - C++

Восстановить пароль Регистрация
 
Рейтинг: Рейтинг темы: голосов - 9, средняя оценка - 4.78
Intel~lect
 Аватар для Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
07.08.2012, 12:56     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #1
Так как я еще очень плохо знаю шаблоны и никак не могу понять. Почему у всех перегруженных шаблонных функций с одинаковыми именами так же должны быть одинаковые возвращаемые значения?
Первая программа компилируется а вторая нет. Во второй программе у второго шаблона я просто изменил тип возвращаемого значения с void на int

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
26
27
28
struct job
{
    char name[40];
    double salary;
    int floor;
};
 
template <typename T>
void my_swap(T &a, T &b)
{
    T temp = a;
    a = b;
    b = temp;
}
 
// Обменивается только содержимым полей salary и floor в структуре
template <>
void my_swap<job>(job &j1, job &j2)
{
    double s = j1.salary;
    int f = j1.floor;
 
    j1.salary = j2.salary;
    j1.floor = j2.floor;
 
    j2.salary = s;
    j2.floor = f;
}
2) а эта не компилируется
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
struct job
{
    char name[40];
    double salary;
    int floor;
};
 
template <typename T>
void my_swap(T &a, T &b)
{
    T temp = a;
    a = b;
    b = temp;
}
 
// Обменивается только содержимым полей salary и floor в структуре и возвращает целое число
template <>
int my_swap<job>(job &j1, job &j2) //error: template-id 'my_swap<job>' for 'int my_swap(job&, job&)' does not match any template declaration|
{
    double s = j1.salary;
    int f = j1.floor;
 
    j1.salary = j2.salary;
    j1.floor = j2.floor;
 
    j2.salary = s;
    j2.floor = f;
 
   return 1;
}
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт C++
6543 / 3963 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
07.08.2012, 13:06     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #2
возвращаемый тип не участвует в перегрузке функций и потому int my_swap это новая функция
Avazart
 Аватар для Avazart
6904 / 5144 / 253
Регистрация: 10.12.2010
Сообщений: 22,621
Записей в блоге: 17
07.08.2012, 13:35     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #3
Т.е.

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
namespace my{
//---------------- My ----------------------
struct job
{
    char name[40];
    double salary;
    int floor; /* опасное имя, совпадает с  std::floor()  */
};
 
template <typename T>
void swap(T &a, T &b)
{
    T temp = a;
    a = b;
    b = temp;
}
 
 
int swap(job &j1, job &j2) /* Не шаблон, обычная перегрузка */
 {
    double s = j1.salary;
    int f = j1.floor;
 
    j1.salary = j2.salary;
    j1.floor = j2.floor;
 
    j2.salary = s;
    j2.floor = f;
 
   return 1;
}
}//---------------end My-------------------------------
Intel~lect
 Аватар для Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
07.08.2012, 13:42  [ТС]     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #4
Значит через шаблоны так нельзя делать? Только через отдельную функцию?
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
07.08.2012, 13:48     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #5
Intel~lect, НЕ используйте специализацию шаблонных функций. Используйте перегрузку или разные функции.
Avazart
 Аватар для Avazart
6904 / 5144 / 253
Регистрация: 10.12.2010
Сообщений: 22,621
Записей в блоге: 17
07.08.2012, 13:53     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #6
Я считал что термин "специализация" применяется к класс-шаблонам, а к ф-циям шаблонам- также перегрузка...

Добавлено через 1 минуту
Просто стоит понимать что такое сигнатура ф-ции и что именно она влияет на перегрузку.
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
07.08.2012, 13:53     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #7
Avazart, Нет. Функции-шаблоны можно специализировать полностью. Только вот есть проблема - специализация шаблонных функций не является первичным шаблоном. Саттер давал такой пример, не слишком очевидный результат, верно? http://liveworkspace.org/code/a53b7a...364989c4eb67dc
Avazart
 Аватар для Avazart
6904 / 5144 / 253
Регистрация: 10.12.2010
Сообщений: 22,621
Записей в блоге: 17
07.08.2012, 14:55     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #8
Глава 12. Специализация и перегрузка (Джосаттис Шаблоны С++ )
12.2.1. Сигнатуры

Две функции могут сосуществовать в программе, если у них разные сигнатуры. Определим сигнатуру как приведенную ниже информацию .

1. Не полностью квалифицированное имя функции (или имя шаблона функции, из которого она сгенерирована).

2. Область видимости класса или пространства имен (и, если это имя имеет внутреннее связывание, единица трансляции), в котором объявлено имя.

3. Классификация функции как const, volatile или const volatile (если это функция-член с данным спецификатором).

4. Типы параметров функции (перед подстановкой параметров шаблона, если функция генерируется из шаблона функции).

5. Если функция генерируется из шаблона функции, то тип ее возвращаемого значения.

6. Параметры и аргументы шаблона, если функция генерируется из шаблона функции.

Это означает, что в одной и той же программе могут сосуществовать следующие шаблоны и их экземпляры:
C++
1
2
3
4
template<typename Tl,   typename T2> void  fl(Tl,   T2);
template<typename Tl,   typename T2> void  fl(T2,   Tl);
template<typename T> long  f2(T);
template<typename T> char  f2(T);
Однако их не всегда можно использовать, если они объявлены в одной области видимости, поскольку при их инстанцировании возникает неоднозначность перегрузки.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
template<typename Tl   ,   typename T2>
void fl(Tl,   T2)
{
std::cout  «   "fl(Tl,   T2)\n"; }
template<typename Tl, typename T2>
void fl(T2, Tl)
{
//Это определение отличается от того, которое дано в стандарте C++, однако следствия у них эк виваленты.
std::cout  «   "fl(T2,   Tl)\n";
}
// Пока все хорошо
int main ()
{
fl<char,char>('а',' bf'); // Ошибка: неоднозначность
}
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
07.08.2012, 14:57     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #9
Цитата Сообщение от ForEveR Посмотреть сообщение
НЕ используйте специализацию шаблонных функций
Я так понимаю на практике мало кто так делает?
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
07.08.2012, 15:05     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #10
yuron_477, В плане? Рекомендуют не использовать, ибо перегрузка ничем не хуже ( и даже лучше, т.к. перегрузка является первичным шаблоном).
Avazart
 Аватар для Avazart
6904 / 5144 / 253
Регистрация: 10.12.2010
Сообщений: 22,621
Записей в блоге: 17
07.08.2012, 16:00     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #11
Я бы советовал другое подогнать структуру job под шаблон так что бы она попадала под общий случай (шаблон) и если надо предусмотреть метод swap() внутри этой структуры ( например для более быстрой реализации )

Но для меня непонятна необходимость возвращения значения int
Intel~lect
 Аватар для Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
08.08.2012, 10:02  [ТС]     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #12
Спасибо что пытались объяснить, но мне похоже надо эту главу про шаблоны с самого начала перечитать. А то очень плохо понимаю эту тему.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
08.08.2012, 12:53     Почему перегруженные шаблоны функций должны возвращать один и тот же тип?
Еще ссылки по теме:

C++ Difftime() должен возвращать тип double
Почему плохо возвращать указатель из функции? C++
Написать перегруженные шаблоны функций для уравнений C++

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

Или воспользуйтесь поиском по форуму:
Avazart
 Аватар для Avazart
6904 / 5144 / 253
Регистрация: 10.12.2010
Сообщений: 22,621
Записей в блоге: 17
08.08.2012, 12:53     Почему перегруженные шаблоны функций должны возвращать один и тот же тип? #13
Тему ???
Я привел цитату из книги посвященной им...
Yandex
Объявления
08.08.2012, 12:53     Почему перегруженные шаблоны функций должны возвращать один и тот же тип?
Ответ Создать тему
Опции темы

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