Почему не работает what() const?

Question

[pixik]

код:

#include <iostream>
using namespace std;
#include <string>
const char* what() const
{
	string err = string("hello");
	return err.c_str();
}
int main() {
	cout << what() << endl;
	return 0;
}

С const не работет, а без const работает. В чем дело? Ведь я в этом методе не меняю поля класса.
ideone.com/aVSrLC

Answer 1

[GavriKos]

Ведь я в этом методе не меняю поля класса.

А где тут класс?

Comments

[pixik]

Да, вы правы.
Я вырвал функцию из контекста (класса) и хотел проверить что будет если создать объект внутри функции и вернуть const char *.

Answer 2

[Толстый Лорри]

Неэкземплярные функции нельзя помечать const, потому что этот модификатор относится к состоянию, которого обычная функция не имеет.

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

Да и, кстати

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

Comments

[tsarevfs]

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

[Толстый Лорри]

tsarevfs: > Вызов любой следующей функции перетрет их.
Нужны пруфы, Билли)

[tsarevfs]

tsarevfs:

#include <iostream>
const int& what(int x)
{
  int a = x;
  return a;
}
int main() {
  const int& a = what(0);
  const int& b = what(1);
  std::cout << a << " " << b << std::endl; //выводит 1 1
  return 0;
}

[Толстый Лорри]

tsarevfs: Забавно, спасибо) Еще бы найти обоснования этому в стандарте. Логически понятно, что вызов функции перетирает стек, но упомянания об этом там не встречал.

[tsarevfs]

Толстый Лорри: Не то что бы стоило полагаться на это. stackoverflow.com/a/6445794/1762922

[Толстый Лорри]

tsarevfs: Язык учит не полагаться ни на что, если это не описано в документе)