Algorytmy STL na tablicach

Często w programach napisanych w C do pobierania rozmiaru tablic (ilości elementów) alokowanych przez kompilator na stosie stosuje się prostą konstrukcję z operatorem sizeof. ładnie “opakowaną” w makro do łatwego użycia:

#define SizeOfArray(array)	sizeof(array) / sizeof(array[0])

W C++ zamiast makra lepiej wykorzystać wzorzec, a wtedy można to przedstawić w takiej postaci:

template<typename T, size_t N>
inline size_t SizeOfArray(const T (&)[N]) {
	return N;
}

Wersja cpplusowa jest bezpieczniejsza. Próba wywołania SizeOfArray() na wskaźniku zakończy się błędem w czasie kompilacji, w przeciwieństwie do makra, które dopiero da znać o tym problemie w run-time.

To tyle słowami wstępu, bo nie chciałem zbytnio o tym teraz pisać.

Głównym tematem miała być wzmianka o prostej możliwości używania algorytmów pochodzącym z biblioteki STL na zwykłych tablicach. Większość algorytmów działa poprawnie na wskaźnikach, tak jak gdyby były iteratorami.

int array[] = { 1, 2, 3, 4, 5 };
std::copy(array, array + SizeOfArray(array), std::ostream_iterator<int>(std::cout, " "));

Dla nieco lepszego i czytelniejszego kodu, można dopisać 2 szablonowe funkcje służące do pobierania “iteratorów” dla “surowej” tablicy, załatwiając tym konieczność pamiętania o dodawaniu rozmiaru przy wskaźniku “na koniec”.

template<typename T, size_t N>
inline T* begin(T (&array)[N]) {
	return array;
}

template<typename T, size_t N>
inline T* end(T (&array)[N]) {
	return array + N;
}

Teraz kod wykorzystujący algorytm std::copy na tablicy wygląda znacznie lepiej:

int array[] = { 1, 2, 3, 4, 5 };
std::copy(begin(array), end(array), std::ostream_iterator<int>(std::cout, " "));

Idąc dalej można byłoby specjalizować powyższe funkcje również dla zwykłych iteratorów. Wtedy będzie można używać funkcji begin() i end() w jednakowy sposób dla zwykłych tablic i kontenerów z biblioteki STL.

Na jakimś forum przypadkiem trafiłem właśnie na takie specjalizacje, ponoć w starej (?) implementacji array w boost było to używane, ale nie mogę tego potwierdzić. Napisanie tego zostawiam czytelnikom jako zadanie domowe ;)