c++ - 为什么我们在这个例子中同时需要 const 和非常量 getter

Question

我遇到了这个例子 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);

}

所以问题是为什么我们需要 -Ref_t 类中的两个 friend 元素 函数？

Answer 1

这两个函数的区别在于，一个非常量 vector 的element()本身是非常量的，但是如果整个 vector 是const，那么每个element() 也是常量。

即

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