Блог*

Что ж, попробуем использовать -Wlifetime на практике:

sv example_should_err(int n, sv str) {
    auto n_str = std::to_string(n);
    return shortest(n_str, str);
}

sv example_should_ok(int n, sv str) {
    auto n_str = std::to_string(n);
    return cut_prefix(n_str, str);
}

На первый пример компилятор выдаёт предупреждение:

<source>:20:5: warning: returning a dangling pointer [-Wlifetime]
    return shortest(n_str, str);
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~

<source>:20:5: note: pointee 'n_str' left the scope here
    return shortest(n_str, str);
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~

И совершенно правильно, потому что тут может быть возвращён string_view, созданный из временной строки, которая уничтожается на выходе из функции. Что же касается второго примера... Тоже предупреждение. Причём то же самое :/ Хотя тут string_view от n_str заведомо не покидает пределы функции.

...Если посмотреть README к форку, можно увидеть ещё один флаг, -Wlifetime-filter. Цитирую: "Reduce the number of false-postives at the cost of additional false negatives.". Добавляем этот флаг и... Получаем тот же самый выхлоп.

Ну, ладно, это я испорчен растом, на самом деле тот факт, что компилятор C++ ловит подобные ошибки безо всяких аннотаций со стороны пользователя, пусть и с ложноположительными результатами — это довольно круто. Но что, если мы захотим передавать функцию отдельным параметром? Давайте проверим:

template <typename F> sv example_hof(int n, sv str, F func) {
    auto n_str = std::to_string(n);
    return func(n_str, str);
}

sv example_hof_should_ok(int n, sv str) {
    return example_hof(n, str, cut_prefix);
}

sv example_hof_should_err(int n, sv str) {
    return example_hof(n, str, shortest);
}

Кладём в компилятор и... Получаем ноль предупреждений.

Ну, хорошо, хорошо, это шаблоны, их действительно сложно анализировать, из-за них парсинг C++ является полной по Тьюрингу задачей. Давайте сделаем что-нибудь попроще, скажем, то, что было ещё в C: указатели на функции:

sv example_hof(int n, sv str, sv (*func)(sv, sv)) {
    auto n_str = std::to_string(n);
    return func(n_str, str);
}

// example_hof_should_ok и example_hof_should_err остались без изменений

Проверяем... Ноль предупреждений.

Заключения не будет.

godbolt.org

Compiler Explorer - C++ (x86-64 clang (experimental -Wlifetime))

using sv = std::string_view;

sv shortest(sv a, sv b) {
return a.size() < b.size() ? a : b;
}

sv cut_prefix(sv prefix, sv str) {
if (str.rfind(prefix, 0) == 0) {
return str.substr(prefix.size());
} else {
return str;
}
}
…

598 viewsedited 13:39