标准容器封装和基于范围的for循环

Question

我正在设计一个类，该类具有两个标准向量作为成员。 我希望能够在向量元素上使用基于范围的for循环，我想出了这个解决方案

#include <iostream>
#include <vector>

using namespace std;

class MyClass {
public:
  void addValue1(int val){data1_.push_back(val);}
  void addValue2(int val){data2_.push_back(val);}
  vector<int> const & data1() const {return data1_;}
  vector<int> const & data2() const {return data2_;}
  // ...
private:
  vector<int> data1_;
  vector<int> data2_;
  // ...
};

void print1(MyClass const & mc) {
  for (auto val : mc.data1()){
    cout << val << endl;
  }
}

void print2(MyClass const & mc) {
  for (auto val : mc.data2()){
    cout << val << endl;
  }
}

int main(){
  MyClass mc;
  mc.addValue1(1);
  mc.addValue1(2);
  mc.addValue1(3);
  print1(mc);
}

显然，因为我有两个不同的向量，所以定义begin()和end()函数的选择没有意义。

我想问以下问题：

• 所提出的解决方案的缺点是两个向量的内容不能更改（由于const限定符）。 在需要修改向量元素的情况下，如何修改代码？ 编辑：修改应保留封装

• 考虑到数据封装，您是否认为对两个向量返回（ const ）引用是不好的做法？

Answer 1

使用gsl::span<int>和gsl::span<const int> 。

这是最小的一个：

template<class T>
struct span {
  T* b = 0; T* e = 0;
  T* begin() const { return b; }
  T* end() const { return e; }
  span( T* s, T* f ):b(s),e(f) {}
  span( T* s, std::size_t len ):span(s, s+len) {}
  template<std::size_t N>
  span( T(&arr)[N] ):span(arr, N) {}
  // todo: ctor from containers with .data() and .size()

  // useful helpers:
  std::size_t size() const { return end()-begin(); }
  bool empty() const { return size()==0; }
  T& operator[](std::size_t i) const { return begin()[i]; }
  T& front() const { return *begin(); }
  T& back() const { return *(std::prev(end())); }

  // I like explicit defaults of these:
  span() = default;
  span(span const&) = default;
  span& operator=(span const&) = default;
  ~span() = default;
};

现在您可以写：

span<int const> data1() const {return {data1_.data(), data1_.size()};}
span<int const> data2() const {data2_.data(), data2_.size()};}
span<int> data1() {return {data1_.data(), data1_.size()};}
span<int> data2() {data2_.data(), data2_.size()};}

Answer 2

所提出的解决方案的缺点是两个向量的内容不能更改（由于const限定符）。 在需要修改向量元素的情况下，如何修改代码？

首先，您应该添加一个data1()和data2()非常量版本，这些版本返回对data1_和data2_成员的引用

vector<int> const & data1() const {return data1_;}
vector<int> const & data2() const {return data2_;}

vector<int> & data1() {return data1_;}
vector<int> & data2() {return data2_;}

第二：如果要修改print1()的元素（例如），您必须将mc作为非const引用接收

// ..........vvvvvvvvv   no more const
void print1 (MyClass & mc) {

因此您可以更改mc 。

第三：在基于范围的循环中，您必须将val定义为参考，以便您可以对其进行修改，同时修改向量内的参考值

// ........V   by reference
for ( auto & val : mc.data1() ) {
   ++val ;  // this modify the value in the vector inside mc
   cout << val << endl;
}

考虑到数据封装，您是否认为对两个向量返回一个（const）引用是不好的做法？

恕我直言：如果引用是const ，则根本不是：这是一个好习惯，因为允许安全使用该成员而无需重复该成员。

如果引用不是const ，那么将成员声明为public不会有太大区别。