C++vector 의 사 칙 연산 실현

vector<int> operator+(const vector<int>& v1, const vector<int>& v2) {
  //    v1.size() == v2.size()
  vector<int> r;

  r.reserve(v1.size());
  for (auto i = 0; i < v1.size(); ++i) {
    r.push_back(v1[i] + v2[i]);
  }
  return r;
}

enum OpType {
  OT_ADD,
  OT_SUB,
  OT_MUL,
  OT_DIV,
};

class VecTmp {
  int type_;
  const vector<int>& op1_;
  const vector<int>& op2_;

public:
  VecTmp(int type, const vector<int>& op1, const vector<int>& op2)
    : type_(type), op1_(op1), op2_(op2) {}

  int operator[](const int i) const {
    switch(type_) {
      case OT_ADD: return op1_[i] + op2_[i];
      case OT_SUB: return op1_[i] - op2_[i];
      case OT_MUL: return op1_[i] * op2_[i];
      case OT_DIV: return op1_[i] / op2_[i];
      default: throw "bad type";
    }
  }
};

VecTmp operator+(const vector<int>& op1, const vector<int>& op2) {
  return VecTmp(OT_ADD, op1, op2);
}

#include <vector>
#include <iostream>

using namespace std;

enum OpType {
  OT_ADD,
  OT_SUB,
  OT_MUL,
  OT_DIV,
};

template<class T1, class T2>
class VecSum {
    OpType type_;
  const T1& op1_;
  const T2& op2_;
 public:
  VecSum(int type, const T1& op1, const T2& op2): type_(type), op1_(op1), op2_(op2) {}
 
    int operator[](const int i) const {
      switch(type_) {
        case OT_ADD: return op1_[i] + op2_[i];
        case OT_SUB: return op1_[i] - op2_[i];
        case OT_MUL: return op1_[i] * op2_[i];
        case OT_DIV: return op1_[i] / op2_[i];
        default: throw "bad type";
      }
    }
};

template<class T1, class T2>
VecSum<T1, T2> operator+(const T1& t1, const T2& t2) {
  return VecSum<T1, T2>(OT_ADD, t1, t2);
}

template<class T1, class T2>
VecSum<T1, T2> operator*(const T1& t1, const T2& t2) {
  return VecSum<T1, T2>(OT_MUL, t1, t2);
}

int main() {
  std::vector<int> v1{1, 2, 3}, v2{4, 5, 6}, v3{7, 8, 9};
  auto r = v1 + v2 * v3;
  for (auto i = 0; i < r.size(); ++i) {
    std::cout << r[i] << " ";
  }
}

,Vectmp,vector>,표현 식 이 좀 더 복잡 하면 그 유형 도 더욱 복잡 해 집 니 다.자세히 보면 이 물건 이 어디 와 비슷 한 지 알 수 있 습 니까?나무 한 그루,나무 한 그루.

이 나 무 는 아직 낯 이 익 은 것 같 지 않 습 니까?모든 잎 결점 은 vector 이 고 모든 내부 결점 은 Vectmp 에서 예화 되 었 습 니 다.이것 은 유형의 나무 입 니 다.컴 파일 할 때 확 정 됩 니 다.표현 식 을 통 해 컴 파일 할 때 얻 을 수 있 는 복잡 한 유형 은 Expression template 라 는 학 명 이 있 습 니 다.c++에서 모든 표현 식 은 하나의 결 과 를 만들어 야 합 니 다.결 과 는 반드시 유형 이 있 습 니 다.유형 은 컴 파일 할 때의 것 이 고 결 과 는 실 행 될 때 입 니 다.이러한 연산 식 과 같이 그의 최종 유형 은 그 중의 모든 연산 에서 발생 하 는 결과 에 대응 하 는 유형 을 조합 하여 결정 되 며,유형 이 확 정 된 과정 은 표현 식 의 식별 과 일치 합 니 다.
Vectmp 대상 은 논리 적 으로 도 나무 입 니 다.그 구성원 변 수 는 op1 입 니 다.op2_ 각각 좌우 아들 의 결점 이 고 나무의 내부 결점 은 하나의 연산 을 대표 하 며,잎 결점 은 조작 수 이 며,한 번 의 중간 순 서 를 옮 겨 다 니 며 얻 은 것 은 전체 표현 식 의 값 이다.
신기 한 boost::proto
expression template 는 좋 은 것 입 니 다.(expression SFINAE 처럼)컴 파일 할 때 매우 복잡 하고 재 미 있 는 유형 시스템 을 구축 하 는 데 도움 을 줄 수 있 습 니 다.그러나 분명히 모든 것 이 자신 이 처음부터 써 야 한다 면 이 기술 은 사용 하기에 매우 번 거 롭 고 고 통 스 러 울 것 입 니 다.다행히 템 플 릿 원 프로 그래 밍 은 정말 재 미 있 는 것 입 니 다.이미 많은 사람들 이 선구 적 인 일 을 했 습 니 다.boost proto 를 보 세 요.c++의 세계 에서 이상 한 세계 로 가 는 문 을 다시 열 었 습 니 다.