Niejawna konwersja z char ** na const char **

Question

Dlaczego mój kompilator (GCC) nie jest niejawnie rzutowany z char** na const char**?

Thie następujący kod:

#include <iostream> 

void print(const char** thing) { 
    std::cout << thing[0] << std::endl; 
} 

int main(int argc, char** argv) { 
    print(argv); 
} 

daje następujący błąd:

oi.cpp: In function ‘int main(int, char**)’: 
oi.cpp:8:12: error: invalid conversion from ‘char**’ to ‘const char**’ [-fpermissive] 
oi.cpp:3:6: error: initializing argument 1 of ‘void print(const char**)’ [-fpermissive] 

Answer 1

Taka konwersja pozwoli Ci umieścić const char* do swojej tablicy char*, co byłoby niebezpieczne. W print można zrobić:

thing[0] = "abc"; 

Teraz argv[0] wskazywałoby na sznurku dosłownym, które nie mogą być zmienione, natomiast main spodziewa się, że jest non-const (char*). Tak więc dla bezpieczeństwa typu konwersja ta nie jest dozwolona.

Answer 2

Ponieważ może to pozwolić nam modyfikować stałą wartość. Przeczytaj tutaj, aby zrozumieć, dlaczego: http://c-faq.com/ansi/constmismatch.html

Answer 3

@Fred Overflow's link to the FAQ to pełna odpowiedź. Ale (przepraszam Marshall) nie jest to najbardziej jednoznaczne wytłumaczenie. Nie wiem, czy moje jest bardziej jasne, ale mam taką nadzieję.

---

Chodzi o to, czy p jest char* wskaźnik, to może być wykorzystane do modyfikować cokolwiek to wskazującego.

A jeśli można uzyskać wskaźnik pp wskazujący na p, ale z pp typu char const**, następnie można użyć pp przypisać p Adres strony const char.

Dzięki temu można następnie użyć p, aby zmodyfikować const char. Lub, możesz pomyśleć, że możesz. Ale ta const char może być nawet w pamięci tylko do odczytu i hellip;

w postaci kodu:

char const  c = 'a'; 
char*    p = 0; 
char const**  pp = &p;    // Not allowed. :-) 

*pp = &c;  // p now points to c. 
*p = 'b';  // Uh oh. 

---

Jako praktyczne rozwiązanie do kodu, który nie kompiluje, & hellip;

#include <iostream> 

void print(const char** thing) { 
    std::cout << thing[0] << std::endl; 
} 

int main(int argc, char** argv) { 
    print(argv); // Dang, doesn't compile! 
} 

tylko do & hellip;

#include <iostream> 

void print(char const* const* thing) 
{ 
    std::cout << thing[0] << std::endl; 
} 

int main(int argc, char** argv) 
{ 
    print(argv); // OK. :-) 
} 

Cheers & HTH.,

Answer 4

uwaga, że ​​chociaż

void dosmth(const char** thing); 

int main(int argc, char** argv) { 
    dosmth(argv); 

jest zabronione, można i należy robić

void dosmth(const char* const* thing); 

int main(int argc, char** argv) { 
    dosmth(argv); 

Która jest chyba to, czego chciał i tak.Chodzi tutaj o to, że thing odnosi się teraz do tablicy const char*, która sama jest niezmienna, a te, do których odnoszą się wartości char, same są niezmienne. Tak więc, dla "spójrz na to, ale nie zmieniaj tego" scenariusz, const char* const* jest typem do użycia.

Uwaga: użyłem bardziej powszechnego (ale moim zdaniem gorszego) standardu próbowania napisania modyfikatora const, tak jak jest to możliwe. Osobiście polecam pisać char const* const* zamiast const char* const*, ponieważ jest to znacznie bardziej zwięzłe.