ReSQL.ru
     
powered by simpleCommunicator - 2.0.59     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / C++ [игнор отключен] [закрыт для гостей] / Почему такой код компилируется (про приведение типов)?
20 сообщений из 20, страница 1 из 1
Почему такой код компилируется (про приведение типов)?
    #39442911
baden_baden
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
baden_baden
Гость
Можно понять, почему компилятор не может разобраться с указателями.
Но почему он работает и что именно выводит (судя по всему, неопределённое поведение, но непонятно, на какие участки памяти смотрит).

Код: plaintext
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.
#include <string.h>
#include <iostream>

class A {
	int i;
	std::string str;
public:
	A(int _i) : i(_i), str("class_a_str") { }
	void DoA() { std::cout << "A::DoA  " << i << std::endl; }
};

class B {
	std::string s;
public:
	B(std::string _s) : s(_s) { }
	void DoB() { std::cout << "B::DoB  " << s << std::endl; }
};

int main() {

	A a(1);
	B b("str");

	((A*)((void*)&b))->DoA();
	((B*)((void*)&a))->DoB();
	
	return 0;
}



Вывод такой обычно, причём число обычно меняется.
Код: plaintext
1.
2.
A::DoA  7023844
B::DoB
...
Рейтинг: 0 / 0
23.04.2017, 17:39
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442913
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
baden_baden
Код: plaintext
1.
2.
((A*)((void*)&b))->DoA();
((B*)((void*)&a))->DoB();



компилятор виноват лишь в том, что позволяет выстрелить себе в ногу.
ну зачем ты этот бред написал?
что сказать этим хотел?
...
Рейтинг: 0 / 0
23.04.2017, 17:56
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442916
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
Что тут непонятного?
Это
Код: plaintext
1.
	((A*)((void*)&b))->DoA();


означает указание компилятору: "ты не умничай, а делай как я сказал, я за все отвечаю". Ну так и отвечай.
...
Рейтинг: 0 / 0
23.04.2017, 17:59
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442917
baden_baden
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
baden_baden
Гость
Изопропил,

из-за любознательности. А размеры полей же разные, верно? Значит, при печати (и других операциях) берутся соответствующие участки памяти, на которых может хранится всё, что угодно, потом эти участки обрабатываются, как соответствующие типы (в том числе неподходящие) -- из-за этого и получается неопределённое поведение?
...
Рейтинг: 0 / 0
23.04.2017, 18:01
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442918
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
Нет тут неопределенного поведения. Все четко и однозначно, если понимаешь зачем такое пишешь.
...
Рейтинг: 0 / 0
23.04.2017, 18:04
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442920
baden_baden
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
baden_baden
Гость
А почему тогда цифры разные появляются при исполнении?
A::DoA 7023844
...
Рейтинг: 0 / 0
23.04.2017, 18:08
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442926
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
baden_badenА почему тогда цифры разные появляются при исполнении?
A::DoA 7023844
Смотри реализацию std::string, внутрь которой ты лезешь.
...
Рейтинг: 0 / 0
23.04.2017, 18:25
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442927
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
baden_badenА почему тогда цифры разные появляются при исполнении?
A::DoA 7023844
посмотри исходник std::string и ассемблерное порождение
...
Рейтинг: 0 / 0
23.04.2017, 18:29
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442937
baden_baden
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
baden_baden
Гость
В string память выделяется под массив char, а программа с участком выделяемой памяти работает, думая, что это int?
...
Рейтинг: 0 / 0
23.04.2017, 18:56
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442944
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
разрывная, раскинул мозгами Штирлиц
...
Рейтинг: 0 / 0
23.04.2017, 19:07
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442947
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
baden_badenВ string память выделяется под массив char, а программа с участком выделяемой памяти работает, думая, что это int?
Программа работает не думая. Думать это задача разработчика, как написал так и работает. Учи мат.часть, книжку какую-нибудь почитай, вместо того чтобы опыты ставить. Тут не физика, опыты не нужны, работает точно так как в документации написано.
...
Рейтинг: 0 / 0
23.04.2017, 19:13
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39442955
baden_baden
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
baden_baden
Гость
Dima T,

Не могли бы подсказать книжку, а лучше даже главу?
...
Рейтинг: 0 / 0
23.04.2017, 19:36
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443007
Фотография CEMb
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
CEMb
Участник
baden_badenНе могли бы подсказать книжку, а лучше даже главу?Подозреваю, книжку такую ты вряд ли найдёшь. Советую посмотреть генерируемый ассемблерный код под дебагом, тогда всё станет понятно.
Ну и основное уже сказали: компилятор сделал то, что ты просил, поэтому претензии к компилятору тут неуместны уже :)
...
Рейтинг: 0 / 0
24.04.2017, 05:29
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443017
Dima T
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Dima T
Участник
baden_badenНе могли бы подсказать книжку, а лучше даже главу?

