Почему компиляторы выдают предупреждение о возврате ссылки на локальную переменную стека, если это неопределенное поведе ⇐ C++

[Anonymous]

Стандарт C++ гласит, что возврат ссылки на локальную переменную (в стеке) является неопределенным поведением, так почему же многие (если не все) текущие компиляторы только выдают предупреждение об этом ?

Код: Выделить всё

struct A{
};

A& foo()
{
A a;
return a; //gcc and VS2008 both give this a warning, but not a compiler error
}

Не было бы лучше, если бы компиляторы выдавали ошибку вместо предупреждения для этого кода?

Есть ли такая ошибка какие преимущества дает возможность компилировать этот код только с предупреждением?

Обратите внимание, что речь идет не о ссылке const, которая может продлить срок службы временного времени жизни самой ссылки.

Подробнее здесь: https://stackoverflow.com/questions/674 ... -stack-var