pourquoi avons-nous besoin à la fois const et getters non-const dans cet exemple

Question

je suis tombé sur cet exemple here:

#include <vector> 
#include <cstddef> 

template<typename Tag> 
class Ref_t { 
    std::size_t value; 

    friend Tag& element(Ref_t r, std::vector<Tag>& v) { 
    return v[r.value]; 
    } 

    friend const Tag& element(Ref_t r, const std::vector<Tag>& v) 
    { 
    return v[r.value]; 
    } 
public: 
    // C'tors, arithmetic operators, assignment 

}; 

struct A{}; 
struct B{}; 

typedef Ref_t<A> ARef_t; 
typedef Ref_t<B> BRef_t; 

int main() { 
    std::vector<A> va; 
    ARef_t ar; 
    A& a = element(ar, va); 

} 

La question est de savoir pourquoi nous avons besoin -Deux friend element fonctions en classe Ref_t?

Answer 1

La différence entre les deux fonctions est qu'un element() d'un vecteur non-const est lui-même non-const, mais si le vecteur entier est const, alors chaque element() est aussi const.

à savoir

int main() { 
    std::vector<A> const cva = foo(); 
    ARef_t ar; 
    A const& a = element(ar, cva); 
} 

Answer 2

Vous n'avez pas, vous avez seulement besoin de la version non const dans cet exemple

Answer 3

Si vous détenez un vecteur const vous pouvez lire les valeurs des éléments, mais pas les modifier. Si vous avez un vecteur non-const, vous pouvez réellement modifier les valeurs des éléments. Dans les deux cas, vous appelez la même fonction nom, mais une fonction différente est appelée en raison de la surcharge sur const.

L'opérateur [] sur le vecteur lui-même est également implémenté.

En effet, le « setter » non-const « getter » agit également comme un

Answer 4

deux fonction retourne l'élément de vecteur respectif de coller le comportement des éléments du vecteur.

c.-à-d. Si le vecteur est const ==> tous ses éléments sont const ==> on ne peut pas modifier son élément et pour cette fonction avec le type const return et l'argument const est défini. donc il ne permettra pas de modifier l'élément de vecteur.

Exactement en face est pour vecteur non-const. On peut modifier l'élément de vecteur en utilisant sa référence.