添え字演算子を呼ばれ方によってオーバーロード出来るか

Question

実現したいこと

my_vector<int> vec(10, -1);
vec[i] = 0;
int v = vec[i];
のようなコードで、2行目と3行目の添え字演算子を別の関数として実装する事は出来るのでしょうか

イメージとしては下のような感じです

該当のソースコード

#include<bits/stdc++.h>

template<class T>struct my_vector {
    std::vector<T> V;

    my_vector(int n = 0, int v = 0) : V(n, v) {}

    //a
    //値が代入される際に呼ばれる
    int &operator[](int i) {/*処理*/}

    //b       
    //上以外の場合に呼ばれる
    const int operator[](int i) { /*処理*/}
};

int main() {
    my_vector<int> V(10, -1);
    V[0] = 1;     //aを呼ぶ
    int v = V[0]; //bを呼ぶ

    return 0;
}

補足情報（FW/ツールのバージョンなど）

gcc, c++17

Answer 1

（略）2行目と3行目の添え字演算子を別の関数として実装する事は出来るのでしょうか

C++言語の仕様上、直接的には実現不可能です。

---

どうしてもというのであれば、プロキシ(proxy)クラスを用意すれば分岐自体は可能です。個人的には、そもそものmy_vectorクラス設計を見直すことをお勧めします。
https://wandbox.org/permlink/J1VHjYdUY09YnJOI

template<class T>
struct my_vector {
    std::vector<T> V;

    my_vector(int n = 0, int v = 0) : V(n, v) {}

private:
    struct proxy {
      my_vector& vec;
      int idx;

      // a 代入構文v[i] = val
      my_vector& operator=(T val) {
        std::cout << "a\n";
        vec.V[idx] = val;
        return vec;
      }

      // b 上記以外
      operator int() const {
        std::cout << "b\n";      
        return vec.V[idx];
      }
    };

public:
    proxy operator[](int i)
      { return {*this, i}; }
};

Comments

[baito]

なるほど！簡潔で考えていない方向からの実装だったため感動しました
ありがとうございます

ちなみにセグメントツリーのupdateとgetに使う予定でした

[yohhoy]

このような実装は一種の「トリック」ですから、微妙なエッジケースで問題になったり不可解な動作不具合を引きこす可能性も否めません。
想定されているケースでは、操作対象に対して直接 update や get を行う自前関数を別途用意したほうがよいかもしれませんね。

Answer 2

その 2つのメンバ関数は、返却値の型のみが異なるだけで引数は全く同じです。
引数が同じ関数は 2つ宣言することはできません。
次のようにすることによって 2つ宣言できるでしょう。

    int& operator[](int i) {/*処理*/}
    int  operator[](int i) const { /*処理*/}

Comments

[SHOMI]

この場合両方上が呼ばれますよね