049 TIF

Wszystkie funkcje działające na napisach zakładają, że napis będzie zakończony znakiem pustym. Problem może wystąpić wówczas, gdy do kopiowania podnapisów używamy poleceń takich, jak memcpy. Jeśli zapomnimy o znaku pustyni, to podczas wykonywania operacji na napisie może zapanować chaos. Łatwo wywołać nieskończone pętle, zaśmiecić pamięć itp.

Przykład: Literal::&operator= w pliku regexp,h

Sprawdzanie rzeczywistego rozmiaru

unikanie awarii; unikanie nieoczekiwanych wyników

Przed

//Rozmiar bufora const cchLiterał = 256; private:

char m_rgch[cchLiterał-10]; public:

const Literał &operator= (const char *pch)

{

strncpy(m_rgch, pch, cchLiterał-1); return *this;

}

Po

//Rozmiar bufora const cchLiterał = 256; private:

char m_rgch[cchLiterał-10];

const Literał & o pe rato r=(const char *pch)

{

strncpy(m_rgch, pch, sizeof(m_rgch)-2);

return *this;

}

No dobrze, może ten kod jest trochę przekombinowany i nigdy nie będziemy czegoś takiego robić. Wymagana wielkość bufora jest określona przez stałą. We fragmencie „Przed” zaufaliśmy komentarzowi mówiącemu, że stała ta rzeczywiście wskazuje na wielkość bufora. Ale jak widać programista zrobił w kodzie coś zupełnie innego. Zaufanie komentarzowi prowadzi do błędu podczas kopiowania. Znacznie bezpiecz-