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

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

Войти
Регистрация
Восстановить пароль
 
Рейтинг: Рейтинг темы: голосов - 13, средняя оценка - 4.92
Artimosha
0 / 0 / 0
Регистрация: 30.06.2013
Сообщений: 12
#1

Явная специализация, зачем она нужна?(Шаблоны функций) - C++

16.07.2013, 00:05. Просмотров 2123. Ответов 13
Метки нет (Все метки)

Какой смысл в явной специализации, когда есть перегрузка? если можно, и примерчик) я себе уже в голову вбил, и тут надо чем-то тяжелым выбивать, что специализация - нужная вещь XD и если можно, литературу хорошую именно на эту тему(Шаблоны функций). спасибо
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
16.07.2013, 00:05
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Явная специализация, зачем она нужна?(Шаблоны функций) (C++):

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

явная специализация - C++
нужно реализовать специализацию по шаблону. Специализация должна принимать массив строк, и вернуть наибольшую строку. template...

Явная специализация - C++
Здрасти, Народ. Подскажите плз в чем преимущество явной специализации перед перед обычным применением перегруженной функции. Привожу...

Явная специализация шаблона - C++
Здравствуйте, подскажите, пожалуйста, почему не выполняется неявное приведение фактических параметров к формальным при вызове функции для...

Явная специализация шаблона - C++
Столкнулся с проблемой при изучении шаблонов. Задача: написать шаблонную функцию, которая принимает в качестве аргумента массив...

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

13
Jupiter
Каратель
Эксперт С++
6559 / 3980 / 227
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
16.07.2013, 00:20 #2
есть шаблонная функция. нам нужна её специализация. при чем тут перегрузка?
0
Artimosha
0 / 0 / 0
Регистрация: 30.06.2013
Сообщений: 12
16.07.2013, 00:53  [ТС] #3
Цитата Сообщение от Jupiter Посмотреть сообщение
есть шаблонная функция. нам нужна её специализация. при чем тут перегрузка?
при том, что можно перегрузить шаблон, и вроде, эффект тот же, нет?

Добавлено через 6 минут
C++ (Qt)
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <stdio.h>
 
template<class T> void swap(T & t1, T & t2) {
    printf("Шаблон");
}
 
void swap(int & a, int & b) {
    printf("Перегрузка");
}
 
int main() {
    swap(3, 5); //выведет "Перегрузка"
}
0
ForEveR
В астрале
Эксперт С++
7983 / 4742 / 321
Регистрация: 24.06.2010
Сообщений: 10,544
Завершенные тесты: 3
16.07.2013, 07:50 #4
Artimosha,
C++
1
2
3
4
5
6
7
8
9
template<int N>
void function()
{
}
 
template<>
void function<0>()
{
}
Ну перегрузите, чо.

Если подробнее - по-хорошему перегрузка и специализация капитально разные вещи. Действуют по совершенно различным правилам да и вообще. Довольно полезна к прочтению статья Саттера: http://www.gotw.ca/publications/mill17.htm
1
Tulosba
:)
Эксперт С++
4397 / 3233 / 297
Регистрация: 19.02.2013
Сообщений: 9,045
16.07.2013, 14:48 #5
Цитата Сообщение от ForEveR Посмотреть сообщение
Довольно полезна к прочтению статья Саттера: http://www.gotw.ca/publications/mill17.htm
Интересно прояснить по примеру в статье:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template<class T> // (a) same old base template as before 
void f( T );
 
template<>        // (c) explicit specialization, this time of (a)
void f<>(int*);
 
template<class T> // (b) a second base template, overloads (a) 
void f( T* );
 
// ...
 
int *p; 
f( p );           // calls (b)! overload resolution ignores 
                  // specializations and operates on the base 
                  // function templates only
Возможен ли в этом случае вообще вызов варианта (c)?

Не по теме:

P.S. без подсветки кода у Саттера, конечно, жутко

0
Croessmah
Ушел
Эксперт CЭксперт С++
13553 / 7704 / 872
Регистрация: 27.09.2012
Сообщений: 19,006
Записей в блоге: 3
Завершенные тесты: 1
16.07.2013, 14:56 #6
Tulosba,
C++
1
f<int*>( p );
Если не указан тип параметра, то,если не ошибаюсь, по правилам дедукции будет автоматически выбираться более общий тип T*
2
Kastaneda
Jesus loves me
Эксперт С++
4689 / 2893 / 236
Регистрация: 12.12.2009
Сообщений: 7,355
Записей в блоге: 2
Завершенные тесты: 1
16.07.2013, 15:13 #7
Когда на сессии был видел у одногруппника такой код
C++
1
2
3
4
5
6
7
8
9
10
// это метод в темлейтном классе vector
void function ()
{
    if (typeid(T) == typeid(int)) {
        function_int();
    } else if (typeid(T) == typeid(double)) {
        function_double();
    } else ... etc
    ...
}
наглядный пример - человек просто не слышал про специализацию (и как то смог про tipeid нагуглить )
0
Tulosba
:)
Эксперт С++
4397 / 3233 / 297
Регистрация: 19.02.2013
Сообщений: 9,045
16.07.2013, 15:25 #8
Цитата Сообщение от Croessmah Посмотреть сообщение
по правилам дедукции будет автоматически выбираться более общий тип T*
От перестановки мест шаблонов суть меняется. Из ранее упомянутой статьи.
Kastaneda, веселенькое ветвление. Без RTTI не заведется.
1
Croessmah
Ушел
Эксперт CЭксперт С++
13553 / 7704 / 872
Регистрация: 27.09.2012
Сообщений: 19,006
Записей в блоге: 3
Завершенные тесты: 1
16.07.2013, 15:34 #9
Цитата Сообщение от Tulosba Посмотреть сообщение
От перестановки мест шаблонов суть меняется. Из ранее упомянутой статьи.
Не доглядел как объявлена функция
C++
1
2
template<class T>
void f( T* );
что-то думал, что так:
C++
1
2
template<>
void f<int*>(int*);
0
Kastaneda
16.07.2013, 15:36
  #10

