Re: [語法] Template與Inheritance結合??

看板C_and_CPP (C/C++)作者godfat (godfat 真常)時間18年前 (2006/04/18 14:02)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串2/4 (看更多)

唔，還是講一下好了 ※ 引述《yoco315 (眠月)》之銘言： : 很簡單的繼承，Foo 繼承 Bar，沒有指明繼承的形式表示是 public 繼承。 ^^^^^^ 是 private 推文說了，建議修文 : ┌─────────────────────────── : │template < class T > : │class Foo : T : │{ : │ ... : │} ; : └─────────────────────────── : 看起來很玄，其實就是 Foo 繼承 T， : 不過這個 T 是個 template，我會說 T 是個 class 而非 template, 就像上篇我在推文說的理由出自 template template (or more template) parameter template < template <class> class T > class Foo; T 是什麼？不是 class, 是 template Foo<int> foo; // error, int is not template template <class T> class Bar; Foo<Bar> foo; // ok, Bar is template Bar<Bar> bar; // error, Bar is not class Bar< Bar<int> > // ok, Bar<int> is class 可以玩更複雜一點 template < template < template<class> class T > class U > class Test{}; template < template<class> class T > class Test2: private T<int>{}; // 寫 T 不行，因為不能繼承 template Test<Test2> test; // ok, Test2 is template template : Loki::Typelist 還有用到類似這樣的寫法 : ┌─────────────────────────── : │template < class T, class U > : │Foo : T < U > : │{ : │} : └─────────────────────────── 不對吧，Typelist 是這樣做的 template <class Head, class Tail> class Typelist{}; 然後是這樣串的 Typelist< int, Typelist<int, Typelist<int, Typelist<int, NullType> > > > 頭咬尾巴這樣你說的東西後述 : 這可以用來實作 Typelist 技術。 ^^^^^^^^ 是 Tuple : ┌─────────────────────────── : │template < typenamep T > : │class Holder : │{ : │ private: T value_ ; : │ public: T & value() { return value_ ; } : │} ; : │ : │typedef TYPELIST_3 ( Array2D, Array2D, Array2D ) RGB_Typelist ; : │typedef TYPELIST_3 ( Array2D, Array2D, Array2D ) HSV_Typelist ; : │typedef TYPELIST_3 ( Array2D, Array2D, Array2D ) Lab_Typelist ; : │typedef TYPELIST_4 ( Array2D, Array2D, Array2D, Array2D ) YMCK_Typelist ; : │ : │typedef Loki::GenScatterHierarchy < RGB_Typelist , Holder > RGB_Image ; : │typedef Loki::GenScatterHierarchy < HSV_Typelist , Holder > HSV_Image ; : │typedef Loki::GenScatterHierarchy < Lab_Typelist , Holder > Lab_Image ; : │typedef Loki::GenScatterHierarchy < YMCK_Typelist, Holder > YMCK_Image ; : └─────────────────────────── 參考 Loki::Tuple, 你說的這個跟 Loki::Tuple 做法很接近（其實算一樣了）而這裡的 Typelist 是用頭咬尾做的，GenScatterHierarchy 才是運用繼承技術不過真正的實作法很複雜，這裡就不說明了…（其實是我還沒完全看懂 Orz） : RGB_Image img ; : Loki::Field<0>(img).value() = ... : Loki::Field<1>(img).value() = ... : Loki::Field<2>(img).value() = ... Loki 的 Tuple 的 holder 是這樣寫的 template <class T> struct TupleUnit { T value_; operator T&() { return value_; } operator const T&() const { return value_; } }; 所以用 Loki::Tuple 的話是這樣寫 RGB_Image img; Field<0>(img) = 255; Field<1>(img) = 255; Field<2>(img) = 255; Loki:: 可以省略，因為 Koenig Lookup... : 真是酷！ : Loki::Typelist 會根據你給的 Typelist， : （就是一串型別，像是這樣 int, int, double, Foo, Bar ） : 使用遞迴繼承自己的方法，這是 GenScatterHierarchy... GenScatterHierarchy 會依照 Typelist 裡面的型別依序繼承 Typelist 就只是型別串列而已 : 實作細節有興趣的話可以看《Modern C++ Design》。 indeed... 不過看原始碼更快 http://sourceforge.net/projects/loki-lib 現在 0.14 了，裡面多一堆書上沒寫的東西 Sutter 的 Pimpl 也有（0.14 新增） ScopeGuard（0.13 新增）還有一堆有興趣自己看吧… -- Nobody can take anything away from him. Nor can anyone give anything to him. What came from the sea, has returned to the sea. Chrono Cross -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.138.19.204 ※ 編輯: godfat 來自: 140.138.19.204 (04/18 14:32)