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

@Intel~lect · Регистрация: 03.07.2012

Студворк — интернет-сервис помощи студентам

Так как я еще очень плохо знаю шаблоны и никак не могу понять. Почему у всех перегруженных шаблонных функций с одинаковыми именами так же должны быть одинаковые возвращаемые значения?
Первая программа компилируется а вторая нет. Во второй программе у второго шаблона я просто изменил тип возвращаемого значения с 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 · 07.08.2012, 13:06

возвращаемый тип не участвует в перегрузке функций и потому int my_swap это новая функция

@Avazart · 07.08.2012, 13:35

Т.е.

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 · 07.08.2012, 13:42 **[ТС]**

Значит через шаблоны так нельзя делать? Только через отдельную функцию?

@ForEveR · 07.08.2012, 13:48

Intel~lect, НЕ используйте специализацию шаблонных функций. Используйте перегрузку или разные функции.

@Avazart · 07.08.2012, 13:53

Я считал что термин "специализация" применяется к класс-шаблонам, а к ф-циям шаблонам- также перегрузка...

Добавлено через 1 минуту
Просто стоит понимать что такое сигнатура ф-ции и что именно она влияет на перегрузку.

@ForEveR · 07.08.2012, 13:53

Avazart, Нет. Функции-шаблоны можно специализировать полностью. Только вот есть проблема - специализация шаблонных функций не является первичным шаблоном. Саттер давал такой пример, не слишком очевидный результат, верно? http://liveworkspace.org/code/... 89c4eb67dc

@Avazart · 07.08.2012, 14:55

Глава 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 · 07.08.2012, 14:57

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

НЕ используйте специализацию шаблонных функций

Я так понимаю на практике мало кто так делает?

@ForEveR · 07.08.2012, 15:05

yuron_477, В плане? Рекомендуют не использовать, ибо перегрузка ничем не хуже ( и даже лучше, т.к. перегрузка является первичным шаблоном).

@Avazart · 07.08.2012, 16:00

Я бы советовал другое подогнать структуру job под шаблон так что бы она попадала под общий случай (шаблон) и если надо предусмотреть метод swap() внутри этой структуры ( например для более быстрой реализации )

Но для меня непонятна необходимость возвращения значения int

@Intel~lect · 08.08.2012, 10:02 **[ТС]**

Спасибо что пытались объяснить, но мне похоже надо эту главу про шаблоны с самого начала перечитать. А то очень плохо понимаю эту тему.

@Avazart · 08.08.2012, 12:53

Тему ???
Я привел цитату из книги посвященной им...

Новые блоги и статьи Все статьи Все блоги /
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-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

Jupiter Каратель 6610 / 4029 / 401 Регистрация: 26.03.2010 Сообщений: 9,273 Записей в блоге: 1
	07.08.2012, 13:06
	возвращаемый тип не участвует в перегрузке функций и потому int my_swap это новая функция 1

@Intel~lect 137 / 126 / 14 Регистрация: 03.07.2012 Сообщений: 355
	07.08.2012, 13:42 [ТС]
	Значит через шаблоны так нельзя делать? Только через отдельную функцию? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	07.08.2012, 13:48
	Intel~lect, НЕ используйте специализацию шаблонных функций. Используйте перегрузку или разные функции. 1

@Avazart 8484 / 6151 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	07.08.2012, 13:53
	Я считал что термин "специализация" применяется к класс-шаблонам, а к ф-циям шаблонам- также перегрузка... Добавлено через 1 минуту Просто стоит понимать что такое сигнатура ф-ции и что именно она влияет на перегрузку. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	07.08.2012, 15:05
	yuron_477, В плане? Рекомендуют не использовать, ибо перегрузка ничем не хуже ( и даже лучше, т.к. перегрузка является первичным шаблоном). 1

@Avazart 8484 / 6151 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	07.08.2012, 16:00
	Я бы советовал другое подогнать структуру job под шаблон так что бы она попадала под общий случай (шаблон) и если надо предусмотреть метод swap() внутри этой структуры ( например для более быстрой реализации ) Но для меня непонятна необходимость возвращения значения int 1

@Intel~lect 137 / 126 / 14 Регистрация: 03.07.2012 Сообщений: 355
	08.08.2012, 10:02 [ТС]
	Спасибо что пытались объяснить, но мне похоже надо эту главу про шаблоны с самого начала перечитать. А то очень плохо понимаю эту тему. 0

@Avazart 8484 / 6151 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	08.08.2012, 12:53
	Тему ??? Я привел цитату из книги посвященной им... 0