Явная специализация шаблона функции - ошибка на этапе компиляции

@armo3000 · Регистрация: 09.01.2014

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

Всем привет, читаю книгу С. Прата и пытаюсь скомпилировать шаблонную функцию с явной специализацией, но на этапе компиляции вылезают ошибки.
Вот код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
#include <memory>
 
template<>
void prt<int>(int x);
 
int main()
{
 
}
 
template<>
void prt<int>(int x)
{
    std::cout << x << std::endl;
}

Ошибки:
g++ -Wall -o "1".exe "1.cpp" (в каталоге: C:\)
1.cpp:7:9: error: expected initializer before '<' token
void prt<int>(int x);
^
1.cpp:15:9: error: expected initializer before '<' token
void prt<int>(int x)
^
Сборка завершилась с ошибкой.

В чем причина?

ОС Windows 7, компилятор TDM-GCC Compiler Suite for Windows (GCC 4.9), редактор Geany, команда для сборки: g++ -Wall -o "%e".exe "%f" -std=c++1y

@DrOffset · 30.04.2015, 09:58

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

В чем причина?

Чтобы что-то специализировать, нужен общий случай.
Добавь основной шаблон перед специализацией, чтобы было что специализировать

C++
1
2
template <typename T>
void prt(T x) {}

@armo3000 · 30.04.2015, 10:17 **[ТС]**

DrOffset, вот же ж блин. Спасибо.
Тогда еще один вопрос, с нео всё и началось:
почему для rvalue ссылки std::string вызывается общий случай, а не частный?

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
#include <iostream>
#include <memory>
#include <string>
 
template <typename T>
void prt(T x) 
{
    std::cout << "common case" << std::endl;
}
 
template<>
void prt<std::string &&>(std::string &&x);
 
 
int main()
{
    std::string &&r = "hello";
    prt(r);
 
}
 
template<>
void prt<std::string &&>(std::string &&x)
{
    std::cout << "rv";
    std::cout << x << std::endl;
}

@ForEveR · 30.04.2015, 11:38

For a function parameter pack that occurs at the end of the parameter-declaration-list,
the type A of each remaining argument of the call is compared with the type P of the declarator-id of the
function parameter pack.
If P is a
reference type, the type referred to by P is used for type deduction. A forwarding reference is an rvalue
reference to a cv-unqualified template parameter. If P is a forwarding reference and the argument is an
lvalue, the type “lvalue reference to A” is used in place of A for type deduction.

Если вкратце, то для определения типа аргумента используется std::string, а не std::string&&.
Вот так будет работать.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <iostream>
#include <memory>
#include <string>
 
template <typename T>
void prt(T&& x) 
{
    std::cout << "common case" << std::endl;
}
 
template<>
void prt<std::string>(std::string&& x)
{
    std::cout << "rv";
    std::cout << x << std::endl;
}
 
int main()
{
    std::string r = "hello";
    prt(std::move(r));
}

@DrOffset · 30.04.2015, 11:43

Не по теме:

ForEveR, ну вот, отвлекли по работе и не успел запостить ответ :)

Добавлено через 37 секунд

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

Вот так будет работать.

Добавлю, что все-таки для функций предпочтительнее использовать перегрузку.

Tulosba · 30.04.2015, 11:45

Не по теме:

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

отвлекли по работе

негодяи какие! :D

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

для функций предпочтительнее использовать перегрузку.

В связи с чем шаблоны не подходят?

@ForEveR · 30.04.2015, 11:47

Tulosba, Слишком много гемороя все же. http://www.gotw.ca/publications/mill17.htm

@DrOffset · 30.04.2015, 11:54

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

В связи с чем шаблоны не подходят?

В связи с тем, что имеют ряд ограничений, которые затруднят решение поставленной задачи. Например, нет частичной специализации. Что касается этого примера, то если стоит требование не делать основной шаблон принимающим ссылку, то решение со специализацией невозможно. А вот перегрузка разрешит этот вопрос:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
template <typename T>
void prt(T x)
{
    std::cout << "common" << std::endl;
}
 
void prt(std::string && x);
 
int main()
{
    std::string && r = "hello";
    prt(std::move(r));
}
 
void prt(std::string && x)
{
    std::cout << "rv";
    std::cout << x << std::endl;
}

@armo3000 · 30.04.2015, 11:59 **[ТС]**

Всем спасибо за ответы, всё понятно

Новые блоги и статьи Все статьи Все блоги /
Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	[В процессе разработки] SDL3 для Web (WebAssembly): Сборка библиотек SDL3 и Box2D из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	30.04.2015, 11:47
	Tulosba, Слишком много гемороя все же. http://www.gotw.ca/publications/mill17.htm 1

@armo3000 0 / 0 / 0 Регистрация: 09.01.2014 Сообщений: 6
	30.04.2015, 11:59 [ТС]
	Всем спасибо за ответы, всё понятно 0