Ostrzeżenie C26815
Wskaźnik jest zwisany, ponieważ wskazuje na tymczasowe wystąpienie, które zostało zniszczone. (ES.65)
Uwagi
Utworzony wskaźnik lub widok odwołuje się do nienazwanego obiektu tymczasowego, który jest niszczony na końcu instrukcji. Wskaźnik lub widok będzie zwisać.
To sprawdzenie rozpoznaje widoki i właścicieli z standardowej biblioteki szablonów języka C++ (STL). Aby nauczyć to sprawdzanie typów utworzonych przez użytkownika, użyj adnotacji [[msvc::lifetimebound]] .
Obsługa [[msvc::lifetimebound]] jest nowa w programie MSVC 17.7.
Nazwa analizy kodu: LIFETIME_LOCAL_USE_AFTER_FREE_TEMP
Przykład
Rozważmy następujący kod skompilowany w wersji C++ przed C++23:
std::optional<std::vector<int>> getTempOptVec();
void loop() {
// Oops, the std::optional value returned by getTempOptVec gets deleted
// because there is no reference to it.
for (auto i : *getTempOptVec()) // warning C26815
{
// do something interesting
}
}
void views()
{
// Oops, the 's' suffix turns the string literal into a temporary std::string.
std::string_view value("This is a std::string"s); // warning C26815
}
struct Y { int& get() [[msvc::lifetimebound]]; };
void f() {
int& r = Y{}.get(); // warning C26815
}
Te ostrzeżenia można naprawić przez wydłużenie okresu istnienia obiektu tymczasowego.
std::optional<std::vector<int>> getTempOptVec();
void loop() {
// Fixed by extending the lifetime of the std::optional value by giving it a name.
auto temp = getTempOptVec();
for (auto i : *temp)
{
// do something interesting
}
}
void views()
{
// Fixed by changing to a constant string literal.
std::string_view value("This is a string literal");
}
struct Y { int& get() [[msvc::lifetimebound]]; };
void f() {
Y y{};
int& r = y.get();
}