Зачем указателю тип?

[Scratch]

Объясните бестолковому зачем указателю нужен тип, ведь он всеравно принимает тип того объекта, на который указывает((

[vvviperrr]

ну хотя бы для разыменовки указателя. откуда компилятор будет знать, сколько байт из памяти считать?

[Scratch]

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

ну хотя бы для разыменовки указателя. откуда компилятор будет знать, сколько байт из памяти считать?

Нет, ну вот есть к примеру: A * myA = new B
Если B наследник класса А то myA будет иметь только то, что есть внутри А, а если так: B * myA = new B, то myA будет иметь тоже самое+то, что есть в классе B.
Значит тип указателя здесь тоже для чего-то нужен. я прав?

[filosof_x86]

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

Объясните бестолковому зачем указателю нужен тип, ведь он всеравно принимает тип того объекта, на который указывает((

Затем же, что и простой переменной – как обрабатывать данные, какие операции допустимы и т.д.
С++ - язык строгой статической типизации.

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

Значит тип указателя здесь тоже для чего-то нужен. я прав?

Да. Тип говорит компилятору, что можно делать с объектом.

P.S. еще раз настоятельно советую сменить книгу, по которой учитесь.

[Scratch]

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

P.S. еще раз настоятельно советую сменить книгу, по которой учитесь.

Я не по книге, я самоучкой пытаюсь, по статьям в инете и на примерах.

[Gaspar312]

указателю нужен тип объекта для того, 4тобы знать на сколько байтов передвигаться в памяти до след. объекта, ведь они(объекты) могут иметь разный размер, например:
1) char *s
2) long int *s
в первом случае указатель s имеет тип char, размер кот. равен 1 byte, поэтому компилятор должен увеличить указатель на 1 byte, чтобы получить след.объект.
во втором случае указатель s имеет тип long(long int), размер кот. равен 4 byte, поэтому компилятор должен увеличить указатель на 4 byte, чтобы перейти к след.объекту.
если бы компилятор не знал типа объекта во втором случае и увеличил указатель на 1 byte, то тогда это не будет след.объектом, а будет просто мусором или это будут 2,3,4 байты первого объекта + 1-ый байт след.объекта.
ПС: все это справедливо, если память продолжительная/последовательная:
memory: | 1st byte | 2nd byte | 3rd byte | ... | ... | n-th byte |