Не по теме:

Цитата Сообщение от Tulosba Посмотреть сообщение
Kastaneda, веселенькое ветвление. Без RTTI не заведется.
Пользователи MSVS не знают, что RTTI можно включать/выключать руками
Имею ввиду, что оно же по дефолту включено, поэтому у студентов это работает и они не парятся по поводу "без RTTI не заведется"

0
Jupiter
16.07.2013, 16:04
  #11

Не по теме:

Цитата Сообщение от Kastaneda Посмотреть сообщение
наглядный пример - человек просто не слышал про специализацию (и как то смог про tipeid нагуглить )
это вполне нормальный код с точки зрения js-девелопера

0
Artimosha
0 / 0 / 0
Регистрация: 30.06.2013
Сообщений: 12
16.07.2013, 21:50  [ТС] #12
Цитата Сообщение от Croessmah Посмотреть сообщение
Tulosba,
C++
1
f<int*>( p );
Если не указан тип параметра, то,если не ошибаюсь, по правилам дедукции будет автоматически выбираться более общий тип T*
так, скорее всего, будет вариант (б). Явное создание экземпляра по шаблону (б). Мне кажется(но я не проверял) вызов (с) невозможен там... По крайней мере таким образом...
0
Tulosba
16.07.2013, 21:52
  #13

Не по теме:

Цитата Сообщение от Artimosha Посмотреть сообщение
Мне кажется(но я не проверял)
Значит стоит проверить

0
Artimosha
0 / 0 / 0
Регистрация: 30.06.2013
Сообщений: 12
16.07.2013, 22:58  [ТС] #14
и кстати, код с варианта 3 уже не запускается. qt выдает:
template<class T> // (b) a second base template, overloads (a)
void f( T* );

с++ становится безопаснее и безопаснее) радует)
кстати, возможно отсюда и вывод, что в том случае ту явную специализацию вызвать невозможно, отсюда, наверное, и ошибка... предполагаю так...

Добавлено через 55 минут
чуть еще с кодом перепробывал, вообщем так:
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
#include <iostream>
 
using namespace std;
template<class T> 
void f( T );
 
template<>        
void f<int*>(int*);
 
template<class T> 
void f( T * );
 
int main()
{
    int *p;
    f<int*>(p);
    cout << "Hello World!" << endl;
    return 0;
}
 
template<class T>
void f( T ){
    cout << "1!" << endl;
}
 
template<class T>
void f( T* ){
    cout << "3!" << endl;
}
 
template<>
void f<int*>(int* rak){
    cout << "2!" << endl;
}
использует шаблон первый, по нему строит функцию(явное создание экземпляра тут выходит равно явной специализации, т.е. вывело "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
31
32
33
34
#include <iostream>
 
using namespace std;
template<class T> 
void f( T );
 
template<>        
void f<>(int*);
 
template<class T> 
void f( T * );
 
int main()
{
    int *p;
    f<int*>(p);
    cout << "Hello World!" << endl;
    return 0;
}
 
template<class T>
void f( T ){
    cout << "1!" << endl;
}
 
template<class T>
void f( T* ){
    cout << "3!" << endl;
}
 
template<>
void f<>(int* rak){
    cout << "2!" << endl;
}
то выдает ошибку:
D:\projects\untitled\main.cpp:32: ошибка: specialization of 'void f(T*) [with T = int]' after instantiation

есть еще пару моментов, но лучше самим их протрогать)
0
16.07.2013, 22:58
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
16.07.2013, 22:58
Привет! Вот еще темы с ответами:

Явная специализация шаблона - C++
Здравствуйте. Не совсем разобрася с сабжем. Например, если есть кусочек кода: template &lt;typename T&gt; void func(T &amp;blue, T &amp;red); ...

Явная специализация класса - C++
Код переписан из книги, однако не компилируется. Что не так со специализацией класса? // Явная специализация класса. #include...

Явная специализация шаблона. Ошибки - C++
Помогите исправить ошибки. Надо для шаблонного класса сделать специализацию float #include &lt;iostream&gt; #include &lt;stdlib.h&gt; ...

Явная специализация шаблонного класса - C++
Всем привет, не могу разобраться с определением функций-членов для явной специализации Имеем след. код: template &lt;class Type&gt; class A...


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

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

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