Неявный вызов конструктора шаблонного класса при операции сравнения

Nishen · Регистрация: 26.02.2015

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

Реализовал шаблонный класс целых чисел, для использования его в шаблонном классе дробей.

Не по теме:

Звучит жутковасто. :D

Так вот, в классе целых чисел я перегрузил арифметические операторы, операторы сравнения и т.д. Приведу кусок кода объявления класса Integer:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
template <class T>
class Integer {
 
    public:
        Integer();
        Integer(const T& v);
        Integer(const Integer<T>& rvl);
        ~Integer();
 
        Integer<T>& operator=(const Integer<T>& rvl);
 
        //Comparison operators
        template <class T>
        friend bool operator==(const Integer<T>& lvl, const Integer<T>& rvl);
 
}

Далее, в класса дробей (Fraction), в конструкторе используется следующий код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <class T>
Fraction<T>::Fraction(const T& n, const T& d) : numerator(n) {
 
    if (d == 0) {
 
        //std::cerr
            //<< "Denominator cannot be equals to zero!"
            //<< std::endl;
 
        //denominator = 1;
 
    } else {
 
        denominator = d;
 
    }
 
    lowterms(*this);
 
}

Когда в main я пишу следующее:

C++
1
2
3
4
5
6
7
8
int main() {
 
    Fraction<Integer<int>> fraction(7, 21);
 
    std::system("PAUSE");
    return EXIT_SUCCESS;
 
}

то получаю следующие ошибки:

Ошибка C2784 bool operator ==(const Integer<T> &,const Integer<T> &): не удалось вывести аргумент шаблон для "const Integer<T> &" из "int" JOB_07 d:\r. lafore - oop in c++\chapter 14\jobs\job_07\job_07\fraction.h
Ошибка C2784 bool operator ==(const Fraction<T> &,const Fraction<T> &): не удалось вывести аргумент шаблон для "const Fraction<T> &" из "const Integer<int>" JOB_07 d:\r. lafore - oop in c++\chapter 14\jobs\job_07\job_07\fraction.h
Ошибка C2676 бинарный "==": "const Integer<int>" не определяет этот оператор или преобразование к типу приемлемо к встроенному оператору JOB_07 d:\r. lafore - oop in c++\chapter 14\jobs\job_07\job_07\fraction.h

Как можно исправить это?

@GbaLog- · 15.03.2017, 13:20

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

Как можно исправить это?

Перегрузить оператор int в классе Integer, либо создать operator==(Integer<int>, int) вот тут вы сравниваете T с интом, а T = Integer<int>, нету оператора сравнения между Integer<int> и int.

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

if (d == 0)

Nishen · 15.03.2017, 13:27 **[ТС]**

GbaLog-, я просто думал, что есть какое-то "общее" решение для данной проблемы. Просто если писать операторы сравнения под каждый тип, передаваемый в шаблон, то получится очень много повторяющегося кода.

@GbaLog- · 15.03.2017, 13:37

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

я просто думал, что есть какое-то "общее" решение для данной проблемы.

Перегрузить operator int.
Сделать как-то так:

C++
1
2
3
4
5
6
7
8
9
10
template<typename Tp>
bool isNull(const Tp & t)
{
    return t.isNull();
}
 
template<> bool isNull(const int & n)
{
    return n == 0;
}

И во Fraction, соответсвенно:

C++
1
if (isNull(d))

Nishen · 15.03.2017, 13:43 **[ТС]**

Шаблоны - это сущий ад.

Не выходит у меня сделать шаблоны шаблонов.

Добавлено через 2 минуты
Я добавил в класс Integer следующий код

C++
1
2
3
4
5
operator int() {
 
    return value;
 
}

Но теперь ошибка такая

Ошибка C2678 бинарный "==": не найден оператор, принимающий левый операнд типа "const Integer<int>" (или приемлемое преобразование отсутствует) JOB_07 d:\r. lafore - oop in c++\chapter 14\jobs\job_07\job_07\fraction.h

в коде

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
template <class T>
Fraction<T>::Fraction(const T& n, const T& d) : numerator(n) {
 
    if (d == 0) {
 
        //std::cerr
            //<< "Denominator cannot be equals to zero!"
            //<< std::endl;
 
        //denominator = 1;
 
        throw denominatorEqualsToZero();
 
    } else {
 
        denominator = d;
 
    }
 
    lowterms(*this);
 
}

при сравнении d с нулем.

@GbaLog- · 15.03.2017, 13:53

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

Но теперь ошибка такая

Сделайте operator int константным методом. У вас const-ссылка передается в конструктор.

@ASCII · 15.03.2017, 14:30

Можешь например свою дружественную функцию сравнения сделать не шаблонной, тогда должно заработать.

Вот эту:

C++
1
2
template <class T>
friend bool operator==(const Integer<T>& lvl, const Integer<T>& rvl);

Сделать вот так:

C++
1
friend bool operator==(const Integer& lvl, const Integer& rvl);

А с шаблонной при виде выражения d == 0 компилятор не может понять, в какой тип параметр типа Т ему превратить? Это может быть double, int, long и т.д.

Когда ты убираешь параметр шаблона, у тебя остается тип Integer<int>, в котором обнаруживается преобразование из int в Integer<int> и все работает.

Но наверное ты не просто так сделал ее шаблонной...
Пока других вариантов не придумал.

Добавлено через 5 минут
Хотя обычно шаблонные операторы сравнения делают, для того, чтобы позволить сравнивать между собой два объекта, хранящие в себе разные типы, но преобразуемые друг к другу. Но ты параметризовал два параметра одним и тем же параметром типом. Поэтому, есть ли в шаблонности в данном случае вообще какой-то смысл?

Добавлено через 2 минуты
В таком случае можно поступить например так:

C++
1
2
template <class U1, class U2>
friend bool operator==(const Integer<U1>& lvl, U2 rvl);

Добавлено через 2 минуты

Сообщение от GbaLog-

нету оператора сравнения между Integer<int> и int.

Такого оператора-то нету. Но это и не важно, ТС надеялся судя по всему на то, что константа 0 преобразуется в Integer<U>, но этого не произойдет просто потому, что компилятор не знает, какой тип вывести в данном случае, в конкретном примере это получается невыводимый контекст.

Но если заменить U конкретным типом, то все будет работать, так как у него есть конструктор с одним параметром для этого типа.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера 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. Пошагово создадим проект для загрузки изображения. . .

Nishen 1358 / 856 / 366 Регистрация: 26.02.2015 Сообщений: 3,814
	15.03.2017, 13:27 [ТС]
	GbaLog-, я просто думал, что есть какое-то "общее" решение для данной проблемы. Просто если писать операторы сравнения под каждый тип, передаваемый в шаблон, то получится очень много повторяющегося кода. 0

Неявный вызов конструктора шаблонного класса при операции сравнения

Решение