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

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

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

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение/ Перевод https:/ / **********/ gallery/ thinkpad-x220-tablet-porn-gzoEAjs . . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

@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