Обязательно ли объявлять переменную для хранения адреса переменной как указатель?

Скажите, почему, если я объявляю переменную pVariable просто как int, а не как указатель (закомментированые строки), то компилятор ругается на типы? Разве, чтобы хранить в переменной какой-то адрес надо обязательно объявлять её как указатель?

0

Сообщение от Tulosba типа size_t может не хватить для представления адреса.

Это где же я такое написал то? Изначально предлагался long int, вот его и может не хватить, если вдруг адрес будет 128-ми битным, а long int останется 64-х битным. И даже long long int - не выход, если адрес вдруг станет 256-ти битным. Виртуальные адреса могут иметь любую разрядность, ни как не связанную с объёмом физической памяти и даже превосходить двоичный логарифм реально доступного объёма памяти на множитель в виде любой степени двойки и единственный не указательный тип, разрядность которого гарантировано достаточна для представления адреса - это как раз size_t, так как это платформенно-зависимый тип, разрядность которого растёт вместе с разрядностью адреса.

Добавлено через 8 минут
Что касается вопроса в названии темы, переменную для использования в качестве указателя можно декларировать не указательного типа. Но при всяком её использовании понадобится приведение типа: при присваивании ей значения приведение указателя к её типу, а при обращении по адресу явное приведение самой переменной к указателю. Это дополнительные синтаксические сложности, вызванные тем, что единственная сущность, для которой разрешён синтаксис, за которым скрывается необходимая для обращения по адресу косвенная адресация, - это указатель. Всё остальное адрес может только хранить, да и то ровно один тип гарантирует, что в него влезет весь адрес - size_t, остальные могут оказаться пригодными лишь для хранения части адреса, например, приращения в 256-ти байтном параграфе (char и uint8_t при адресации по смещению каждого байта).

Добавлено через 1 минуту
Тем не менее, часть адреса можно хранить в переменной любого типа, вопрос лишь в том, какую именно часть адреса можно хранить в переменной каждого типа. Можно даже поизвращаться и хранить весь адрес в строке, количество символов которой уравнять с sizeof(size_t).

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

Limit of size_t: {SIZE_MAX} 65535

Это в 16-ти битных версиях. У меня 32-х битный компилятор, под ним 4294967296.

0

taras atavin, если сразу не понятно, вот еще пара ссылок:
http://stackoverflow.com/quest... n-practice
http://stackoverflow.com/quest... s-intptr-t

0

Эйси.

size_t is pointer size in practice

. size_t есть тип, чья разрядность практически равна разрядности указателя. Цитату в студию, где я утверждаю обратное.

0

Сообщение от taras atavin ровно один тип гарантирует, что в него влезет весь адрес - size_t

Это не так. size_t тип в первую очередь для хранения размера, а не адреса. В некоторых случаях разрядности size_t может не хватить для представления адреса. См. ещё раз ссылки, которые я давал.

0

Сообщение от Tulosba size_t тип в первую очередь для хранения размера, а не адреса.

Где я утверждал обратное?

Сообщение от Tulosba Это не так.

Разве? Чем, кроме возможности разыменования, различаются типы предназначенные для хранения размера памяти и адреса в этой памяти? Ведь ни кто не гарантирует, что size_t будет применён для хранения размера именно области памяти, причём, много меньшей, чем вся память, он обязан гарантировать свою достаточность для представления размера любой области памяти вне зависимости от возможности существования иных областей, не пересекающихся с данной.

0

Сообщение от taras atavin Ведь ни кто не гарантирует, что size_t будет применён для хранения размера именно области памяти

на самом деле в виртуальною память процесса можно достучаться как годно, просто через указатель - проще

0

Сообщение от newbie666 на самом деле в виртуальною память процесса можно достучаться как годно, просто через указатель - проще

И как же ещё? тоже использует указатель, так как значение оператора приведения к указателю есть указатель. Только этот указатель - не переменная, а временное данное, существующее лишь номинально, так как приведение происходит без фактического преобразования, и только во время самой операции доступа по адресу, в этом указателе хранящемуся. Но это указатель, синтаксис языка запрещает без помощи указателя обращаться по адресу, хранимому не в самой инструкции, а в данном. Больше того, можно даже использовать указатель, являющийся значением выражения, то есть результатом вычисления, тогда для него вообще не надо заводить отдельную переменную.

0

taras atavin, Вы ссылки смотрели, которые я приводил?

0

Например, . Указателей здесь два, один p, а другой равен p+264*sizeof(int), причём, умножение подразумевается благодаря типизации p. А переменная то указательного типа одна - указатель p, целиком же фактический адрес элемента массива вообще не хранится в какой либо переменной.

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

Сообщение от Tulosba Вы ссылки смотрели, которые я приводил?

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

0

Сообщение от taras atavin А давайте без тумана и килострок текста?

Там всё написано буквально в самых первых ответах:

AFAIK, on AS/400 pointers are 128-bit, but size_t is defined to be 32-bit.

отсюда

Hark back to the days of segmented 16-bit architectures for example: an array might be limited to a single segment (so a 16-bit size_t would do) BUT you could have multiple segments (so a 32-bit intptr_t type would be needed to pick the segment as well as the offset within it). I know these things sound weird in these days of uniformly addressable unsegmented architectures, but the standard MUST cater for a wider variety than "what's normal in 2009", you know!-)

