std::begin std::end принцип работы

[folax]

Добрый день, нашёл удобный способ находить начало и конец статических массивов. Вопрос почему через функцию не работают данные итераторы begin и end.

Код:

#include <iostream>

using namespace std;

void printArr(int* arr)
{
    int* pBegin = begin(arr);
    int* pEnd   = end(arr);

    while(pBegin != pEnd)
    {
        cout << *pBegin << endl;
        ++pBegin;
    }
}

int main()
{
    int arr[] = { 1, 5, 7, 3, 9, 2 };

    // Почему так можно, каким образом begin и end знают где конце а где начало ?;
    int* pBegin = begin(arr);
    int* pEnd   = end(arr);

    while(pBegin != pEnd)
    {
        cout << *pBegin << endl;
        ++pBegin;
    }

    // А так нельзя!
    printArr(arr);
}

[ViTech]

Потому что int [] и int * - это совершенно разные типы. В первом случае тип массива и для него есть возможность узнать начало и конец, во втором - простой указатель, который совсем не обязательно на массив указывает. Посмотрите, как в функцию нужно правильно массив передавать. Но со статическими массивами и голыми указателями лучше не работать. То же самое можно получить с помощью std::array.

[folax]

Я думаю понял по какому принципу работают данные функции. Они берут sizeof(массива) / тип массива, получают размер. Начало это std::begin, конец + 1 это std::end. Только вот немного не могу понять это наверно больше вопрос на тему область видимости. В main мы видим весь массив, а в функции только указатель на его начало, так в функцию массив не передаётся по значению.

Код:

#include <iostream>

using namespace std;

void printArrSize(int arr[])
{
    cout << "Function array size: " << sizeof(arr) << endl;
}

int main()
{
    int arr[] = { 1, 5, 7, 3, 9, 2 };
    cout << "Size: " << sizeof(arr) << endl;
    printArrSize(arr);
}

Ответ: 24
Ответ: 4

[ViTech]

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

[Igors]

Потому что int [] и int * - это совершенно разные типы.

Код

C++ (Qt)
void Foo1( int arr[3] );
void Foo2( int * arr );
 

По-моему эти ф-ции идентичны и код их одинаков. Разница не в типе как таковом, а в rvalue / lvalue. Тут есть академик, он лучше расскажет

Но со статическими массивами и голыми указателями лучше не работать. То же самое можно получить с помощью std::array.

С чем лучше или хуже - зависит от опыта. Если с адресной арифметикой еще не все гладко, то в итераторную срань лучше не лезть.

[folax]

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

В начале я хотел функцию чтобы она использовала функции std::begin и std::end для вычисления размера статического массива в экспериментальных целях. Но уже разобрался, выше написал как она работает, как мне кажется. Она не будет работать  через передачу указателя на массив в функцию.
Вся тема вытекла в вопрос на который ответ = Нет нельзя. Вопрос = Можно ли узнать размер статического массива при передачи его в функцию, без указания его размера.

Спасибо большое за ваши ответы и мысли.

[ViTech]

Если поизвращаться, то можно сделать так:

Код

C++ (Qt)
#include <iostream>
 
using namespace std;
 
template <class Array>
void printArr(Array arr_pointer)
{
    Array& arr    = *reinterpret_cast<Array*>(arr_pointer);
    auto   pBegin = begin(arr);
    auto   pEnd   = end(arr);
 
    while (pBegin != pEnd)
    {
        cout << *pBegin << endl;
        ++pBegin;
    }
}
 
int main()
{
    int arr[] = {1, 5, 7, 3, 9, 2};
 
    printArr<decltype(arr)>(arr);
}
 

Но так лучше не делать .

[__Heaven__]

Вопрос = Можно ли узнать размер статического массива при передачи его в функцию, без указания его размера.

В 17 стандарте позаботились о такой функции.
http://en.cppreference.com/w/cpp/iterator/size

[Igors]

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

"При передаче" - неясно что имелось виду. Пока компилятор видит rvalue (т.е. объявление самого массива) - можно, в теле самой ф-ции - уже нельзя, там это уже обычный указатель, на сколько эл-тов он указывает неизвестно.

Вывод: от "просто массивов" надо потихоньку уходить (напр с помощью std::array)

[alex312]

По-моему эти ф-ции идентичны и код их одинаков. Разница не в типе как таковом, а в rvalue / lvalue. Тут есть академик, он лучше расскажет

Ха, идентичны ?
а чему будет равет sizeof(arr) внутри функции ?

[ViTech]

Если писать без указателей и извращений, то можно так:

Код

C++ (Qt)
#include <iostream>
 
using namespace std;
 
template <class Array>
void printArr(Array& arr)
{
    auto pBegin = begin(arr);
    auto pEnd   = end(arr);
 
    while (pBegin != pEnd)
    {
        cout << *pBegin << endl;
        ++pBegin;
    }
}
 
int main()
{
    int arr[] = {1, 5, 7, 3, 9, 2};
 
    printArr(arr);
}

Можно такой вариант и дальше улучшать, но всё равно, лучше пользоваться std::array.

[__Heaven__]

Предлагаю посмотреть std::initializer_list. Может этого класса будет достаточно.

[Igors]

Ха, идентичны ?
а чему будет равет sizeof(arr) внутри функции ?

Может лучше самому убедиться (это займет неск минут), а потом уж можно и "Ха"  
Передать массив по ссылке можно так

Код

C++ (Qt)
void Foo1( int (& arr)[3] );
 

Все равно передается адрес, но sizeof вернет размер массива, и вызывающий может подать только массив с 3 эл-тами (а не абы какой). А вот как передать массив по значению - не знаю, может такого и нет. Ну завернуть в структуру - то ясно

[__Heaven__]

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

Код

C++ (Qt)
void Foo1( int arr[3] );
void Foo2( int * arr );
 

По-моему эти ф-ции идентичны и код их одинаков.

[Igors]

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

Код

C++ (Qt)
void Foo1( int arr[3] );
void Foo2( int * arr );
 

По-моему эти ф-ции идентичны и код их одинаков.

Ничего подобного, в обоих случаях неизвестен, оба варианта - передача по указателю. [3] удобно для программиста (мол, планируется 3 эл-та), но компилятору все равно