Вопросы с массивами

[skad0]

Доброго времени суток.
В универе начали учить C++, возник вопрос о передаче массивов в функцию.

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

Имеется ввиду, передача массива, как параметра-значения

[Stilet]

А в чем собственно задача?

[skad0]

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

[BDA]

Первое, что пришло в голову - использование вектора:

#include <iostream>
#include <vector>
#include <cstdlib>

using namespace std;

void
f(vector<int> b)
{
    cout << "copy of vector a in f:" << endl;
    for (vector<int>::iterator i = b.begin(); i != b.end(); ++i) {
        cout << *i << " ";
    }
    for (vector<int>::iterator i = b.begin(); i != b.end(); ++i) {
        *i = rand() % 100;
    }
    cout << endl << "copy of vector a in f:" << endl;
    for (vector<int>::iterator i = b.begin(); i != b.end(); ++i) {
        cout << *i << " ";
    }
}

int
main()
{
    vector<int> a;
    for (int i = 0; i < 10; ++i) {
        a.push_back(i);
    }
    cout << "vector a in main:" << endl;
    for (vector<int>::iterator i = a.begin(); i != a.end(); ++i) {
        cout << *i << " ";
    }
    cout << endl;
    f(a);
    cout << endl << "vector a in main:" << endl;
    for (vector<int>::iterator i = a.begin(); i != a.end(); ++i) {
        cout << *i << " ";
    }
    return 0;
}

[_Bers]

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

Доброго времени суток.
В универе начали учить C++, возник вопрос о передаче массивов в функцию.

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

Имеется ввиду, передача массива, как параметра-значения

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

Пример:

template<class T, size_t N> 
void Foo ( const T (&src)[N] ) //<--- так выглядит передача ссылки на массив T[N]
{
    T dst[N]; //<--- создаешь копию массива
     for(size_t n=0;n<N;++n)
     {
        dst[n]=src[n]; //<--- заполняешь копию так, как это нужно по задаче. В данном случае - поэлементная копия исходного массива
     }

     ... //<--- дальше работаешь с копией
}

Заодно, выучи как выглядит корявый синтаксис объявления функции, которая возвращает ссылку на массив:

    template<class T, size_t N>
    T (&GetArray(  /*здесь могут быть аргументы функции*/  )[N]
    {
        static T tmp[N]; //<---- ссылку на этот массив мы вернем
        for(size_t i=0;i<N;++i ) { tmp[i]= 333; }
        return tmp; 
    }

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

Зная тип и размерность, с массивами можно делать все, что угодно.

[skad0]

Спасибо большое!