отсюда

Перевод нужен или снова будете игнорировать факты и напускать туман?

0

Эйси.
Восходят к временам сегментированных 16-разрядных архитектур например: массив может быть ограничен одним сегментом (так 16-битный size_t будет делать), но вы могли бы несколько сегментов (так 32-битный intptr_t Тип потребуется выбрать сегмент, а также смещение в нем). Я знаю, что эти вещи звучат странно в эти дни равномерно адресуемых несегментированной архитектур, но стандарт должен обслуживать более широкий круг, чем "что это нормально в 2009 году", вы знаете, -!).
Где здесь сказано, что size_t не достаточен?

0

Сообщение от taras atavin Где здесь сказано, что size_t не достаточен?

Т.е. первая цитата, где размеры указаны явно (128 бит для указателя и 32 для size_t) Вас не устроила, и надо выбрать для анализа цитату подлиннее?

0

Интересно, как на этой платформе представить размер массива из полуквадриллиона символов? А ведь size_t предназначен для хранения размера и при 128-ми битном виртульном адресе и 50-ти битном адресе физическом на суперкомпьютере с большой физической памятью такой массив может существовать. Для малышей же такие адреса не предназначены.

0

Сообщение от Tulosba Т.е. первая цитата, где размеры указаны явно (128 бит для указателя и 32 для size_t) Вас не устроила, и надо выбрать для анализа цитату подлиннее?

да, давай цитату из стандарта

0

3.7.4.3 Safely-derived pointers

1 A traceable pointer object is — an object of an object pointer type (3.9.2), or — an object of an integral type that is at least as large as std::intptr_t, or — a sequence of elements in an array of character type, where the size and alignment of the sequence match those of some object pointer type.

3 An integer value is an integer representation of a safely-derived pointer only if its type is at least as large as std::intptr_t...

Теперь, относительно того, что такое size_t:
18.2/6

The type size_t is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any object.

В сухом остатке: если sizeof(size_t) >= sizeof(std::intptr_t), то в size_t может быть сохранен указатель на объект. Но отношение м/у их размерами не регламентировано стандартом. К тому же, если есть тип, на который можно опираться (std::intptr_t) как на достаточный для хранения указателя, совершенно не понятно, зачем использовать другие типы. А равно как и пытаться доказывать их применимость для этих целей. В частном случае это вытекает из упомянутого выше неравенства, а в общем случае не является верным.

1

Если неравенство не верно, то тип не годен и для хранения размера любого возможного массива. Ссылки на то, что в сегментной модели массив должен помещаться в один сегмент, не принимаются, так как на c++ массив-объект может иметь произвольное внутреннее представление, включая связный список, а указатель на следующий элемент списка может включать в себя не только смещение, но и номер сегмента. Кроме того, можно сделать и иерархический массив с применением массивов указателей, также включающих в себя и номера сегментов. Или дерево физических массивов опять таки на таких указателях.
Таким образом, само назначение типов исключает нарушение неравенства за исключением случаев, когда разрядность адреса превышает необходимую для адресации всех байтов любой возможной физической памяти, но именно в таком случае указатель может быть сжат до минимально необходимой разрядности, а я ведь не утверждал, что size_t достаточен для хранения именно не сжатого указателя. Так вот, после сжатия неравенство опять таки станет истинным. Пример же на хранение в size_t не сжатого адреса - это всего лишь пример, звёздочка может быть и в прототипе декодирующей функции.

0

Сообщение от taras atavin так как на c++ массив-объект может иметь произвольное внутреннее представление, включая связный список,

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

0

Герберта Шилдта почитай. Он предлагает несколько реализаций разреженного массива и ни одна не непрерывна. Там и линейный список, и массив указателей и даже список указателей на физические подмассивы. Массив, на который наложено подобное обязательное условие, - это массив на чистом c, а не на c++. А на c++, как и на паскале, массив есть контейнер однотипных элементов, адресуемых с помощью индекса, являющегося операндом некоторого применимого к самому массиву оператора. Причём, значения индекса не являются идентификаторами, объявленными в типе самого массива, поэтому - не массив. Кроме того, что мешает использовать соседние сегменты?

0

Сообщение от taras atavin Герберта Шилдта почитай. Он предлагает несколько реализаций разреженного массива и ни одна не непрерывна.

Герберт Шилдт. С++ Базовый курс (3-е издание). Глава 5: Массивы и строки:

В C++ все массивы занимают смежные ячейки памяти. (Другими словами, элементы массива в памяти расположены последовательно друг за другом.)

ISO/IEC 14882:2011 8.3.4 Arrays:

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T.

Даже вики:

Массив (в некоторых языках программирования также таблица, ряд) — набор однотипных компонентов (элементов), расположенных в памяти непосредственно друг за другом, доступ к которым осуществляется по индексу (индексам).

Поэтому не стоит думать, что массивом является любой объект, для которого реализован operator[]. Это не так.

Сообщение от taras atavin что мешает использовать соседние сегменты?

Используемая модель памяти.

0