クラステンプレートTとT&について

Question

コピーコンストラクタ内の
T& first()
が第１値v*のゲッタ兼セッタ
と説明があるのですが、
これがセッタとなるのは何故ですか？

また、
T first()
T& first()
の違いはなんですか？

教えていただけないでしょうか？
宜しくお願い致します。

template <class T> classs OrderedTrio{
    T v1, V2, V3;
・
・
・
}


   OrderedTrio(const T& f1=T(), const T& f2 = T(), const T& f3 = T())
      : v1(f1), v2(f2), v3(f3){sort();}

   OrderedTrio(const OrderedTrio<T>& t)
      : v1(t.first()), v2(t.second(), v3(t.third()){ }
   T  first() const {return v1;}  //第１値v1のゲッタ
   T& first()       {return v1;}　//第１値v1のゲッタ兼セッタ
   T  first() const {return v2;}　//第１値v2のゲッタ
   T& first()       {return v2;}　//第１値v2のゲッタ兼セッタ
   T  first() const {return v3;}　//第１値v3のゲッタ
   T& first()       {return v3;]　//第１値v3のゲッタ兼セッタ
};

Answer 1

OrderedTrio<int> v(1,2,3);
v.first() = 5;

なんてことすると(v.first()がint&を返すので)vのナカミが書き換わります。
つまりセッタにもなってると。

ただコレ、クラス名からして内包する3要素はソートされてます。
ナカミを書き換えてもソートを維持せんならんのなら
T set_first(const T& val) { v1 = val; sort(); return v1; }
なんてな実装を要するでしょね。

Comments

[Y.R.T]

基本的なことが分かっていなくてすみません。
もし、

T& first() const {return v1;}
T& first() const {return v2;}
T& first() const {return v3;}

の部分の記述が無ければどうなりますか‽

[episteme]

v.first() が左辺値じゃないので代入不可、コンパイルエラーでしょうね。

あ、
T& first() const は無理よ。
T first() const または const T& first() const じゃないと

[Y.R.T]

詳しく教えていただいてありがとうございます。
理解できました。

Answer 2

これがセッタとなるのは何故ですか？

メンバ変数の参照を返している(=メンバ変数を変更可能)からです。

T first()

T& first()
の違いはなんですか？

値返しと参照返しです。