Hola amigos..

En el siguiente código, si yo quito la palabra const (línea 52) derivada de un template tipo C, el programa corre....


Link -> https://onlinegdb.com/SyW1F9kWS
Hagan clic en Fork para probar el código.

Estuve buscando por què pasa esto, segun el compilador no pudo realizar una conversion de un tipo que no es const a uno que es const...  entiendo que quitando la palabra const se acaba el problema, pero por que?.. y si no deseo retirar la palabra const donde mas debería agregarla para que pueda compilar?... (Pasa que el libro que estudio aparece con const, ero no veo diferencia realmente con lo que tengo).

Gracias.

---

Bueno, según un usuario de discord, me dijo que las funciones begin() y end() deben ser const también, y efectivamente colocándolas asi compiló correctamente.

Pero es curioso porque en el libro que estudio, dichas funciones no son const..

Ahora mismo estoy investigando por que´.

---

Si yo coloco las funciones begin() y end() como funciones no miembro, es decir, fuera de la clase o estructura, el compilador no las detecta...

Lnik -> https://onlinegdb.com/SJgL5ayZH


Debe forzosamente ser funciones miembro?

EI: NO HAGAS DOBLE POST NUEVAMENTE, SERA BORRADO.

En general necesitas las dos versiones para begin y para end, las const y no const, para que pueda usarse la que corresponda en cada caso.

Por ejemplo, si tienes: definidas las cuatro funciones miembro:

template <typename T>
    T* s<T>::begin() {
        return elem;
    }
 
    template <typename T>
    const T* s<T>::begin() const {
        return elem;
    }
 
    template <typename T>
    T* s<T>::end() {
        return begin() + size;
    }
 
    template <typename T>
    const T* s<T>::end() const {
        return begin() + size;
    }

Podrás usar tanto

template <typename C, typename V>
V sum(C& c, V v) {  // c es una referencia no constante
    for (auto a : c) { // usa las versiones no const de begin() y de end()
        v += a;
    }
    return v;
}

como

template <typename C, typename V>
V sum(const C& c, V v) {  // c es una referencia constante
    for (auto a : c) {          // usa las versiones const de begin() y de end()
        v += a;
    }
    return v;
}

Por cierto, respecto a tu segunda pregunta, begin y end no necesariamente debe ser funciones miembro, pero en caso de que sean funciones sueltas, necesitan estar en el mismo namespace que el objeto para que el compilador las encuentre; sin embargo, en ese caso hacer que puedas usarlos con objetos const se complica más, y tendrías que declarar versiones de begin y end que acepten y retornen const, así como una sobrecarga de sólo lectura (const) del operador [].