Dlaczego pusty tekst literału traktowany jest jako prawdziwy?

Question

Dlaczego ten kod jest podany na true?

int main () 
{ 

    if ("") 
     cout << "hello"; // executes! 

    return 0; 
} 

Answer 1

Warunkiem jest uważane za „prawdziwe”, jeśli ma wartość inną niż 0 ^*. "" to stała tablica znaków zawierająca pojedynczy znak \0. Aby ocenić to jako warunek, kompilator "rozprasza" tablicę na const char*. Ponieważ const char[1] nie znajduje się pod adresem 0, wskaźnik jest niezerowy i warunek jest spełniony.

---

^* Dokładniej, jeśli ocenia się true po niejawnie konwertowane do bool. W przypadku typów prostych oznacza to to samo, co niezerowe, ale w przypadku typów klas należy rozważyć, czy zdefiniowano operator bool() i co robi.

§ 4.12 ze C++ 11 projekcie specyfikacji:

4.12 logiczne konwersji [conv.bool]

prvalue arytmetyczne, unscoped wyliczenia wskaźnika lub kursora rodzaju człon może być przekształcany do wartości prime bool. Wartość zerowa, zerowa wartość wskaźnika, lub wartość wskaźnika elementu zerowego jest konwertowana na wartość false; każda inna wartość to skonwertowana na wartość true. Wartość progowa typu std :: nullptr_t może zostać przekonwertowana na na prvalue typu bool; wynikowa wartość jest fałszywa.

Answer 2

Ponieważ "" rozpady do char const* i wszystkie non-zerowe wskaźniki oceny do true czy i po przeliczeniu na wartość logiczną.

Answer 3

Prawdopodobnie pochodzących z languange jak PHP, gdzie kontrola jest przetwarzane inaczej:

php -r 'echo "X";if ("") echo "Y";' 

to będzie wydrukować X, Y, ale nie dlatego, że pusty ciąg nie ma żadnej wartości.

Jak zauważyli inni, w C++ jest to wskaźnik inny niż zero, który jest oceniany jako prawdziwy.