язык Си массивы

[_Bers]

Сообщение от Black Fregat

Например, в таком коде компилятор этого уже не знает:

void exampleBadBar(int a[2][3])
{
    std::cout << "[must be 1] min value = "<< min__(a) <<std::endl;
}

void exampleBadFoo()
{
    int a[2][3] = {
        {3,4,5},
        {6,7,1},
    };
    exampleBadBar(a);
}

разумеется.

функция exampleBadBar работает с типом "указатель на массив",
а не с типом "массив".

[Black Fregat]

Сообщение от _Bers

функция exampleBadBar работает с типом "указатель на массив"

Получается, массивы существуют только внутри одной функции, а при передаче в другую они волшебным образом перестают быть массивами, а становятся указателями на массив.

Тогда в чём глубинный смысл знания об их внутренней структуре?

[Croessmah]

Сообщение от tutejshy

Интересно почему?

1) Код усложняется
2) Код превращается в нечитабельную лапшу
3) Легче совершить ошибку
4) Это ничего не дает
5) Уходит больше времени

Сообщение от Black Fregat

Например, в таком коде компилятор этого уже не знает

а со ссылкой знает:

void exampleBadBar(int (&a)[2][3])

[Croessmah]

Сообщение от Black Fregat

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

Не становятся они указателями на массив.
Массив может быть неявно скастован к указателю на первый элемент.
Указатель на какой-нибудь int и указатель на массив - разные вещи.

Сообщение от Black Fregat

Тогда в чём глубинный смысл знания об их внутренней структуре?

Как минимум, не получить по башке?

Получается, массивы существуют только внутри одной функции

Функция может принять и вернуть указатель/ссылку на массив.

[_Bers]

Сообщение от Black Fregat

Получается, массивы существуют только внутри одной функции, а при передаче в другую они волшебным образом перестают быть массивами, а становятся указателями на массив.

Тогда в чём глубинный смысл знания об их внутренней структуре?

получается что в записи:
void exampleBadBar(int a[2][3])
в качестве аргумента вы сами же
указали тип данных: "указатель на массив"
а не тип данных "массив".

в аргументах int a[2][3]
это - не массив.
это - указатель на массив.
причем - одномерный.

такое вот кривое сишное наследие.

хотите сохранить информацию о размерностях массива,
передавайте его либо по ссылке на двухмерный массив:
void exampleBadBar(int (&a)[2][3])

либо по указателю на двухмерный массив:
void exampleBadBar(int (*p)[2][3])

хотите передавать любые массивы любых размерностей,
без потери знания о размерностях,
см пример функции выше:

template<class T> 
const typename elem__<T>::type& min__(const T& arr)

[alexzk]

...если вам таки приспичило именно массив, с известными размерами во время компиляции, пишите std::array и все. Двумерный массив, например:

template<class T, int s1, int s2>
using arr2d_t = std::array<std::array<T, s2>, s1>;

Так точно ничего и нигде не сломается + скорость как у всего описаного выше + методы доступа, как у контейнеров.

[_Bers]

Сообщение от alexzk

template<class T, int s1, int s2>
using arr2d_t = std::array<std::array<T, s2>, s1>;

Так точно ничего и нигде не сломается

сломается.
тип int, указанный в вашем шаблоне - знаковый.
1.
он полагает легальным использование отрицательных величин.

warning: negative integer implicitly converted to unsigned type [-Wsign-conversion]

то, чего быть не должно, не должно быть в принципе.

2.
диапазон допустимых положительных значений
получается в два раза меньше
против реального диапазона std::array,

прототип которого выглядит:
template < class T, size_t N > class array;
http://www.cplusplus.com/reference/array/array/

3.
почему вообще вы использовали знаковый тип данных
для обозначения величины,
которая в принципе не может быть отрицательной?
где здравый смысл?

[_Bers]

Сообщение от alexzk

Так точно ничего и нигде не сломается

прохладная история.

http://rextester.com/CULJL90760

#include <iostream>
#include <array>

template<class T, int s1, int s2>
using arr2d_t = std::array<std::array<T, s2>, s1>;

int main()
{
    // warning: negative integer implicitly converted to unsigned type [-Wsign-conversion]
    arr2d_t<int, 0,-10> v;  //<--- dimension of array is zero. WTF???
    
    // Invalid memory reference (SIGSEGV)
    v[0][0] = 1;  //<--- Upsss

    // warning: ISO C++ forbids zero-size array ‘a’ [-Wpedantic]
    // error: size of array ‘a’ is negative
    int a[-10][0];
    
}

итого:
в вашем случае диагностирована
только одна проблема (использование int)
механизм благополучно профакапил ноль
в качестве количество элементов массива
и завалил всю работу
с сегфолдом в рантайме.

в случае с реальным массивом были диагностированы
обе проблемы: и проблема отрицательных чисел,
и нолик.

отрицательные числа компилятор скомпилировать не позволил.

зы:
std::array полагает легальным нулевой размер массива.
правда объявить то его можно.
а вот использовать - нельзя.

Zero-sized arrays are valid, but they should not be dereferenced (members front, back, and data).

нафига это нужно - для меня загадка.

[tutejshy]

Сообщение от Croessmah

1) Код усложняется
2) Код превращается в нечитабельную лапшу
3) Легче совершить ошибку
4) Это ничего не дает
5) Уходит больше времени

1) 2) Тоесть запись a[1] более читабельная чем *(a + 1)?
3) и почему?
4) Кернел и Ритчи не согласны)
5) я бы так не сказал

К тому же, для обработки массива в другой ф-ции проблематично передавать и использовать синтаксический сахар, если заранее не знаешь размерности массива (на сколько я могу судить по полученному опыту).

[Alex11223]

Сообщение от tutejshy

Кернел и Ритчи не согласны)

а что они говорят?