Шаблонный оператор присваивания в шаблонном классе

nord_v · Регистрация: 22.08.2013

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

Почему, в таком коде, срабатывает оператор присваивания по умолчанию?

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
template <class T>
class A
{
    T x;
 
public:
    A(T a) : x(a)
    {}
    A()
    {}
    ~A()
    {}
    
    template <class T>
    A<T> & operator=(const A<T>& right)
    {
        cout << "= template" << endl;
        x = right.x;
        return *this;
    }
};
 
int main()
{
   A <int> a(4);
   A <int> b(5);
  
   a = b;
   
   return 0;
}

@tro9an · 29.12.2014, 23:45

Во первых:

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

template <class T>
* * A<T> & operator=(const A<T>& right)
* * {
* * * * cout << "= template" << endl;
* * * * x = right.x;
* * * * return *this;
* * }

надо:

C++
1
2
3
4
5
6
7
8
9
10
template <class T>
    A<T> & operator=(const A<T>& right)
    {  
        cout << "= template" << endl;
 
        if( &right != this)
         x = right.x;
 
       return *this;
    }

Во вторых:
Если оператора перегрузки нет( Вы его не написали ), то компилятор создаёт побитовую копию объекта самостоятельно. Если же он у Вас есть, то он вызывается. В Вашем примере всё должно работать.

@DrOffset · 29.12.2014, 23:46

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

Почему, в таком коде, срабатывает оператор присваивания по умолчанию?

Такое вообще не должно компилироваться. У тебя параметр шаблона в классе имеет то же имя, что и параметр оператора=.
Но логику я объясню. Так как T в операторе= - это другое T. То этот оператор считается шаблонным, а шаблонная функция всегда имеет более низкий приоритет по сравнению с нешаблонной (та, что доступна по-умолчанию). Если ты хотел определить шаблонный оператор= правильно, то это надо было делать так:

C++
1
2
3
4
5
6
    template <class T1> // параметр шаблона имеет другое имя
    A<T> & operator=(const A<T1> & right)
    {
        x = right.x;
        return *this;
    }

А вот нешаблонный оператор присваивания определяется так:

C++
1
2
3
4
5
    A<T> & operator=(const A<T> & right)
    {
        x = right.x;
        return *this;
    }

Шаблонный оператор будет вызываться например в таких ситуациях:

C++
1
2
3
4
   A <int> a(4);
   A <double> b(5.3);
 
   a = b;

А нешаблоный, определенный самостоятельно, либо сгенерированный по-умолчанию, в таких:

C++
1
2
3
4
   A <int> a(4);
   A <int> b(5);
 
   a = b;

@hoggy · 29.12.2014, 23:53

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

Почему, в таком коде, срабатывает оператор присваивания по умолчанию?

Ваш код не по стандарту.

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
#include <iostream>
using namespace std;
 
template <class T> class A
{
    T x;
public:
    A(T a):x(a){}
    A(){} 
    ~A(){}
    
    
    A& operator=(const A& right)  //<--- переопределяем дефолтный
    {
        cout << "user" << endl;
        x = right.x;
        return *this;
    }
    
    template<class U>  //<--- U, а не T, иначе нарветесь на 
                       //error:  shadows template parm ‘class T’
        
    //возвращаем A&, а не A<U>&    
    A& operator=(const A<U>& right)
    {
        cout << "template" << endl;
        x = right.x;
        return *this;
    }
};
 
int main()
{
   A <int> a(4);
   A <int> b(5);
  
   a = b;
   
   return 0;
}

Ответ на ваш вопрос:
Компилятор генерирует дефолтный оператор присваивания в случае, если его не определил пользователь.
Он имеет вид: T& operator=(const T& rhs)

Шаблонная версия оператора не соответствует этому виду, и поэтому, компилятор сгенерировал дефолтную версию.

nord_v · 30.12.2014, 00:26 **[ТС]**

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

Такое вообще не должно компилироваться.

Тогда бы я не выкладывал код, и не спрашивал. Студия компилирует.

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

Так как T в операторе= - это другое T. То этот оператор считается шаблонным, а шаблонная функция всегда имеет более низкий приоритет по сравнению с нешаблонной (та, что доступна по-умолчанию).

То есть, если так:

C++
1
2
3
4
5
6
template <class T1>
A<T1> & operator=(const A<T1>& right)
{
    x = right.x;
    return *this;
}

то всегда будет срабатывать оператор по умолчанию, потому что у него (как не шаблонного) приоритет больше?

@DrOffset · 30.12.2014, 00:33

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

Студия компилирует.

Я в курсе. Она компилирует, но по стандарту не должна. Это из-за отсутствия two-phase lookup. Если интересно, эта особенность легко гуглится.

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

то всегда будет срабатывать оператор по умолчанию, потому что у него (как не шаблонного) приоритет больше?

Этот код по смыслу эквивалентен тому, что написан у тебя. Поведение верное, вызывается оператор по-умолчанию, потому что он разумеется нешаблонный.

PS. обрати внимание, на возвращаемое значение. У меня там T, а ты переписал с T1. Если T = int, а T1 = double, то у типа не найдется подходящего способа преобразовать T<int> (это *this), к ссылке на T<double>. Внимательней к деталям

nord_v · 30.12.2014, 00:44 **[ТС]**

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

PS. обрати внимание, на возвращаемое значение. У меня там T, а ты переписал с T1.

Это не твой код, а мой, из первого поста, переписал, чтобы по стандарту было, и ещё раз уточнил ответ (именно по моему коду). Насчёт твоего кода, с разными типами, я всё понял. Благодарю за разъяснения!

Новые блоги и статьи Все статьи Все блоги /
My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 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: при указании работ (справочник РаботыПоРемонтуСпецтехники),. . .

Шаблонный оператор присваивания в шаблонном классе

Решение