Если такая книжка и есть, то она должна называться "С/С++ Вредные советы". Читай книги где пишут как делать правильно и старайся обойтись тем что написано, а не искать лайфхаки.

Гугли про приведение типов . Там описано как это правильно делать. В твоем примере правильно сделать невозможно, т.к. в твоем коде изначально присутствует ошибка проектирования и исправлять надо ее.
...
Рейтинг: 0 / 0
24.04.2017, 07:30
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443020
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
Dima TЕсли такая книжка и есть, то она должна называться "С/С++ Вредные советы".
зачем же так сурово.

подойдут главы книг по компиляторам, посвящённые кодогенерации, в частности - по управлению памятью
...
Рейтинг: 0 / 0
24.04.2017, 07:43
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443121
Фотография MasterZiv
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
MasterZiv
Участник
Давай детально разберём код.


Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
#include <string.h>
#include <iostream>

class A {
	int i;
	std::string str;
public:
	A(int _i) : i(_i), str("class_a_str") { }
	void DoA() { std::cout << "A::DoA  " << i << std::endl; }
};



Класс A неполиморфный, содержит две переменных : int и string.
int положим 4 байта, string содержит указатель на буфер или на реализацию буфера, положим ещё 4 байта.


Код: plaintext
1.
2.
3.
4.
5.
6.
class B {
	std::string s;
public:
	B(std::string _s) : s(_s) { }
	void DoB() { std::cout << "B::DoB  " << s << std::endl; }
};



Класс B, также неполиморфный, содержит одну переменную : string.
которая содержит указатель на буфер или на реализацию буфера длиной 4 байта.

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
int main() {

	A a(1);
	B b("str");

	((A*)((void*)&b))->DoA();
	((B*)((void*)&a))->DoB();
	
	return 0;
}



Мы объявляем переменную класса A, затем переменную класса B.

Затем берём адрес переменной класса B и даём инструкцию интерпретировать его как адрес переменной класса A (тут кстати неопределённое поведение и будет
при приведении void* к A* ) и хотим вызвать метод класса A через этот указатель.

В классе B первая и единственная ячейка памяти размером в 4 байта содержит одну переменную : string.
которая содержит указатель на буфер или на реализацию буфера.

Функция DoA() будет интерпретировать эту ячейку как переменную A::i типа int и выведет её значение в cout.
Что она при этом напечатает -- неизвестно, ибо там лежит неведомая хрень (указатель на буфер или на реализацию буфера длиной 4 байта)

То же самое будет и во втором случае, но немного хуже -- при вызове

<< s

может произойти защита памяти и крах приложения.

И ещё раз -- тут два места с неопределённым поведением -- два привидения void* к A* и B*.
...
Рейтинг: 0 / 0
24.04.2017, 11:09
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443137
Фотография CEMb
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
CEMb
Участник
MasterZiv
да там можно просто показать кусочек ассемблерного кода, который лезет не туда в стеке
...
Рейтинг: 0 / 0
24.04.2017, 11:33
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443146
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
CEMbда там можно просто показать кусочек ассемблерного кода, который лезет не туда в стеке
Куда указано - туда и лезет.
Мусор на выходе заказывали - получите и распишитесь.
...
Рейтинг: 0 / 0
24.04.2017, 11:48
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443155
Фотография CEMb
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
CEMb
Участник
ИзопропилКуда указано - туда и лезет.
Мусор на выходе заказывали - получите и распишитесь.да, но я к тому, что лучше посмотреть на реализацию, и понять , как так получилось. Многие люди слишком абстрактно воспринимают концепции языка. А явные примеры компиляции кода хорошо ставят мозг на место.
...
Рейтинг: 0 / 0
24.04.2017, 11:59
| Ответить | Цитировать | Написать  
Почему такой код компилируется (про приведение типов)?
    #39443321
code_cpp
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
code_cpp
Участник
MasterZiv,

Вам и остальным -- спасибо за ответы.
...
Рейтинг: 0 / 0
24.04.2017, 14:40
| Ответить | Цитировать | Написать  
20 сообщений из 20, страница 1 из 1
Форумы / C++ [игнор отключен] [закрыт для гостей] / Почему такой код компилируется (про приведение типов)?
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]