Получение оборванного указателя, возвращая указатель из локального массива C-стиля

Я немного смущен следующим кодом:

#include <iostream>

const char* f()
{
    const char* arr[]={"test"};
    return arr[0];
}

int main()
{
    auto x = f();
    std::cout << x;
}

На мой взгляд, этот код должен быть UB (неопределенное поведение). Мы возвращаем указатель на элемент массива C-стиля внутри локальной области. Все должно пойти не так. Тем не менее, ни один из компиляторов, с -Wall -Wextra -pedantic я тестировал, не жаловался (я использовал -Wall -Wextra -pedantic как на g++, так и на clang). valgrind тоже не жалуется.

Является ли код выше действительным или это UB, как можно было бы подумать?

PS: работает, кажется, производит "правильный" результат, то есть отображает "тест", но это не указывает на правильность.

Ответ 1

Нет, это не UB.

Это:

const char* f()
{
    const char* arr[]={"test"};
    return arr[0];
}

Можно переписать эквивалент:

const char* f()
{
    const char* arr0 = "test";
    return arr0;
}

Поэтому мы просто возвращаем локальный указатель в строковый литерал. Строковые литералы имеют статическую продолжительность хранения, ничего не болтается. Функция действительно такая же, как:

const char* f()
{
    return "test";
}

Если вы сделали что-то вроде этого:

const char* f() {
    const char arr[] = "test"; // local array of char, not array of char const*
    return arr;
}

Теперь это UB - мы возвращаем висячий указатель.

Ответ 2

Массив arr имеет локальную продолжительность хранения и исчезнет в конце области действия. Строковый литерал "test" однако, является указателем на статическое хранилище. Временно сохраняя этот указатель в локальном массиве arr перед его возвратом, это не изменится. Он всегда будет местом статического хранения.

Обратите внимание, что если функция должна была возвращать строковый тип стиля C++ вместо C-стиля const char *, дополнительное преобразование/ведение бухгалтерии, вероятно, оставит вас с ограничением по времени в соответствии с временными правилами C++.