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

@~~Bers~~ · 08.11.2011, 20:36. **Просмотров** 2252. **Ответов** 33

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

C++

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;
}

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

@xdozorx · 08.11.2011, 20:47

Bers, Запустил в студии 2010, код не компилируется

@~~Bers~~ · 08.11.2011, 20:49 **[ТС]**

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

Bers, Запустил в студии 2010, код не компилируется

хм.. у меня в 2008 компилируется.

@Xind · 08.11.2011, 20:59

C++ (gcc-4.3.4)

prog.cpp:6: error: ‘Bee’ is not a template
prog.cpp: In function ‘int main()’:
prog.cpp:14: error: ‘Bee’ is not a template
prog.cpp:15: error: ‘Bee’ is not a template

@-comrade- · 08.11.2011, 21:05

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

prog.cpp:6: error: ‘Bee’ is not a template
prog.cpp: In function ‘int main()’:
prog.cpp:14: error: ‘Bee’ is not a template
prog.cpp:15: error: ‘Bee’ is not a template

Аналогично.

@~~Bers~~ · 08.11.2011, 21:09 **[ТС]**

Похоже баг все таки

accept · 09.11.2011, 04:43

C++

class Bee
{
private:
    template<class Foo2>
    Bee& operator =(const Bee<Foo2>&)
    {
        return *this;
    }
};
 
int main (void)
{
    Bee<int> bee1;  
    Bee<float> bee2;  
    bee1 = bee2;
 
    std::cout << "this code" << std::endl; 
    return 0;
}

скомпилируй и запусти

@prazuber · 09.11.2011, 19:14

И никто не заметил, что код не логичный ну совсем. Одну строчку ТС забыл скопировать.

C++

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;
}

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

@~~Bers~~ · 09.11.2011, 19:17 **[ТС]**

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

И никто не заметил, что код не логичный ну совсем. Одну строчку ТС забыл скопировать.

А, да спасибо)) Я действительно ничайно забыл скопипастить)

@Abendstern · 09.11.2011, 19:35

Хм... а вот gcc ругнулся, что оператор = объявлен как private.

@~~Bers~~ · 09.11.2011, 19:46 **[ТС]**

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

Хм... а вот gcc ругнулся, что оператор = объявлен как private.

речь о студии

@DKOI · 09.11.2011, 19:58

Видимо не проводится полная проверка типов. Скорее всего просто копируется ссылка на объект. Интересно было бы что нибудь туда записать, а потом вывести

Добавлено через 4 минуты
А приватный оператор не используется, ибо приватный

а вместо него используется стандартный.

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

Прекрасно компилируется:

C++

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<float> bee2;  
    bee1 = bee2;
 
    return 0;
}

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

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

А приватный оператор не используется, ибо приватный а вместо него используется стандартный.

1. Дефолтные операторы не создаются, если определены пользовательские.
2. Именно приватный и срабатывает.

@DKOI · 09.11.2011, 20:06

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

1. Дефолтные операторы не создаются, если определены пользовательские

Так должно быть, по идее, но никто не гарантирует, что так оно и есть.
Но если по дебагу работает именно приватный, то тогда не знаю.

@easybudda · 09.11.2011, 20:06

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

у меня в 2008 компилируется.

Скопировал отсюда, ничего не менял:

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

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

easybudda, скомпилируйте код из #8 сообщения, или #13

@DKOI · 09.11.2011, 20:09

Кстати в 2010 тоже компилится код, хоть и ИДЕ выделяет ошибку в тексте... Думаю, надо у мелкомягких спрашивать.

@easybudda · 09.11.2011, 20:11

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

Прекрасно компилируется

В таком виде студия компилирует, gcc ругается.

Код

C:\c_cpp\shitcode>cl bers_bee.cpp
Оптимизирующий 32-разрядный компилятор Microsoft (R) C/C++ версии 15.00.30729.01
 для 80x86
(C) Корпорация Майкрософт (Microsoft Corporation). Все права защищены.

bers_bee.cpp
Microsoft (R) Incremental Linker Version 9.00.30729.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:bers_bee.exe
bers_bee.obj

C:\c_cpp\shitcode>g++ -o bers_bee bers_bee.cpp
bers_bee.cpp: In function 'int main()':
bers_bee.cpp:9:10: error: 'Bee<Foo>& Bee<Foo>::operator=(const Bee<Foo2>&) [with
 Foo2 = float, Foo = int, Bee<Foo> = Bee<int>]' is private
