5

Разве arrWithDigits-это массив? Это же переменная, хранящая его адрес.Почему мы работаем с указателем как с массивом в этой строчке arrWithDigits[i] = i + 1;?

#include <iostream>
#include <clocale>
using namespace std;

int main()
{
    setlocale(LC_ALL, "rus");

    int sizeOfArray = 0;

    cout << "Чтобы создать массив чисел, введите его размер: ";
    cin >> sizeOfArray;

    int* arrWithDigits = new int [sizeOfArray]; 

    for (int i = 0; i < sizeOfArray; i++)
    {
        arrWithDigits[i] = i + 1;
        cout << arrWithDigits[i] << " ";
    }   
    cout << endl;

    delete [] arrWithDigits;
    return 0;
}

3 ответа 3

6

В языках C и C++ встроенный оператор [] всегда работает с указателями и только с указателями. (Не совсем верно, см. поправку ниже).

Когда вы применяете встроенный оператор [] к объекту типа "массив", этот объект сначала незримо преобразуется к типу "указатель" (указывающий на начало массива), а затем уже к этому указателю применяется оператор [].

Например, когда вы пишете

int a[10];
a[5] = 42;

язык С на самом деле внутренне интерпретирует этот код как

int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
ptr[5] = 42;

а это, по определению оператора [] через операторы + и *, интерпретируется как

int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
*(ptr + 5) = 42;

В вашем случае оператор [] сразу применен к указателю, то есть никаких незримых преобразований просто не нужно. С этой точки зрения можно даже утверждать, что использование оператора [] является, в некотором смысле, более естественным, чем использование этого оператора с массивами.


С педантичной точки зрения, вышесказанное справедливо только для С. В С++ оператор [] сначала преобразуется в эквивалентную форму через операторы + и *, а только затем в контексте оператора + происходит преобразование массива к указателю. То есть в С++ (в отличие от С) мой пример проинтерпретируется как

int a[10];
*(a + 5) = 42;

а это уже, в свою очередь, интерпретируется как

int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
*(ptr + 5) = 42;

Конечный итог, как видите, один и тот же, но абстрактная семантика несколько отличается.

(Спасибо @Croessmah за комментарий.)

2
  • 2
    A postfix expression followed by an expression in square brackets is a postfix expression. One of the expressions shall have the type “array of T” or “pointer to T” and the other shall have unscoped enumeration or integral type. The result is of type “T.” The type “T” shall be a completely-defined object type. The expression E1[E2] is identical (by definition) to *((E1)+(E2)) [ Note: see 5.3 and 5.7 for details of * and + and 8.3.4 for details of arrays. — end note ] Сначала оно преобразуется в *((a) + (5)), а уже затем преобразуется в указатель. 8 янв 2018 в 20:04
  • @Croessmah: Да, согласно процитированному, в С++ есть такая тонкость. 8 янв 2018 в 20:05
5

Запись pointer[index] это тоже самое, что и *(pointer + index), только удобнее. Поэтому, например, можно (но не нужно) писать и так: index[pointer], это преобразуется в *(index + pointer), то есть разницы не будет.

2

Для указателя type* ptr запись

*(ptr+i)

и

ptr[i]

по сути эквивалентны.

Так что arrWithDigits - да, массив, просто в выделенном оператором new месте в памяти.

9
  • Тоесть если мы пишем *(arrWithDigits+1) = число, то мы присваиваем второму элементу массива значение? (arrWithDigits+1)- это адрес на элемент массива с индексом 1? 8 янв 2018 в 19:50
  • arrWithDigits - указатель. И, имхо, именно в этом вопрос ТС. Почему оно работает для указателя. 8 янв 2018 в 19:50
  • @ArtemAleksandrovich ну да. 8 янв 2018 в 19:51
  • Artem Aleksandrovich arrWithDigits это не массив, а указатель на начало массива. Имя массива отличается тем, что она является именем константного указателья... Любому указателью можно прибавить целое n... 8 янв 2018 в 20:21
  • 1
    @AR Hovsepyan: В реальности не существует никакого "константного указателья". Такое упрощение ("Имя массива является именем константного указателя") применяется в учебной литературе, но лучше от него постепенно избавляться. Имя массива - это имя монолитного объекта типа "массив". 8 янв 2018 в 20:23

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.