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

@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 **[ТС]**

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

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@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

Опции темы