Почему не инициализировать int (*)[][]?

Question

[sddvxd]

Здравствуйте!
Пытаюсь передать трехмерный массив в виде указателя на первый элемент, с помощью параметров не выходит указать размерности:

void print_multiple(int* pint, dim1, int dim2, int dim3){
    int (*parr)[dim2][dim3] = (int(*)[dim2][dim3]) pint; //Ошибка

Если указывать в скобках литералы - проходит без проблем. Подскажите пожалуйста, почему так

Comments

[Roman]

потому что массив имеющий больше двух измерений нужно

передавать так

#include <iostream>

void print_multiple(int (*pint)[2][4], int rows)
{
  int (*parr)[2][4] = pint;
  for(int i = 0; i < rows; ++i)
  {
    for(int j = 0; j < 2; ++j)
    {
      for(int k = 0; k < 4; ++k)
      {
        std::cout << "parr[" << i << "]["
             << j << "][" << k << "] == " << parr[i][j][k] << "\n";
      }
    }
  }
}


int main()
{
    int arr3d[3][2][4] = {
    {{1, 2, 3, 4}, {5, 6, 7, 8}},
    {{9, 10, 11, 12}, {13, 14, 15, 16}},
    {{17, 18, 19, 20}, {21, 22, 23, 24}}};

    print_multiple(arr3d, 3);
}

[sddvxd]

Roman, а если на момент написания программы размерность массива неизвестна? знаю, можно привести (*)[][] к int* и сложными расчетами вычислять адрес нужного Int'а, но неужели нельзя проще это как-то реализовать?

Answer 1

[jcmvbkbc]

Потому что С++. gcc это принимает (без ключа -pedantic) просто потому что это совместимо с с99. Но это не стандартный с++.

Comments

[sddvxd]

подскажите пожалуйста, почему это недопустимо в C++

[jcmvbkbc]

почему это недопустимо в C++

По определению типа массива в стандарте языка (с++03 8.3.4:1):

In a declaration T D where D has the form
D1 [constant-expressionopt]
and the type of the identifier in the declaration T D1 is “derived-declarator-type-list T,”
then the type of the identifier of D is an array type. T is called the array element type;
this type shall not be a reference type, the (possibly cv-qualified) type void, a function
type or an abstract class type. If the constant-expression (5.19) is present, it shall be
an integral constant expression and its value shall be greater than zero.

Сравни с определением из стандарта C99 (6.7.5.2: 3-5)

If, in the declaration ‘‘T D1’’, D1 has one of the forms:
D[ type-qualifier-listopt assignment-expressionopt ]
D[ static type-qualifier-listopt assignment-expression ]
D[ type-qualifier-list static assignment-expression ]
D[ type-qualifier-listopt * ]
and the type specified for ident in the declaration ‘‘T D’’ is ‘‘derived-declarator-type-list
T ’’, then the type specified for ident is ‘‘derived-declarator-type-list array of T ’’.121)
(See 6.7.5.3 for the meaning of the optional type qualifiers and the keyword static.)

If the size is not present, the array type is an incomplete type. If the size is * instead of
being an expression, the array type is a variable length array type of unspecified size,
which can only be used in declarations with function prototype scope;122) such arrays are
nonetheless complete types. If the size is an integer constant expression and the element
type has a known constant size, the array type is not a variable length array type;
otherwise, the array type is a variable length array type.

If the size is an expression that is not an integer constant expression: if it occurs in a
declaration at function prototype scope, it is treated as if it were replaced by *; otherwise,
each time it is evaluated it shall have a value greater than zero. The size of each instance
of a variable length array type does not change during its lifetime. Where a size
expression is part of the operand of a sizeof operator and changing the value of the
size expression would not affect the result of the operator, it is unspecified whether or not
the size expression is evaluated.

[sddvxd]

jcmvbkbc, видимо, чтобы размер массива был известен на этапе трансляции