ReSQL.ru
     
powered by simpleCommunicator - 2.0.59     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / C++ [игнор отключен] [закрыт для гостей] / Зачем компилятору языка С знать на какой тип указывает указатель.
25 сообщений из 56, страница 2 из 3
  2  все
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806002
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
SashaMercuryЯ рассуждаю так. У нас есть определённая адресация реализованная для заданной ОС, потому я точно знаю, сколько байт занимает адрес(т.е. мы имеем константу для размера адреса памяти). Потому указатель, при прогнозируемом нормальном поведении, должен занимать константный объём памяти. Хотя эти рассуждения пустяк, ибо стандарт говорит обратное. Или стандарт просто не даёт гарантии ? Так стандарт и не должен давать гарантии. Если есть закон запрещающий воровать, то это не значит что люди не будут воровать. Тонкие моменты, хотя казалось бы что ответ очевиден
Если-бы ты смотрел в историю строительства вычислительной техники (Процессоры, адресная шина,
шина данных и универсальная шина) то не так бы бил "поклоны" на стандарт. Это документ который
создавался в догонку к господствующей архитектуре. Вот я кодил на asm/tasm для IBM/PC. И на асмах
для Электроники БК и Z-80. Там нет понятия указатель. Есть разные целые числа 16/32/64 bit которые рассматривают
как относительные, абсолютные и прочие косвенные способы указать на ячейку памяти. В современных
motherboards EМНИП универсальная шина адресует от 36 до 48 bit памяти (пускай знающие поправят
если я ошибся). Последня цифра позволяет адресовать 280 терабайт физ. ячеек. И адресная модель
не связана как 1:1 с разрядностью процессора. Это вообще отдельная тема.

Указатель - это попытка уйти от Assembler-like кодинга и подойти к универсальному способу описания
адреса без сведений о самом целом которое оно представляет. Сам по себе физический смысл целого
числа - неприемлим. Например безсмысленно складывать два значения указателя.

А знания о том сколько занимает разрядная сетка. Зачем? Сериализовать его на диск? К чему?
...
Рейтинг: 0 / 0
14.11.2014, 11:55
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806035
Leonid Kudryavtsev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Leonid Kudryavtsev
Участник
mayton, AFAIK не правы Вы

Вы смотрите на low low low уровень. Z80 и прочее.

Вроде в "продвинутых" архитектурах типа Эльбруса, к созданию которых Бабаян примазывался, была аж защита памяти на уровне данных. Т.е. явно тип указателя в самом указатели кодить приходилось.

Как минимум, читал статью, о советском стековом процессоре, где так же тип указателя и модель адресации кодировалась. Специально вроде под язык Module 2 заточенный. И, вроде, показывали прирост производительности на стандартных американских тестах, за счет переноса реализации защиты и управления типами на ядро процессора

Если брать современное. Java работает по такому же принципу. Стековая архитектура + типизация данных. Такие принципы не с бухты барахты у вундеркиндов Sun'а родились. Все уже давно было

Сам с таким не сталкивался, как и с ЭВМ на основе троичной системы счисления (была и такая в СССР). Но все это конец 70-80-ые годы.

AFAIK И понятие указатель в ASM был всегда. А то странно "относительные, абсолютные и прочие косвенные способы указать на ячейку памяти " есть, а "указателя" нет. Это как в анекдоте про маленького мальчика "жопа есть, а слова нету". IMHO
...
Рейтинг: 0 / 0
14.11.2014, 12:06
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806050
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Basil A. Sidorov
Участник
Leonid KudryavtsevAFAIK И понятие указатель в ASM был всегда. А то странно "относительные, абсолютные и прочие косвенные способы указать на ячейку памяти " есть, а "указателя" нет.IMHOНу и где в прямой или регистровой адресации указатель?
...
Рейтинг: 0 / 0
14.11.2014, 12:10
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806056
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Я говорю о том что если разработчик пытается спуститься на левел
"разрядности" указателя то возникает вопрос что он дальше с ним будет
делать? У меня был свой интерес например в 64 битных указателях
искать неспользуемые биты. Инкапсулировать нечто вроде RTTI
прямо в указатель.

