Указатели и многомерные массивы (С++)?

Question

[Sazoks]

Всем привет! В ходе изучения С++ наткнулся на интересный сайт, https://metanit.com
Там есть тема указатели и массивы. С одномерными все предельно ясно, но двумерные мне как-то плохо даются. Может кто "на пальцах" объяснить что происходит здесь:

#include <iostream>
 
int main()
{
    int a[3][4] = { {1, 2, 3, 4} , {5, 6, 7, 8}, {9, 10, 11, 12}};
    int n = sizeof(a)/sizeof(a[0]);      
    int m = sizeof(a[0])/sizeof(a[0][0]);  
      
    int *end = a[0] + n * m - 1; 
    for(int *ptr=a[0], i=1; ptr <= end; ptr++, i++)
    {
        std::cout << *ptr << "\t";
        if(i%m == 0)
        {
            std::cout << std::endl;
        }
    }
     
    return 0;

Заранее всем спасибо.

Comments

[Sazoks]

Roman, как я понял, это просто вывод двумерного массива через указатели...
Разве указатель не должен быть одного типа с ячейкой памяти, на которую указывает?
Меня смущает эта строка..
int *end = a[0] + n * m - 1;

[Roman]

Sazoks,

Меня смущает эта строка..

int *end = a[0] + n * m - 1;

тут то как раз все правильно, массив статический.

для динамического двумерного массива так не пойдет.

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

https://ru.cppreference.com/w/cpp/language/types

64-битные системы:
LLP64 или 4/4/8 (int и long — 32 бита, указатель — 64 бита)
Win64 API
LP64 или 4/8/8 (int — 32 бита, long и указатель — 64 бита)
Unix и Unix-подобные системы (Linux, Mac OS X)

[Sazoks]

Roman, Теперь понял, спасибо)

[Roman]

Sazoks, https://ideone.com/wU5C0F

[res2001]

Я бы написал так:

int *end = &a[0][0] + n * m; 
    for(int *ptr=&a[0][0], i=1; ptr < end; ptr++, i++)

Сути не меняет, но, по моему, так более понятно, ну и в Сишном стиле все таки ptr < end, а не <=

[RabraBabr]

res2001, Эмм. У вас в *end адрес чего то, что за пределами массива хранится, а вовсе не адрес последнего элемента массива. Не опасно ли так делать? Забудете и в коде отстрелите себе ногу.

[res2001]

RabraBabr, Вообще то именно так и делают обычно. Если посмотрите по внимательней, то условие выхода из цикла ptr < end, т.е. в цикле итераций за границей массива не будет, а то что адрес хранящийся в ptr выйде за границы - не имеет значения, до тех пор пока по этому адресу не будет обращения к памяти.
Кроме того, в С++ все итераторы стандартной библиотеки работают именно по такому принципу, почитайте документацию. Как думаете - это не опасно?

Answer 1

[RabraBabr]

#include <iostream>
 
int main()
{
// создается двухмерный массив 3 на 4 и тут же заполняется числами
    int a[3][4] = { {1, 2, 3, 4} , {5, 6, 7, 8}, {9, 10, 11, 12}};

//  вычисляем количество строк  матрицы 3
    int n = sizeof(a)/sizeof(a[0]);      

// вычисляем количество столбцов матрицы 4
    int m = sizeof(a[0])/sizeof(a[0][0]);  
      
// устанавливаем в указатель *end адрес ячейки памяти последнего элемента массива
    int *end = a[0] + n * m - 1; 

//  устанавливаем в указатель *ptr адрес ячейки памяти первого элемента массива (имеющего нулевой индекс)
// после этого последовательно перебираем все элементы массива и выводим их на экран. 
// Что бы массив выводился на экран в виде матрицы завели переменную i для подсчета количества итераций
    for(int *ptr=a[0], i=1; ptr <= end; ptr++, i++)
    {
        std::cout << *ptr << "\t";

// как только кол-во итераций стало кратно кол-ву столбцов то есть выведена целая строка переводим каретку на новую строку
        if(i%m == 0) 
        {
            std::cout << std::endl;
        }
    }
     
    return 0;