Jak wymagać semantyki const_iterator w sygnaturze funkcji szablonu?

Question

Tworzę konstruktor, który zajmie parę iteratorów wejściowych. Chcę podpis sposób mieć kompilacji const semantyka podobny do:

DataObject::DataObject(const char *begin, const char *end) 

Jednak nie mogę znaleźć żadnych przykładów. Na przykład, konstruktor zakres mojego STL implementacja dla vector jest zdefiniowany jako:

template<class InputIterator> 
vector::vector(InputIterator first, InputIterator last) 
{ 
    construct(first, last, iterator_category(first)); 
} 

który nie ma czasu kompilacji const gwarancje. iterator_category/iterator_traits<> również nie zawierają nic związanego z const.

Czy istnieje sposób wskazania, aby zagwarantować dzwoniącemu, że nie mogę zmodyfikować danych wejściowych?

edycja, 2010-02-03 16:35 UTC

Jako przykład jak chciałbym korzystać z funkcji, chciałbym być w stanie przejść parę char* wskaźników i wiem, na podstawie podpisu funkcji, że dane, na które wskazują, nie zostaną zmodyfikowane.
Miałem nadzieję, że uda mi się uniknąć utworzenia pary wskaźników const char*, aby zagwarantować semantykę const_iterator. W tym przypadku mogę zostać zmuszony do zapłaty podatku od szablonów.

Answer 1

można po prostu stworzyć atrapę funkcję, która wywołuje szablon z char * const wskaźników. Jeśli twój szablon próbuje zmodyfikować swoje cele, twoja fikcyjna funkcja nie będzie się kompilować. Następnie możesz umieścić manekina wewnątrz osłon #ifndef NDEBUG, aby wykluczyć go z wersji wydań.

Answer 2

Co

#include <vector> 

template <class T> 
class MyClass{ 
public: 
    MyClass(typename T::const_iterator t1,typename T::const_iterator t2){ 
    } 
    // *EDITED*: overload for pointers (see comments) 
    MyClass(const T* t1,const T* t2){ 
    } 
}; 

void main(){ 
    std::vector<int> v; 
    std::vector<int>::const_iterator it1 = v.begin(); 
    std::vector<int>::const_iterator it2 = v.end(); 
    MyClass<std::vector<int> > mv(it1,it2); 

    // with pointers: 
    char* c1; 
    char* c2; 
    MyClass mc(c1,c2); 
} 

Answer 3

To konstruktor wektor odbiera swoich argumentów przez wartość, co oznacza, że ​​iteratory wskazówki dzwoniącego są kopiowane przed użyciem w konstruktorze, co oczywiście oznacza, że ​​nic nie dzieje się iteratorów rozmówcy.

const dla argumentów wejściowych ma znaczenie, gdy przechodzisz przez odniesienie. na przykład

void foo(int& x)

vs

void foo(const int& x)

w pierwszym przykładzie, wejście rozmówcy na x można modyfikować foo. W drugim przykładzie może nie być, tak jak odniesienie, const.

Answer 4

Osoba dzwoniąca może po prostu użyć szablonu z stałymi iteratorami. Jeśli tak, a kompilator nie uskarża się, jest zagwarantowane, że funkcja nie modyfikuje danych. Gdyby zmodyfikować dane, utworzenie szablonu za pomocą constewater doprowadziłoby do błędów.

Nie musisz naprawdę wymusić wywołującego, aby używać iteratorów const tylko dlatego, że niczego nie modyfikujesz.

Answer 5

To proste (ale nie całkiem), czy można sobie pozwolić doładowania:

#include <boost/static_assert.hpp> 
#include <boost/type_traits.hpp> 

template<class It> 
void f(It b, It e) 
{ 
    using namespace boost; 
    typedef typename std::iterator_traits<It>::reference reference; 
    BOOST_STATIC_ASSERT(is_const<typename remove_reference<reference>::type>::value); 
} 

void test() 
{ 
    f((char const*)0, (char const*)0); // Compiles 
    f((char*)0, (char*)0); // Does not compile 
} 

EDIT: jeśli chcesz mieć i wskazanie na ten temat w podpisie to często można wykorzystać nazwę szablon parametr:

template<class ConstIt> 
void f(ConstIt b, ConstIt e) 
...