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

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
Рейтинг: Рейтинг темы: голосов - 9, средняя оценка - 4.78
Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
#1

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

07.08.2012, 12:56. Просмотров 1087. Ответов 12
Метки нет (Все метки)

Так как я еще очень плохо знаю шаблоны и никак не могу понять. Почему у всех перегруженных шаблонных функций с одинаковыми именами так же должны быть одинаковые возвращаемые значения?
Первая программа компилируется а вторая нет. Во второй программе у второго шаблона я просто изменил тип возвращаемого значения с 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;
}
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
07.08.2012, 12:56
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Почему перегруженные шаблоны функций должны возвращать один и тот же тип? (C++):

Написать перегруженные шаблоны функций для уравнений - C++
Написать перегруженные шаблоны функций для нахождения корней линейного (a*x+b=0) и квадратного (a*x*x+b*x+c=0) уравнений. В функции...

Написать перегруженные шаблоны функций для нахождения корней линейного (a*x + b = 0) уравнения - C++
Кто знает как решить задачу на С++, при помощи шаблонных функций? Написать перегруженные шаблоны функций для нахождения корней линейного ...

Перегруженные шаблоны функций возврата минимального значения одно- и двумерного массивов - C++
Помогите с решением такой задачи. Надо найти минимальное значение одномерного и двумерного массивов. Выходит ошибка компиляции C2780. Мой...

Почему выводится один и тот же адрес памяти при одновременных запусках одной программы - C++
Здравствуйте, уважаемые программисты У меня к вам такой вопрос: при запуске программы, которая содержит указатель на некую переменную...

Перегруженные шаблоны - C++
Написать перегруженные шаблоны для решения уравнения: ax^2+bx+c=0

Перегруженные функции. Возвращаемый тип - C++
Добро всем времени суток. Изучаю Р.Лаворе книгу и наткнулся на непонятныий мне аспект. Вот есть код: String(char s) { ...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Jupiter
Каратель
Эксперт С++
6554 / 3975 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
07.08.2012, 13:06 #2
возвращаемый тип не участвует в перегрузке функций и потому int my_swap это новая функция
1
Avazart
Эксперт С++
7191 / 5365 / 280
Регистрация: 10.12.2010
Сообщений: 23,673
Записей в блоге: 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-------------------------------
1
Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
07.08.2012, 13:42  [ТС] #4
Значит через шаблоны так нельзя делать? Только через отдельную функцию?
0
ForEveR
В астрале
Эксперт С++
7972 / 4734 / 321
Регистрация: 24.06.2010
Сообщений: 10,541
Завершенные тесты: 3
07.08.2012, 13:48 #5
Intel~lect, НЕ используйте специализацию шаблонных функций. Используйте перегрузку или разные функции.
1
Avazart
Эксперт С++
7191 / 5365 / 280
Регистрация: 10.12.2010
Сообщений: 23,673
Записей в блоге: 17
07.08.2012, 13:53 #6
Я считал что термин "специализация" применяется к класс-шаблонам, а к ф-циям шаблонам- также перегрузка...

Добавлено через 1 минуту
Просто стоит понимать что такое сигнатура ф-ции и что именно она влияет на перегрузку.
0
ForEveR
В астрале
Эксперт С++
7972 / 4734 / 321
Регистрация: 24.06.2010
Сообщений: 10,541
Завершенные тесты: 3
07.08.2012, 13:53 #7
Avazart, Нет. Функции-шаблоны можно специализировать полностью. Только вот есть проблема - специализация шаблонных функций не является первичным шаблоном. Саттер давал такой пример, не слишком очевидный результат, верно? http://liveworkspace.org/code/a53b7a...364989c4eb67dc
1
Avazart
Эксперт С++
7191 / 5365 / 280
Регистрация: 10.12.2010
Сообщений: 23,673
Записей в блоге: 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'); // Ошибка: неоднозначность
}
1
DiffEreD
1430 / 767 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
07.08.2012, 14:57 #9
Цитата Сообщение от ForEveR Посмотреть сообщение
НЕ используйте специализацию шаблонных функций
Я так понимаю на практике мало кто так делает?
1
ForEveR
В астрале
Эксперт С++
7972 / 4734 / 321
Регистрация: 24.06.2010
Сообщений: 10,541
Завершенные тесты: 3
07.08.2012, 15:05 #10
yuron_477, В плане? Рекомендуют не использовать, ибо перегрузка ничем не хуже ( и даже лучше, т.к. перегрузка является первичным шаблоном).
1
Avazart
Эксперт С++
7191 / 5365 / 280
Регистрация: 10.12.2010
Сообщений: 23,673
Записей в блоге: 17
07.08.2012, 16:00 #11
Я бы советовал другое подогнать структуру job под шаблон так что бы она попадала под общий случай (шаблон) и если надо предусмотреть метод swap() внутри этой структуры ( например для более быстрой реализации )

Но для меня непонятна необходимость возвращения значения int
1
Intel~lect
135 / 124 / 2
Регистрация: 03.07.2012
Сообщений: 355
08.08.2012, 10:02  [ТС] #12
Спасибо что пытались объяснить, но мне похоже надо эту главу про шаблоны с самого начала перечитать. А то очень плохо понимаю эту тему.
0
Avazart
Эксперт С++
7191 / 5365 / 280
Регистрация: 10.12.2010
Сообщений: 23,673
Записей в блоге: 17
08.08.2012, 12:53 #13
Тему ???
Я привел цитату из книги посвященной им...
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
08.08.2012, 12:53
Привет! Вот еще темы с ответами:

Difftime() должен возвращать тип double - C++
#include &lt;iostream&gt; #include &lt;ctime&gt; #include &lt;conio.h&gt; using namespace std; int main() { time_t begin; time_t...

Почему не хочет возвращать main() ? - C++
Вот практикуюсь в C++, а тут return main(); не хочет работать - красным main() подчёркивает. Почему здесь ошибка, подскажите пожалуйста. ...

Почему плохо возвращать указатель из функции? - C++
Почему плохо то, что мы возвращаем указатель?(return rez) #include &lt;stdio.h&gt; #include &lt;stdlib.h&gt; #define SIZE 10 int*...

Один и тот же код на С++ и С#, Шаблоны, отображение содержимого шаблонного класса - C#
написан на С++ шаблонный класс &quot;List&quot; созданный для создания списковой структуры внутри двоичного файла () предусматривается работа с...


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

Или воспользуйтесь поиском по форуму:
Yandex
Объявления
08.08.2012, 12:53
Ответ Создать тему
Опции темы

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