Возвращаемый указатель из функции в C++

Question

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

#include <iostream> 
#include <conio.h> 

int *cal(int *, int*); 

using namespace std; 

int main() 
{ 
    int a[]={5,6,7,8,9}; 
    int b[]={0,3,5,2,1}; 
    int *c; 
    c=cal(a,b); 

    //Wrong outpur here 
    /*for(int i=0;i<5;i++) 
    { 
     cout<<*(c+i); 
    }*/ 

    //Correct output here 
    cout<<*(c+0); 
    cout<<*(c+1); 
    cout<<*(c+2); 
    cout<<*(c+3); 
    cout<<*(c+4); 

return 0; 
} 

int *cal(int *d, int *e) 
{ 
    int k[5]; 
    for(int j=0;j<5;j++) 
    { 
     *(k+j)=*(d+j)-*(e+j); 
    } 
    return k; 
} 

Answer 1

int k[5] массив создается на стеке. Таким образом, он становится разрушенным, когда он выходит из сферы действия, возвращаясь с cal. Вы можете использовать третий параметр в качестве выходного массива:

void cal(int *d, int *e, int* k) 
{ 
    for(int j=0;j<5;j++) 
    { 
     *(k+j)=*(d+j)-*(e+j); 
    } 
} 

вызова cal так:

int a[]={5,6,7,8,9}; 
int b[]={0,3,5,2,1}; 
int c[5]; 
cal (a, b, c); // after returning from cal, c will be populated with desired values 

Answer 2

Вы возвращаете указатель на локальную переменную.

k создано в стеке. Когда cal() выходит из стека, он разматывается, и память свободна. После этого ссылка на память впоследствии приводит к неопределенному поведению (как это объясняется здесь красиво: https://stackoverflow.com/a/6445794/78845).

Ваш компилятор C++ должен предупредить вас об этом, и вы должны прислушаться к этим предупреждениям.

Для чего это стоит, вот как я бы реализовать это в C++:

#include <algorithm> 
#include <functional> 
#include <iostream> 
#include <iterator> 

int main() 
{ 
    int a[] = {5, 6, 7, 8, 9}; 
    int b[] = {0, 3, 5, 2, 1}; 
    int c[5]; 
    std::transform (a, a + 5, b, c, std::minus<int>()); 
    std::copy(c, c + 5, std::ostream_iterator<int>(std::cout, ", ")); 
} 

See it run!

Answer 3

Как уже отмечалось, вы возвращающая указатель на локальный переменной, которая неопределенное поведение. Однако реальная проблема - , что вам нужно вернуть массив, а массивы типов C сломаны. Замените свои массивы на std::vector<int>, забудьте о указателях (потому что вы имеете дело со значениями), и код будет работать.