2010年1月20日
typedef的用途大家都是很熟悉的了，遇到很長的標識又不便閱讀和表示的時候，就可以
重新定義更有閱讀性和表現力的標識。那么，typedef是不是就像險惡的宏替換呢？開始我也
是這么認為的，直到看到一個例子。
1 typedef const* constPointer
2 int constPointer pSomeThing;
現在的問題是，指針pSomeThing是一個常指針呢，還是一個指向一個常量的可變指針？
答案可能會出乎一般人的意料。因為如果只是按照文本替換的語義，pSomeThing應該是一個
指向一個int常量的指針。可是實際上它是一個常指針，指向的int量的值是可變的。
這就是typedef和宏不同的地方。它在定義新的標識的時候，并不深入標識的內部判斷，
而是整個標識作為一個整體表達語義，因此，constPointer表達的是“常指針”的語義，const
限定符作用于指針之上。就是這么簡單。
posted @
2010-01-20 09:44 Leix 閱讀(353) |
評論 (0) |
編輯 收藏
2010年1月19日
模板函數不支持template template parameter。例如：
1 template< template<class T> class Foo>
2 void bar( Foo<T> test )
3 {
4 //do something 
5 }
注意，這是編譯不通過的，編譯器會提示說參數T無效。但是有時候咱們必須依賴T，怎么辦呢？
其實只要引入一個輔助的參數就可以啦：
1 template< template<class> class Foo, class T>
2 void bar( Foo<T> test )
3 {
4 //do something
5 }
posted @
2010-01-19 19:41 Leix 閱讀(211) |
評論 (0) |
編輯 收藏
2010年1月18日
學習C++有一段時間了，最近幾個月才有所心得，希望在這里和大家共同分享。
最近利用一點時間寫了一個matrix鍛煉一下自己，因為學習的時候都會用到，所以自己就隨便寫寫。中間學到不少。
比如，最奇怪的是，在我這個LMatrix<T>模板類里，直接使用setioflags會提示說“setioflags不是模板類，不支持模板參數”。
后來在書上看到，在頭文件加上
1 using std::setioflags
就完全沒有問題了。真是不得其解啊！
另外，intel C++ Compiler 11 在編譯的時候，沒有任何問題，但g++ 4.4.1(在ubuntu 9.10 下）卻有這么個提示：
1 template<typename T>
2 const LMatrix<T>::Matrix2p LMatrix<T>::lu_resolve() const
說在”<"之前要初始化LMatrix<T>，而Matrix2p只是LMatrix<T>里的一個嵌套類。我測試了這個函數，完全正常，只是g++ 不能編譯通過。期待高人解決之。
由于intel還不支持右值引用，所以代碼里的時髦函數子就只好處理掉了。
看了《efficient c++》，本來想把它的固定大小的內存池拿來直接用，結果發現最后釋放內存池的時候，崩潰了。代碼如下：
1 template<typename T>
2 class LMatrix
3 {
4 public:
5 //
6 // other functions
7
8 ///////////overload operator new and delete to use the memorypool////////////////
9 inline void* operator new(size_t size)
10 {
11 return memPool->alloc(size);
12 }
13
14 inline void operator delete(void* element, size_t size)
15 {
16 memPool->free(element);
17 }
18
19 static void newMemoryPool()
20 {
21 memPool = new ByteMemoryPool;
22 }
23
24 static void deleteMemoryPool()
25 {
26 delete memPool;
27 }
28 ////////////////////////////////////
29
30 private:
31 static ByteMemoryPool* memPool;
32 }
內存池LMemoryPool.hpp的代碼原樣引自《efficient C++》：
1 #ifndef L_MEMORYPOOL_H_
2 #define L_MEMORYPOOL_H_
3 #include "LMatrix.hpp"
4
5 template<typename T>
6 class LMemoryPool
7 {
8 public:
9 LMemoryPool(size_t size = EXPANSION_SIZE);
10 ~LMemoryPool();
11 inline void* alloc(size_t size);
12 inline void free(void* element);
13 private:
14 LMemoryPool<T>* next;
15 static const size_t EXPANSION_SIZE = 32;
16 void expandList(size_t listLength = EXPANSION_SIZE);
17 };
18
19 template<typename T>
20 LMemoryPool<T>::LMemoryPool(size_t size)
21 {
22 expandList(size);
23 }
24
25 template<typename T>
26 LMemoryPool<T>::~LMemoryPool()
27 {
28 LMemoryPool<T>* pNext = next;
29 for(pNext = next; pNext != NULL; pNext = next)
30 {
31 next = next->next;
32 delete[] pNext;
33 }
34 }
35
36 template<typename T>
37 void* LMemoryPool<T>::alloc(size_t size)
38 {
39 if(next != 0)
40 expandList();
41 LMemoryPool<T>* head = next;
42 next = head->next;
43 return head;
44 }
45
46 template<typename T>
47 void LMemoryPool<T>::free(void* element)
48 {
49 LMemoryPool<T>* head = static_cast< LMemoryPool<T>* >(element);
50 head->next = next;
51 next = head;
52 }
53
54 template<typename T>
55 void LMemoryPool<T>::expandList(size_t listLength)
56 {
57 size_t size = (sizeof(T) > sizeof(LMemoryPool<T>*))
58 ? sizeof(T) : sizeof(LMemoryPool<T>*);
59 LMemoryPool<T>* itr = reinterpret_cast< LMemoryPool<T>* >(new char[size]);
60
61 next = itr;
62
63 for(size_t i=0; i<listLength; ++i)
64 {
65 itr->next = reinterpret_cast< LMemoryPool<T>* >(new char[size]);
66 itr = itr->next;
67 }
68 itr->next = NULL;
69
70 }
71 #endif /*L_MEMORYPOOL_H_ */
測試的testMatrix.cpp用例如下：
1 #include "LMatrix.hpp"
2 LMemoryPool< LMatrix<int> >* LMatrix<int>::memPool = 0;
3 int main( )
4 {
5 const int size = 4;
6 LMatrix<int>* array[size];
7 LMatrix<int>::newMemoryPool();
8 for(int j=0; j<size / 2; ++j)
9 {
10 for(int i=0; i<size; ++i)
11 array[i] = new LMatrix<int>(8, 8);
12
13 for(int k=0; k<size; ++k)
14 delete array[k];
15 }
16
17 LMatrix<int>::deleteMemoryPool();
18
19 return 0;
20 }
21
一切正常直到上面測試程序的第17行，追蹤到內存池LMemoryPool.hpp的析構函數（第32行），發現它竟然被多次執行了。這不是很奇怪嗎？
類的靜態成員是全局共享的，這里只有一次調用，為什么會造成多次析構呢？期待高人。
posted @
2010-01-18 20:29 Leix 閱讀(221) |
評論 (0) |
編輯 收藏