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

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

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

Новые блоги и статьи Все статьи Все блоги /
Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача №1: при указании работ (справочник РаботыПоРемонтуСпецтехники),. . .	Очистка реквизитов документа при копировании Maks 09.04.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