Но эта задача выходила за рамки программирования на стандартном "С".
Она в своей постановке уже говорила сама за себя что это будет
гибридная разработка. С + Asm.
...
Рейтинг: 0 / 0
14.11.2014, 12:12
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806075
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Basil A. Sidorov
Участник
maytonУ меня был свой интерес например в 64 битных указателях
искать неспользуемые биты.Архитектура x86-64 определяет, что в двенадцати старших неиспользуемых битах должны быть или все нули или все единицы, а маскировать их перед загрузкой из памяти в регистры - себе дороже. IMHO.
...
Рейтинг: 0 / 0
14.11.2014, 12:18
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806078
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Basil A. SidorovmaytonУ меня был свой интерес например в 64 битных указателях
искать неспользуемые биты.Архитектура x86-64 определяет, что в двенадцати старших неиспользуемых битах должны быть или все нули или все единицы, а маскировать их перед загрузкой из памяти в регистры - себе дороже. IMHO.
+1 Умная тема. Пойду покачаю доки на тему x86-64.
...
Рейтинг: 0 / 0
14.11.2014, 12:21
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806119
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Basil A. Sidorov
Участник
AMD64 Architecture Programmer’s Manual Volume 1: Application Programming :64-bit Canonical Addresses
Long mode defines 64 bits of virtual address, but implementations of the AMD64 architecture may support fewer bits of virtual address.
Although implementations might not use all 64 bits of the virtual address, they check bits 63 through the most-significant implemented bit to see if those bits are all zeros or all ones.
An address that complies with this property is said to be in canonical address form.
If a virtual-memory reference is not in canonical form, the implementation causes a general-protection exception or stack fault.
...
Рейтинг: 0 / 0
14.11.2014, 12:37
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806122
Фотография MasterZiv
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
MasterZiv
Участник
Саша,
в стандарте только гарантия, что-то char один байт и констрейнты, укладывающие все типы данных в неубывающую последовательность по размеру.
...
Рейтинг: 0 / 0
14.11.2014, 12:37
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806146
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Basil A. Sidorov, похоже моя шняга взлетает только на Спектрумах. Спс за ссылку.
...
Рейтинг: 0 / 0
14.11.2014, 12:45
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806156
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Basil A. Sidorov
Участник
maytonпохоже моя шняга взлетает только на Спектрумах.Не только - борланд (тоже) использовал старший бит в своём рантайме.
Что (потом) создало проблемы с выделением процессу двух и более гигабайт памяти
...
Рейтинг: 0 / 0
14.11.2014, 12:47
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806243
Фотография Изопропил
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Изопропил
Участник
IBM/360 ещё не упоминали, где старший байт можно использовать по своему усмотрению(после последующих расширений правда один бит остался)
...
Рейтинг: 0 / 0
14.11.2014, 13:18
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806321
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
maytonЭто документ который создавался в догонку к господствующей архитектуре.
над этим я конечно подумаю.

Мы так и не ответили на главный вопрос.
При нормальном поведении системы, отсутствии undefined behavior, в конкретной операционной системе, может ли указатель в С/С++ на разные объекты занимать разный объём памяти. Если да, то приведите пожалуйста конкретный пример.
...
Рейтинг: 0 / 0
14.11.2014, 13:59
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806383
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
SashaMercurymaytonЭто документ который создавался в догонку к господствующей архитектуре.
над этим я конечно подумаю.

Мы так и не ответили на главный вопрос.
При нормальном поведении системы, отсутствии undefined behavior, в конкретной операционной системе, может ли указатель в С/С++ на разные объекты занимать разный объём памяти. Если да, то приведите пожалуйста конкретный пример.
Я думаю что в 99.9% современных компилляторов используется единая memory model.
Физически это будет либо 32 либо 64 бита и без "миксов" внутри
...
Рейтинг: 0 / 0
14.11.2014, 14:32
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806385
.NET
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
.NET
Участник
SashaMercuryХотя вот вам ещё пример.
Код: plaintext
1.
2.
int* a[10];
int (*b)[10];



в чём разница ?

Поскольку a[10] - это указатель на int, то int* a[10] - это указатель на указатель на int, то есть int **a, насколько я понял.
При увеличении этого указателя на 1, он сдвинется на количество байт равное длине указателя.

А int (*b) [10] это указатель на 10 целых int, при увеличении его на 1, он сдвинется на sizeof(int)*10 байт.
...
Рейтинг: 0 / 0
14.11.2014, 14:33
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806396
egorych
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
egorych
Участник
.NETSashaMercuryХотя вот вам ещё пример.
Код: plaintext
1.
2.
int* a[10];
int (*b)[10];



в чём разница ?

Поскольку a[10] - это указатель на int, то int* a[10] - это указатель на указатель на int, то есть int **a, насколько я понял.
При увеличении этого указателя на 1, он сдвинется на количество байт равное длине указателя.

