Шаблон класса и дружественная функция

@Мимино · Регистрация: 22.05.2013

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

Доброго времени суток. Столкнулся с непониманием одного процесса. Задача звучит следующим образом:
Написать шаблон функции isEqualTo для сравнения 2-х параметров. Использовать эту функцию с объектом класса.
Для этого нужно перегрузить оператор ==.
Если я перегружаю оператор сравнения как элемент класса, работает нормально

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include "stdafx.h"
#include <iostream>
using namespace std;
 
template <class T>
bool isEqualTo(T &a, T &b)
{
    return (a == b);
}
 
template <class T>
class Test
{
public:
    Test(T x = 0, T y = 0) { a = x; b = y; }
    void print() const;
    bool operator == (Test<T> &);
 
private:
    T a;
    T b;
};
 
template <class T>
bool Test<T>::operator==(Test<T> &x)
{
    Test temp = *this;
    return (temp.a == x.a && temp.b == x.b);
}
 
 
template <class T>
void Test<T>::print() const
{
    cout << a << " " << b << endl;
}
 
int main()
{
    setlocale(LC_ALL, "Russian");
    int x = 10, y = 10;
 
    cout << isEqualTo(x, y) << endl;
 
    Test<int> t(10, 10), t1(10, 10);
    cout << isEqualTo(t, t1) << endl;
 
    system("pause");
    return 0;
}

А если я пытаюсь сделать перегрузку оператора как дружественную функцию с 2-мя аргументами, то ничего не получается (уже несколько способов пробовал)

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#include "stdafx.h"
#include <iostream>
using namespace std;
 
template <class T>
bool isEqualTo(T &a, T &b)
{
    return (a == b);
}
 
template <class T>
class Test
{
    friend bool operator == (Test<T> &, Test<T> &);
public:
    Test(T x = 0, T y = 0) { a = x; b = y; }
    void print() const;
 
private:
    T a;
    T b;
};
 
 
template <class T>
bool operator == (Test<T> &x, Test<T> &y)
{
    return (x.a == y.a && x.b == y.b);
}
 
template <class T>
void Test<T>::print() const
{
    cout << a << " " << b << endl;
}
 
int main()
{
    setlocale(LC_ALL, "Russian");
    int x = 10, y = 10;
 
    cout << isEqualTo(x, y) << endl;
 
    Test<int> t(10, 10), t1(10, 10);
    cout << isEqualTo(t, t1) << endl;
 
    system("pause");
    return 0;
}

Вопрос: где туплю?

Tulosba · 17.07.2013, 16:00

Сообщение от Мимино

где туплю?

в классе:

C++
1
2
    template <class U>
    friend bool operator == (Test<U> &, Test<U> &);

@ViktorKozlov · 17.07.2013, 16:11

Не знаю, правильно это, или нет, но происходит все примерно так:
Здесь

C++
1
Test<int> t(10, 10), t1(10, 10);

происходит инстанцирование экземпляра Test<int>, т.е. создается класс, где T заменяется на int, соответственно, friend там выглядит примерно так:

C++
1
friend bool operator == (Test<int> &, Test<int> &);

Если есть слово friend, значит, эта функция видна в той же области видимости, где и находится класс (т.е., в нашем случае, в глобальной, где main)
И когда встречается вызов operator==(a,b), то встает выбор что вызывать, обычную функцию или шаблонную. У обычной приоритет больше, чем у шаблонной, соответственно, должна вызываться она, но она не определена, поэтому появляется LNK2019.

@Мимино · 17.07.2013, 16:20 **[ТС]**

Tulosba,
Спасибо. Я правильно понимаю, что

C++
1
template <class T>

перед определением класса относится только к полям класса. А при объявлении дружественной функции это не работает и нужно

C++
1
2
template <class U>
    friend bool operator == (Test<U> &, Test<U> &);

Добавлено через 2 минуты
ViktorKozlov,
Если я явно указываю тип класса в заголовке функции вот так

C++
1
friend bool operator == (Test<int> &y, Test<int> &y);

то для int работает.

Добавлено через 4 минуты
Кажись доперло

ViktorKozlov, Спасибо за ссылку.

@ViktorKozlov · 17.07.2013, 17:06

Мимино,
У меня по прежнему LNK2019

функция то по-прежнему остается нешаблонной, и приоритет отдается ей. Ну а с параметрами

C++
1
int x = 10, y = 10;

работать будет в любом случае, так как для int'ов operator== стандартный

@Мимино · 17.07.2013, 17:08 **[ТС]**

Вот так работает, но это не выход

C++
1
2
3
4
bool operator == (Test<int> &x, Test<int> &y)
{
    return (x.a == y.a && x.b == y.b);
}

C++
1
2
3
4
5
6
7
template <class T>
class Test
{
 
    friend bool operator == (Test<T> &, Test<T> &);
public:
...

IGPIGP · 17.07.2013, 20:05

Сообщение от Мимино

Вот так работает, но это не выход

Tulosba правильно говорит, если я правильно его понял:

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
template <class T>
bool isEqualTo(T &a, T &b)
{
    return (a == b);
}
 
template <class T>
class Test
{
public:
    Test(T x = 0, T y = 0) { a = x; b = y; }
    void print() const;
    Test(const T& x){
a=x.a;
b=x.b;
    }
 
 
template <typename T>
friend 
bool operator==(Test<T> &x, Test<T> &y);
 
private:
    T a;
    T b;
};
 
template <typename T>
bool operator==(Test< T> &x, Test< T> &y)
{
        return (y.a == x.a && y.b == x.b);
}
 
 
template <class T>
void Test<T>::print() const
{
    cout << a << " " << b << endl;
}
 
#include <iostream>
using namespace std;
int main()
{
setlocale(LC_ALL, "Russian");
    int x = 10, y = 10;
 
    cout << isEqualTo(x, y) << endl;
 
    Test<int> t(10, 10), t1(10, 10);
    cout << isEqualTo(t, t1) << endl;
 
cout<<endl;
cin.get();
return 0;
}

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .