Czy są jakieś scenariusze, w których ostrzeżenie C4172 Visual C++ nie powinno być uważane za błąd?

Question

Jest C4172 Ostrzeżenie Visual C++ dla przypadków, gdy funkcja zwraca adres lokalnego lub tymczasowego lub odniesienie do zmiennej lokalnej.

coś takiego:

int& fun() 
{ 
    int var; 
    return var; //C4172 
} 

Teraz wygląda na to, że jest to dobry pomysł, aby użyć #pragma warning aby Visual C++ leczenia C4172 jako błąd i złamać kompilację.

Czy są jakieś rozsądne scenariusze, w których C4172 w rzeczywistości nie jest błędem?

Answer 1

Nie jestem pewien, dlaczego ktoś miałby kiedykolwiek chcesz to zrobić:

int * stackTester() 
{ 
    int dummy; 
    return &dummy; 
} 

bool stackGoesUp() 
{ 
    int dummy; 
    return stackTester() > &dummy; 
} 

Ale ogólnie rzecz biorąc, należy traktować jak ostrzeżenie błędu.

Answer 2

Jest to ostrzeżenie na poziomie 1, bardzo trudne do zignorowania. Ale kompilator przestrzega tutaj standardów językowych, nie jest zabronione odwoływanie się do UB. Jest to bardzo powszechny błąd, który zbyt często kończy się dobrze. Położenie wskazanego stosu pozostaje stabilne, o ile nie wykonujesz żadnych wywołań funkcji.

Najlepszym sposobem radzenia sobie z tym jest zamienianie ostrzeżeń w błędy. Skompiluj z/WX, ustawienie "Traktuj ostrzeżenia jako błędy" w IDE. Jeśli następnie umyślnie chcesz wyłączyć ostrzeżenie, to #pragma ostrzeżenie uświadomi wszystkim, że dzieje się coś podejrzanego, a nie przypadek.

Answer 3

nieużywany kod

class base 
{ 
    virtual blah& makeBlah() 
} 

class red : public base 
{ 
    blah& makeBlah() { return blah(); } // there are no red blahs, never called 
} 

class blue : public base 
{ 
    blah& makeBlah() { actual code to make a blah } 
}