Dlaczego niejawna konwersja Bool na ciąg nie jest błędem?

Question

I goggled to & próbował znaleźć podobne pytanie na SO również, ale nie znalazłem nic przydatnego. Tak, publikując moje pytanie tutaj.

Rozważmy następujący program:

#include <iostream> 
void foo(const std::string &) {} 
int main() 
{ 
    foo(false); 
} 

 
[Warning] converting 'false' to pointer type for argument 1 of 'std::basic_string::basic_string(const _CharT*, const _Alloc&) [with _CharT = char; _Traits = std::char_traits; _Alloc = std::allocator]' [-Wconversion-null] 

dlaczego C++ pozwala to bez wyraźnej obsady? Spodziewałem się błędu kompilatora. Program kończy się nienormalnie przy starcie z powodu wyjątku wyświetlania następuje:

terminate called after throwing an instance of 'std::logic_error' 
    what(): basic_string::_S_construct null not valid 

This application has requested the Runtime to terminate it in an unusual way. 
Please contact the application's support team for more information. 

Co średnia mówi o tego typu niejawna konwersja?

Answer 1

Zanim C++ 11 wprowadziło słowo kluczowe nullptr, wskaźniki zerowe były trochę hackowane. Każda liczba całkowita równa zero będzie wystarczająca jako zerowa stała wskaźnika, a false pasuje do rachunku.

Tak więc efektem twojego programu jest skonstruowanie std::string z argumentem char const * z NULL. Konstruktor nie obsługuje wskaźników null, więc otrzymujesz niezdefiniowane zachowanie.

Rozwiązaniem tego problemu jest użycie nowszego dialektu C++. W razie potrzeby prześlij -std=c++11 do kompilatora lub -std=c++14.Następnie należy uzyskać coś takiego:

error: no matching function for call to 'foo' 

http://coliru.stacked-crooked.com/a/7f3048229a1d0e5a

EDIT: Hmm, GCC nie wydaje się jeszcze wdrożyć tę zmianę. To trochę zaskakujące. Możesz spróbować Clang.

Mam filed raport o błędzie.

Answer 2

bool jest zasadniczo liczbą całkowitą, więc będzie on interpretowany jako zero, w Twoim przypadku jest to probablly 0 znaków i to spowoduje, że problemu ciąg będzie wyjątek

Answer 3

Co się dzieje, jest to, że std::string jest domyślnie zbudowany z false, przy użyciu const CharT* przeciążenia i konwersji false do wskaźnika pustego. Zgodnie z dokumentacją dla konstruktor:

zachowanie jest nieokreślona, ​​gdy s [wskaźnik] nie jest skierowany na szereg przynajmniej Traits::length(s)+1 elementów CharT.

Stąd nieprawidłowe działanie (w formie przyjaznego wyjątku, ale nie należy na nim polegać).

Czy to prawda? Według [conv.ptr]

NULL stałe jest liczbą całkowitą dosłownym (2.13.2) o wartości zero lub prvalue typu std::nullptr_t.

false ma rzeczywiście wartość zero, ale nie jest liczbą całkowitą (jest to literał boolowski). Niejawna konwersja do konstruktora CharT*, którą przyjmuje std::string, jest zatem niestandardowa.

I rzeczywiście, podczas gdy GCC emituje ostrzeżenie, Clang odmawia skompilowania go.