Re: [問題] 請問STL的stack

看板C_and_CPP (C/C++)作者khoguan (Khoguan Phuann)時間19年前 (2005/08/27 21:34)推噓4(4推 0噓 3→)

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

※ 引述《renderer (rendering)》之銘言： : ※ 引述《khoguan (Khoguan Phuann)》之銘言： : : #include <stack> : : #include <string> : : #include <algorithm> : : using std::stack; : : using std::string; : : using std::swap; : : stack<string> piles[52]; : : // 對這 52 個堆疊進行翻天覆地的操作 : : // 分別推進了許許多多數量不等的字串。 : : // 以下是泥牛入海法 : : for(int i=0; i<52; ++i) { : : stack<string> emp; : : swap(emp, piles[i]); : : } std::swap() 裡面的操作主要就是做一般 swap 時標準的三個 assign 動作。但對上面那個程式來說，實在是多做了兩個不必要的動作。所以我寫了這個，後面又接著說，要這樣做還不如直接 piles[i] = stack<string>(); 還更快。至於若是屬於某個 Container 專用的 swap() member function, 那就沒那麼單純了，能利用就要好好利用。 // GNU g++ libstdc++ 的 std::swap() 定義在 bits/stl_algobase.h 中 template<typename _Tp> inline void swap(_Tp& __a, _Tp& __b) { // concept requirements 這個後面會提一下 __glibcxx_function_requires(_SGIAssignableConcept<_Tp>) const _Tp __tmp = __a; __a = __b; __b = __tmp; } : 敢問 std::swap 的源碼 : std::stack<TYPE> 不是沒有 assignment 嗎 : 為何可以 swap 呢 : 另外 std::stack<TYPE> 之所以沒有 assignment : 是因為 stack : Last In First Out 操作原則的關係嗎 : 還是另有原因 stack 預設是「包裹」deque，deque 有提供 operator= stack 只是一層薄外衣，裡面的 data element 就是一個 protected deque suboject 而已。使用 compiler generated default copy assignment operator 便足以讓 stack 做 assign 的操作，不需另外宣告、定義。 libstdc++ 的 "concept" checking 預設沒開，我把它打開來， (cygwin是在 /lib/gcc/i686-pc-cygwin/3.4.4/include/c++/i686-pc-cygwin/bits/c++config.h 檔中，將 #define _GLIBCXX_CONCEPT_CHECKS 1 這一行 uncomment，存檔以後，就可以了。其他系統上的 libstdc++ 就 locate 一下 c++config.h 這個檔的位置。）如此，可以在編譯時更確保我們丟給它的參數型別，符合 STL 的要求。像這個 std::swap() 檢查的就是其參數的型別要能滿足 Assignable 的性質。編譯沒問題，可以相當放心的認定我前面的推論。所以，我們不必因為看它沒有明白的提供 operator= ，就立即認定不能做 copy assignment :-) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.130.208.168