Баг компилятора? Или я чего то не догоняю?

@Bers · 08.11.2011, 20:36. **Показов** 3358. **Ответов** 33

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

Компилил в 2008 студии. Вопрос: ПОЧЕМУ ЭТОТ КОД КОМПИЛИРУЕТСЯ?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
class Bee
{
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>&)
    {
        return *this;
    }
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<float> bee2;  
    bee1 = bee2;
 
    return 0;
}

/зы
Данный код не мой. Случайно нашёл в интернете. Заинтриговало. Решил поделится с народом.

@Bers · 09.11.2011, 20:23 **[ТС]**

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

В общем, писать мелкомягким баг манифест и призвать их к ответу

За моральный ущерб трясти будим?

@DKOI · 09.11.2011, 20:24

А то, мы их на такие деньги посадим, будут знать, как нарушать инкапсуляцию

@Сыроежка · 09.11.2011, 20:27

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

Компилил в 2008 студии. Вопрос: ПОЧЕМУ ЭТОТ КОД КОМПИЛИРУЕТСЯ?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
template <class Foo>
class Bee
{
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>&)
    {
        return *this;
    }
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<float> bee2;  
    bee1 = bee2;
 
    return 0;
}

/зы
Данный код не мой. Случайно нашёл в интернете. Заинтриговало. Решил поделится с народом.

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

@prazuber · 09.11.2011, 20:34

Сообщение от Сыроежка

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

Спасибо, кэп. Вопрос в том, почему компилятор ошибки не выдает? MSVS 2008.

@Сыроежка · 09.11.2011, 20:35

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

Спасибо, кэп. Вопрос в том, почему компилятор ошибки не выдает? MSVS 2008.

Это вопрос не ко мне, а к разработчикам компилятора.
Очевидно, что не выдает ошибку потому, что из двух операторов присваивания выбирает созданный им самим неявно оператор присваивания. Ведь, как я уже указал, в конкурсе участвуют два оператора присваивания.

@prazuber · 09.11.2011, 20:42

Сообщение от Сыроежка

Это вопрос не ко мне, а к разработчикам компилятора.
Очевидно, что не выдает ошибку потому, что из двух операторов присваивания выбирает созданный им самим неявно оператор присваивания. Ведь, как я уже указал, в конкурсе участвуют два оператора присваивания.

Очевидное и невероятное.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <class Foo>
class Bee
{
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>&)
    {
        cout<<"Hello!"<<endl;
        return *this;
    }
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<double> bee2;  
    bee1 = bee2;
 
    return 0;
}

Hello!
Для продолжения нажмите любую клавишу . . .

Правильно компилятор все выбирает.

@Сыроежка · 09.11.2011, 20:50

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

Очевидное и невероятное.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <class Foo>
class Bee
{
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>&)
    {
        cout<<"Hello!"<<endl;
        return *this;
    }
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<double> bee2;  
    bee1 = bee2;
 
    return 0;
}

Правильно компилятор все выбирает.

Я уже написал, что этот код некорректный, так как происходит обращение к закрытому члену класса. То есть выбирает оператор присваивания он правильно (если верить вам), но тем не менее код не должен компилироваться, так как отсутствует право доступа.

@ForEveR · 09.11.2011, 21:18

Он с любым шаблонным оператором так себя ведет. Дико странно.

@DKOI · 09.11.2011, 21:24

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

Он с любым шаблонным оператором так себя ведет. Дико странно.

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
template <class Foo>
class Bee
{
public:
    Bee(): m_test(555) {}
    int m_test;
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>& ist)
    {
        m_test= ist.m_test;
        return *this;
    }
    
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<int> bee2;  
    bee1 = bee2;
 
    return 0;
}

Вызывается стандартный оператор, а не переопределенный.

@Сыроежка · 09.11.2011, 21:26

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

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
template <class Foo>
class Bee
{
public:
    Bee(): m_test(555) {}
    int m_test;
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>& ist)
    {
        m_test= ist.m_test;
        return *this;
    }
    
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<int> bee2;  
    bee1 = bee2;
 
    return 0;
}

Вызывается стандартный, оператор а не переопределенный.

Один говорит, что у него в MS VC++ вызывается шаблонный оператор присваивания, другой говорит, что вызывается неявно определенный.

Вы уж, плиз, указывайте конкретно, какой компилятор вы используете!

Но в любом случае, как я уже написал в своем первом сообщении, код не должен компилироваться.

@DKOI · 09.11.2011, 21:29

Сообщение от Сыроежка

Один говорит, что у него в MS VC++ вызывается шаблонный оператор присваивания, другой говорит, что вызывается неявно определенный.
Вы уж, плиз, указывайте конкретно, какой компилятор вы используете!

2010 студия. Но шутка не в том. Если у бии1 и бии2 разные типы передаются в шаблон - вызывается приватный, если одинаковые - стандартный, копирующий.

@Сыроежка · 09.11.2011, 21:31

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

2010 студия. Но шутка не в том. Если у бии1 и бии2 разные типы передаются в шаблон - вызывается приватный, если одинаковые - стандартный, копирующий.

Так это понятно, какой оператор должен вызываться. Вопрос в том, почему компилятор вызывает закрытый шаблонный оператор присваивания! Это очевидный баг компилятора.

@DKOI · 09.11.2011, 21:32

А кто спорит, что баг? Пытаемся докопаться до причин, однако.

@Сыроежка · 09.11.2011, 21:36

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

А кто спорит, что баг? Пытаемся докопаться до причин, однако.

Совершенно не понятно, до каких причин вы пытаетесь докопаться?! Причиной бага есть сам баг, то есть невнимательность разработчиков компилятора!

Новые блоги и статьи Все статьи Все блоги /
Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	1С: Контроль уникальности заводского номера Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git
1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 20:24
	А то, мы их на такие деньги посадим, будут знать, как нарушать инкапсуляцию 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	09.11.2011, 21:18
	Он с любым шаблонным оператором так себя ведет. Дико странно. 0

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 21:32
	А кто спорит, что баг? Пытаемся докопаться до причин, однако. 0