10

Пусть имеем статический массив:

short tell[20];

Где:

  1. tell - адрес первого элемента массива (2-байтный блок).
  2. &tell - адрес целого массива (40-байтный блок).

И имеется следующая конструкция, указывающая на массив из 20 элементов типа short:

short (*pas)[20] = &tell

Получившимся типом данных переменной pas является тип: short (*)[20]. Собственно вопрос, как создать переменную данного типа, и выделить ей память при помощи операции new?

Пример взят из книги: Стивен Прата - Язык программирования C++ (6 издание). Стр. 182.

2 ответа 2

11

Если у вас есть объявление массива вида

T a[N];

где T - это некоторый тип, а N - это число элементов в массиве, то указатель на первый элемент массива будет иметь тип T *. Например

T *p = a;

После этого определения указатель p указывает на первый элемент массива a.

Чтобы выделить динамически память для массива, аналогичного массиву, определенному выше, вы можете записать

T *p = new T[N];

Здесь элемент массива имеет тип T, а p как и выше показывает на первый элемент динамически выделенного безыменного массива..

Теперь представим, что T это алиас для типа short[20], например

typedef short T[20];

Тогда ранее показанные объявления для указателя могут быть записаны как

T *p = &a;

и

T *p = new T[1];

Если снова вернуться к исходному типу short[20], то получим

short( *p )[20] = &a;

и

short( *p )[20] = new short[1][20];

Последнее предложение означает, что выделяется массив из одного элемента (вы можете выделять массив из произвольного числа элементов в соответствии с вашей задачей), элементами которого в свою очередь являются массивы из 20 элементов типа short.

Имейте в виду, что когда используется так называемая арифметика указателей, то значение указателя меняется на значение кратное sizeof( T )

Поэтому если вы, например, объявите указатель как

short( *p )[20] = &a;

где T эквивалентно short[20], то после применения, например, инкремента к этому указателю

++p;

указатель будет содержать адрес сразу же после последнего элемента массива a.

Ну, и напоследок пример работы с таким указателем.

#include <iostream>
#include <iomanip>
#include <algorithm>
#include <numeric>
#include <iterator>

const size_t N = 20;

short ( * create_2D_array( size_t n ) )[N]
{
    short ( *p )[N] = new short[n][N];

    return p;
}   

int main() 
{
    short a[N];

    std::iota( std::begin( a ), std::end( a ), 1 );

    for ( short x : a ) std::cout << std::setw( 2 ) << x << ' ';
    std::cout << std::endl;

    short ( *p )[N] = create_2D_array( 1 );

    std::iota( std::reverse_iterator<short *>( *p + N ), 
               std::reverse_iterator<short *>( *p ), 1 );

    for ( short x : *p ) std::cout << std::setw( 2 ) << x << ' ';
    std::cout << std::endl;


    std::cout << std::endl;

    std::swap( a, *p );

    for ( short x : a ) std::cout << std::setw( 2 ) << x << ' ';
    std::cout << std::endl;

    for ( short x : *p ) std::cout << std::setw( 2 ) << x << ' ';
    std::cout << std::endl;

    delete [] p;

    return 0;
}

Вывод программы на консоль

 1  2  3  4  5  6  7  8  9 10 11 12 13 14 15 16 17 18 19 20 
20 19 18 17 16 15 14 13 12 11 10  9  8  7  6  5  4  3  2  1 

20 19 18 17 16 15 14 13 12 11 10  9  8  7  6  5  4  3  2  1 
 1  2  3  4  5  6  7  8  9 10 11 12 13 14 15 16 17 18 19 20 
1
  • Спасибо большое, достаточно качественное объяснение именно того, что требовалось.
    – IgrikXD
    26 окт 2016 в 17:06
4

Вообще-то и tell, и &tell[0], и &tell - это все одна и та же сущность, адрес, с которого начинается блок памяти, выделенный для массива...

typedef short array[20];
short * a = new array;

Здесь мы описываем тип массива из 20 short, и создаем его динамически, возвращая указатель на начало блока с ним. Работаем с ним, как с обычным массивом, типа

for(short i = 0; i < 20; ++i)
{
    a[i] = i;
}
9
  • Ну естественно, при выводе адреса, мы получим одинаковые значения. Но вот что при добавлении 1 к tell и &tell даст разный результат, а именно произойдет увеличение значений адресов на разные величины.
    – IgrikXD
    26 окт 2016 в 16:04
  • @IXD Тогда я не понял вопрос. Можно как-то его подробнее задать?
    – Harry
    26 окт 2016 в 16:05
  • @Harry Вопрос собственно не в том, как создать обычный динамический массив типа short, а возможность создания переменной типа short (*)[20] описывающей массив 20 элементов типа short. Где при инкременте указателя на 1, мы получим увеличение адреса не на 2 единицы, а на 20.
    – IgrikXD
    26 окт 2016 в 16:09
  • Возможно прояснит ситуацию статья: habrahabr.ru/post/251091 с подпунктом "Указатель на массив". Однако там не рассматривается мой вопрос о создании переменной определенного типа.
    – IgrikXD
    26 окт 2016 в 16:20
  • @IXD Ну вот, смотрите - ` short * t = new short[20]; array * a = reinterpret_cast<array*>(t); printf("%p %p %p\n",a,a+1,a+2);` Как видите, a указывает именно на массив; a+1 прыгает на 40 байт... Это то, что вы хотели?
    – Harry
    26 окт 2016 в 16:26

Ваш ответ

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

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