А int (*b) [10] это указатель на 10 целых int, при увеличении его на 1, он сдвинется на sizeof(int)*10 байт.a - указатель на массив из 10 элементов типа int, b - массив из 10 указалей на int )))
и это мы ещё не добрались до указаелей на массивы указателей на функции ( принимающие в качестве параметров указатели на функции ) )))
...
Рейтинг: 0 / 0
14.11.2014, 14:37
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806405
.NET
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
.NET
Участник
SashaMercury.NET
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
void swap(int *a, int *b)
{
	*a = *a ^ *b;
	*b = *a ^ *b;
	*a = *a ^ *b;

	return;
}




1.Что вам не нравится в этой функции с точки зрения функционала ?
2. В каком случае она сработает некорректно ?

1. Все нравится.
2. Незнаю. Может если только *a и *b ссылаются на пересекающиеся участки памяти. )
...
Рейтинг: 0 / 0
14.11.2014, 14:39
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806406
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
egorych.NETпропущено...


Поскольку a[10] - это указатель на int, то int* a[10] - это указатель на указатель на int, то есть int **a, насколько я понял.
При увеличении этого указателя на 1, он сдвинется на количество байт равное длине указателя.

А int (*b) [10] это указатель на 10 целых int, при увеличении его на 1, он сдвинется на sizeof(int)*10 байт.a - указатель на массив из 10 элементов типа int, b - массив из 10 указалей на int )))
и это мы ещё не добрались до указаелей на массивы указателей на функции ( принимающие в качестве параметров указатели на функции ) )))


точно ?;)
...
Рейтинг: 0 / 0
14.11.2014, 14:40
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806417
egorych
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
egorych
Участник
SashaMercuryв конкретной операционной системе, может ли указатель в С/С++ на разные объекты занимать разный объём памяти. Если да, то приведите пожалуйста конкретный пример.да ё, размер указателя зависит от платформы, а не от языка. Поэтому, если платформа имеет указатели разного размера, то и язык, на ней реализованный, должен это позволять. Пример от WhiteOwl это никакой не UB, а вполне себе допустимая ситуация на 16-разрядных DOS ( и Windows16, кстати, тоже ).
Стандарт не может постулировать размер указателя, очевидно же.
...
Рейтинг: 0 / 0
14.11.2014, 14:44
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806419
egorych
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
egorych
Участник
SashaMercuryточно ?;)может и наоборот ;)
...
Рейтинг: 0 / 0
14.11.2014, 14:45
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806430
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
egorychSashaMercuryточно ?;)может и наоборот ;)

:D
...
Рейтинг: 0 / 0
14.11.2014, 14:53
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806434
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
.NETSashaMercuryпропущено...


1.Что вам не нравится в этой функции с точки зрения функционала ?
2. В каком случае она сработает некорректно ?

1. Все нравится.
2. Незнаю. Может если только *a и *b ссылаются на пересекающиеся участки памяти. )

1.Хорошо, я подкорректирую первый вопрос. Что вам не нравится с точки зрения алгоритма (не затрагиваются вопросы скорости )
2. Может быть ;) Приведите уже пример, тут вариантов не много, касаемо того что вы написали
...
Рейтинг: 0 / 0
14.11.2014, 14:56
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806439
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
.NET,
по первому вопросу вам никак не может всё нравится
...
Рейтинг: 0 / 0
14.11.2014, 14:58
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806477
.NET
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
.NET
Участник
SashaMercury,

Если a и b один и тот же адрес, то данные по нему обнулятся.
...
Рейтинг: 0 / 0
14.11.2014, 15:18
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806499
Фотография SashaMercury
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
SashaMercury
Участник
.NETSashaMercury,

Если a и b один и тот же адрес, то данные по нему обнулятся.

fe
Код: plaintext
1.
2.
int a=10;
swap(&a,&a);


действительно так
...
Рейтинг: 0 / 0
14.11.2014, 15:26
| Ответить | Цитировать | Написать  
Зачем компилятору языка С знать на какой тип указывает указатель.
    #38806511
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Фу блин. Бином Ньютона....
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
void swap(int *a, int *b)
{
        if (a==b) return; // "WTF! You stuped code-monkey! WTF! :)"
	*a = *a ^ *b;
	*b = *a ^ *b;
	*a = *a ^ *b;
	return;
}
...
Рейтинг: 0 / 0
14.11.2014, 15:33
| Ответить | Цитировать | Написать  
25 сообщений из 56, страница 2 из 3
  2  все
Форумы / C++ [игнор отключен] [закрыт для гостей] / Зачем компилятору языка С знать на какой тип указывает указатель.
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


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