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

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

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

C++ Явная специализация класса
явная специализация C++
C++ Явная специализация
Явная специализация шаблона C++
Явная специализация шаблона. Ошибки C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт C++
6543 / 3963 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
16.07.2013, 00:20     Явная специализация, зачем она нужна?(Шаблоны функций) #2
есть шаблонная функция. нам нужна её специализация. при чем тут перегрузка?
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); //выведет "Перегрузка"
}
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 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
Tulosba
:)
Эксперт С++
4378 / 3221 / 297
Регистрация: 19.02.2013
Сообщений: 9,044
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. без подсветки кода у Саттера, конечно, жутко

Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11836 / 6815 / 770
Регистрация: 27.09.2012
Сообщений: 16,898
Записей в блоге: 2
Завершенные тесты: 1
16.07.2013, 14:56     Явная специализация, зачем она нужна?(Шаблоны функций) #6
Tulosba,
C++
1
f<int*>( p );
Если не указан тип параметра, то,если не ошибаюсь, по правилам дедукции будет автоматически выбираться более общий тип T*
Kastaneda
Модератор
Эксперт С++
 Аватар для Kastaneda
4236 / 2769 / 218
Регистрация: 12.12.2009
Сообщений: 7,104
Записей в блоге: 1
Завершенные тесты: 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 нагуглить )
Tulosba
:)
Эксперт С++
4378 / 3221 / 297
Регистрация: 19.02.2013
Сообщений: 9,044
16.07.2013, 15:25     Явная специализация, зачем она нужна?(Шаблоны функций) #8
Цитата Сообщение от Croessmah Посмотреть сообщение
по правилам дедукции будет автоматически выбираться более общий тип T*
От перестановки мест шаблонов суть меняется. Из ранее упомянутой статьи.
Kastaneda, веселенькое ветвление. Без RTTI не заведется.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11836 / 6815 / 770
Регистрация: 27.09.2012
Сообщений: 16,898
Записей в блоге: 2
Завершенные тесты: 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*);
Kastaneda
16.07.2013, 15:36
  #10

Не по теме:

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

Jupiter
16.07.2013, 16:04
  #11

Не по теме:

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

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

Не по теме:

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

MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
16.07.2013, 22:58     Явная специализация, зачем она нужна?(Шаблоны функций)
Еще ссылки по теме:

Явная специализация шаблона C++
C++ Явная специализация шаблонного класса
C++ Явная специализация шаблонов

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

Или воспользуйтесь поиском по форуму:
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

есть еще пару моментов, но лучше самим их протрогать)
Yandex
Объявления
16.07.2013, 22:58     Явная специализация, зачем она нужна?(Шаблоны функций)
Ответ Создать тему
Опции темы

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