Перегруженный operator<<

@Gwini · Регистрация: 08.03.2014

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

Есть допустим такая дружественная функция:

объявление

C++
1
template<typename Type> friend std::ostream& operator<<(std::ostream&, Stack<Type>&);

определение

C++
1
2
3
4
5
6
7
8
9
10
11
12
template<typename Type>
std::ostream& operator<<(std::ostream& stream, Stack<Type>& obj_show)           
{
    Stack<Type>::node* ptr = obj_show.top;
    while (ptr)
    {
        stream << ptr->cell;
        ptr = ptr->priv;
    }
 
    return stream;
}

не вдаваясь в подробности — шаблон класса:

C++
1
2
3
4
5
template<typename Type>
class Stack
{
private:
.....

У меня вопрос: как работает даная дружественная функция? Она, как я понимаю, сама по себе независимая шаблонная функция и выходит, что принмая аргумент, допустим Stack<int> она определяется как Stack<Stack<int> > или это не так? Все в принципе работает, но я не понимаю механизма. Если в шаблоне заменить Stack<Type> на просто Type появляется ошибка: неоднозначная операция " << ". Почему в первом случае нет этой неоднозначности? Спаисбо.

@0x10 · 09.08.2014, 20:38

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

template<typename Type> friend std::ostream& operator<<(std::ostream&, Stack<Type>&);

-> для Stack<int>
std::ostream& operator<<(std::ostream&, Stack<int>&);

@Gwini · 09.08.2014, 20:42 **[ТС]**

Сообщение от 0x10

std::ostream& operator<<(std::ostream&, Stack<int>&);

ну так я пробовал, но это тогда не шаблонная функция и нужно переопредять ее для каждого необходимого опредления класса

Добавлено через 56 секунд
или ты не о том?

@0x10 · 09.08.2014, 20:42

Я показал пример как происходит подстановка типа, а не как нужно писать.

@Gwini · 09.08.2014, 20:46 **[ТС]**

Сообщение от 0x10

Я показал пример как происходит подстановка типа, а не как нужно писать.

ясно, ну я так и подумал, но не могу понять почему. Ведь вместо Type подставляется тип Stack<int> (например) и в функцие выходит Stack< Stack<int> > но на самом деле иначе, почему?

@0x10 · 09.08.2014, 20:53

Функция принимает стек элементов типа Т. Ты передаешь стек интов. Почему инстанцированный шаблон вдруг должен начать принимать стек стеков интов?

@Gwini · 09.08.2014, 21:04 **[ТС]**

Сообщение от 0x10

Функция принимает стек элементов типа Т. Ты передаешь стек интов. Почему инстанцированный шаблон вдруг должен начать принимать стек стеков интов?

Понятно. То есть неоднозначности нет потому что во втором аргументе должен обезательно пристутсвовать тип Stack<> и в случае обнаружения Stack<> компилятор находит необходимую вресию и подставляет вместо Stack<Type> тот, который указаный в аргументе. Я все правильно понял?

@0x10 · 09.08.2014, 21:08

Шаблон функции принимает вторым аргументом объект шаблонного класса стек и этот шаблон функции параметризован типом объектов в стеке.

Ну да, все логично.
Тупая ведь подстановка.
Сейчас специально открыл книжку Вандервуда - он на этом моменте даже не останавливается, просто сразу дает пример с комментарием: "запишется вот так".

Новые блоги и статьи Все статьи Все блоги /
BOINC: 22 года — и всё ещё работает Programma_Boinc 12.03.2026 BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер,. . .	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	09.08.2014, 20:42
	Я показал пример как происходит подстановка типа, а не как нужно писать. 0

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	09.08.2014, 20:53
	Сообщение было отмечено Gwini как решение Решение Функция принимает стек элементов типа Т. Ты передаешь стек интов. Почему инстанцированный шаблон вдруг должен начать принимать стек стеков интов? 1

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	09.08.2014, 21:08
	Шаблон функции принимает вторым аргументом объект шаблонного класса стек и этот шаблон функции параметризован типом объектов в стеке. Ну да, все логично. Тупая ведь подстановка. Сейчас специально открыл книжку Вандервуда - он на этом моменте даже не останавливается, просто сразу дает пример с комментарием: "запишется вот так". 1

Перегруженный operator<<

Решение