почему нельзя возвращать указатель, а локальную переменную можно?

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

Ровно наоборот. Если в функции была выделена память (операторами new или new[]), и возвращён указатель на неё, то после завершения функции эта память "останется в живых", и скопировав возвращённый указатель, можно добраться до неё. Разумеется, выделенное надо будет потом где-нить освободить. А если попытаться возвратить временную переменную, созданную на стеке функции, то после возврата из этой функции стек будет уничтожен, и что там окажется в этой переменной -- никто не знает. Может, корректные данные, а может быть и мусор.

Нельзя возвращать указатель или ссылку на локальную переменную.
Можно возвращать указатель на выделенную память (операторами new или new[]).
Можно возвращать указатель или ссылку на static переменную.
Можно возвращать указатель или ссылку, переданные в качестве параметра (но не всегда)
Можно возвращать локальную переменную или поле класса. Результат будет скопирован в соответствующую переменную вызывающей функции (при необходимости будет вызван оператор или конструктор копирования).

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

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

Теперь осталось рассказать, что такое "стек функции", и как он функционирует.

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

Спасибо всем, разобрался вроде

попробуй перетри  


Это сообщение отредактировал(а) GQU - 13.8.2014, 19:27

http://codepad.org/DudxDuRw

на строке  
ошибка
error C2440: return: невозможно преобразовать "volatile int *" в "int *"

Это сообщение отредактировал(а) GQU - 13.8.2014, 20:11

gcc прожевал. Попробуй убрать volatile.

ну я убрал, все норм, сейчас разбираюсь со стеком, почему в моем случае не перетерает, просто я неправильно представляю пока еще как работает стек
понял, у меня не затирается, потому что переменные создаются, уничтожаются, (при выходе из функции), адрес, на который ссылается локальная переменная остается тот же
просто я думал, что новые переменные перетрут данные, на которые ссылается указатель p, а нет, return-а то еще не было, указатель стека не сместился

Это сообщение отредактировал(а) GQU - 13.8.2014, 21:08

А ты не полагайся на случай - просто так не делай.
Вот так можно:

Вот так тоже можно:

но результат можно сохранять только пока существуют переменные, указанные  в вызове tmp.

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

Если дружишь с english language, то вот. Если не дружишь -- срочно начинай дружить. Хорошей литературы на русском исчезающе мало.

не настолько. изданий, в т.ч. переводных, в т.ч. освещающих этот вопрос, немало.
даже в вики