bers_bee.cpp:21:12: error: within this context

C:\c_cpp\shitcode>

Не понятно только, какой профит с этих заморочек?

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

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

Не понятно только, какой профит с этих заморочек?

Речь же не о том, как это можно использовать.
А о том, почему студия такое пропускает.
Это же нарушение инкапсуляции.

@DKOI · 09.11.2011, 20:19

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

@xdozorx 15 / 16 / 1 Регистрация: 13.12.2009 Сообщений: 138 Записей в блоге: 1
	08.11.2011, 20:47	2
	Bers, Запустил в студии 2010, код не компилируется 0

@~~Bers~~ Заблокирован
	08.11.2011, 20:49 [ТС]	3
	Сообщение от xdozorx Bers, Запустил в студии 2010, код не компилируется хм.. у меня в 2008 компилируется. 0

@Xind 277 / 150 / 25 Регистрация: 05.11.2011 Сообщений: 425 Записей в блоге: 1
	08.11.2011, 20:59	4
	C++ (gcc-4.3.4) prog.cpp:6: error: ‘Bee’ is not a template prog.cpp: In function ‘int main()’: prog.cpp:14: error: ‘Bee’ is not a template prog.cpp:15: error: ‘Bee’ is not a template 0

@-comrade- 363 / 364 / 167 Регистрация: 11.06.2010 Сообщений: 703
	08.11.2011, 21:05	5
	Сообщение от Xind prog.cpp:6: error: ‘Bee’ is not a template prog.cpp: In function ‘int main()’: prog.cpp:14: error: ‘Bee’ is not a template prog.cpp:15: error: ‘Bee’ is not a template Аналогично. 0

@~~Bers~~ Заблокирован
	08.11.2011, 21:09 [ТС]	6
	Похоже баг все таки 0

@~~Bers~~ Заблокирован
	09.11.2011, 19:17 [ТС]	9
	Сообщение от PraZuBeR И никто не заметил, что код не логичный ну совсем. Одну строчку ТС забыл скопировать. А, да спасибо)) Я действительно ничайно забыл скопипастить) 0

@Abendstern 3 / 3 / 2 Регистрация: 06.11.2011 Сообщений: 38
	09.11.2011, 19:35	10
	Хм... а вот gcc ругнулся, что оператор = объявлен как private. 0

@~~Bers~~ Заблокирован
	09.11.2011, 19:46 [ТС]	11
	Сообщение от Abendstern Хм... а вот gcc ругнулся, что оператор = объявлен как private. речь о студии 0

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 19:58	12
	Видимо не проводится полная проверка типов. Скорее всего просто копируется ссылка на объект. Интересно было бы что нибудь туда записать, а потом вывести Добавлено через 4 минуты А приватный оператор не используется, ибо приватный а вместо него используется стандартный. 0

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 20:06	14
	Сообщение от Bers 1. Дефолтные операторы не создаются, если определены пользовательские Так должно быть, по идее, но никто не гарантирует, что так оно и есть. Но если по дебагу работает именно приватный, то тогда не знаю. 0

@easybudda Модератор 10898 / 6814 / 1623 Регистрация: 25.07.2009 Сообщений: 12,519
	09.11.2011, 20:06	15
	Сообщение от Bers у меня в 2008 компилируется. Скопировал отсюда, ничего не менял: 0

@~~Bers~~ Заблокирован
	09.11.2011, 20:08 [ТС]	16
	easybudda, скомпилируйте код из #8 сообщения, или #13 0

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 20:09	17
	Кстати в 2010 тоже компилится код, хоть и ИДЕ выделяет ошибку в тексте... Думаю, надо у мелкомягких спрашивать. 0

@~~Bers~~ Заблокирован
	09.11.2011, 20:16 [ТС]	19
	Сообщение от easybudda Не понятно только, какой профит с этих заморочек? Речь же не о том, как это можно использовать. А о том, почему студия такое пропускает. Это же нарушение инкапсуляции. 0

@DKOI 24 / 24 / 0 Регистрация: 08.09.2010 Сообщений: 136
	09.11.2011, 20:19	20
	Bers, В общем, писать мелкомягким баг манифест и призвать их к ответу 0