[分享] typedef dereference of a type

看板C_and_CPP (C/C++)作者yoco315 (眠月)時間15年前 (2010/12/31 02:28)推噓8(8推 0噓 6→)

留言14則, 5人參與討論串1/5 (看更多)

最近寫個東西，遇到一個需求， template < typename IterType > class Foo { typename ??? ValueType ; } ; 就是我希望當使用者 class Foo<int*> 的話， class Foo<int*>::ValueType 要是 int ; 我希望編譯器可以幫我導出 IterType 解參照(dereference)之後的型別。想了一下我還真想不到怎麼寫 -_-|| 如果說 IterType 一定都是指標的話，那事情還好辦，我可以透過特化得到 ValueType， template < typename ValueType > class Foo < ValueType* > { ... } ; 但是 IterType 也可能是有覆載 operator* 的自定型別，這種特化就抓不到了。想了一下可能可以使用 c++0x 的 decltype 來幫忙，於是嘗試了一下以下寫法： template < typename IterType > class Foo { typedef decltype (*IterType) ValueType ; } ; 編譯器報錯，說 decltype 裡面必須是個 expression，而 *IterType 並不是 expression。又嘗試了 template < typename IterType > class Foo { IterType i ; typedef decltype (*i) ValueType ; } ; 成功了，但是這樣我的 class 就多了一個我不要的 IterType 物件。而且感覺很智障，想了一下，可以把這個東西抽離。變成這樣 template < typename T > struct dereference { T v ; typedef decltype(*v) type ; } ; template < typename IterType > class Foo { IterType i ; typedef dereference<IterType>::type ValueType ; } ; 這樣就 Foo 看起來就聰明多了，而我反正根本不會去具現化 dereference，所以也不會有什麼 T 真的生出來，但是這個寫法還是有問題，因為 T 可能沒有 public default constructor。編譯便不會過。又想了一下，最後改成 template < typename T > struct dereference { T dummy() ; typedef decltype(*dummy()) type ; } ; template < typename IterType > class Foo { IterType i ; typedef dereference<IterType>::type ValueType ; } ; 搞不好大家早就知道更簡單的做法了 -_- 我自己發明輪胎，只是我 Google 找不到 Orz -- To iterate is human, to recurse, divine. 遞迴只應天上有, 凡人該當用迴圈. 　 L. Peter Deutsch -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.160.114.69