跳到主要內容

C++ Const

作個小實驗。

void func_a(const int& a) {
  int& b = const_cast<int&>(a);
  b = 200;
  cout << a << ", " << &a << endl;
}

int main() {
  const int a = 100;
  cout << a << ", " << &a << endl;
  func_a(a);
  cout << a << ", " << &a << endl;
}

-------------------------------------------------
100, 0012FED4
200, 0012FED4
100, 0012FED4
-------------------------------------------------

可以看到,在func_a內,明明a的值已經被改成200了(可以由變數位址確認)。為了確認這一點,加上了第四個cout,如下。

cout << *(int*)&a << ", " << &a << endl;

-------------------------------------------------
100, 0012FED4
200, 0012FED4
100, 0012FED4
200, 0012FED4
-------------------------------------------------

可以看到第四個cout果然印出a的內容已改變為200。但是第三個cout卻是印出原來的值100,這是為什麼?答案在將程式反組譯,從組合語言的層面來看就很明顯了。

cout << a << ", " << &a << endl;
0041E6B2 push offset std::endl (41C528h)
0041E6B7 lea eax,[a]
0041E6BA push eax
0041E6BB push offset string ", " (4570C8h)
0041E6C0 push 64h
0041E6C2 mov ecx,offset std::cout (460888h)
0041E6C7 call std::basic_ostream<char,std::char_traits<char> >::operator<< (41C663h)
0041E6CC push eax
0041E6CD call std::operator<<<std::char_traits<char> > (41CB8Bh)
0041E6D2 add esp,8
0041E6D5 mov ecx,eax
0041E6D7 call std::basic_ostream
0041E6DC mov ecx,eax
0041E6DE call std::basic_ostream<char,std::char_traits<char> >::operator<< (41CBB8h)

注意紅色那行指令。編譯器直接把100(64h)這個常數值push進堆疊,而不再從常數變數a裡取出值來。這就是為什麼在func_a內,a的值已被改變,最後卻還印出原來的值的原因。

留言

  1. 非常有趣的一個實驗
    這個例子正好可以用來驗証 c++ 'volatile' 這個關鍵字的效果
    將 main 函式中的變數 a 宣告改為
    volatile const int a
    然後將 func_a 的第一個參數宣告也加上 volatile
    之後再編譯運行程式就會有不一樣的結果

    我原以為 volatile 的用途大部分是用來配合 multithread 實作,看了你的例子之後才發現原來自己的理解有誤,單一 thread 也會有需要使用的時機

    回覆刪除
  2. volatile其中一個用途是對變數修飾,避免編譯器最它最佳化後造成問題,舉個簡單例子。

    int a;
    a=1;
    a=1;
    a=1;
    a=2;
    ...

    編譯後,前面三條a=1都會因為最佳化而消失。解決辨法就是加上volatile來修飾變數a。

    回覆刪除

張貼留言

這個網誌中的熱門文章

KillSudoku 4顆星精彩數獨詳解 - 鍊技巧

這題數獨(sudoku)題目估計為4+顆星,有點難度。解題需要應用多種技巧,過程非常精彩有趣,是個好題。 底下使用 KillSudoku 作詳細圖解。 1,使用基本排除法則,可以簡單填入6個數字。到此為止,開始使用 候選數法 來解題。如下所示,為填入6個數字後的狀態圖。 2,如下圖,使用進階排除法,在第9列和第4行可以先排除幾個候選數。 3,如圖,在第2行有一個 Naked Subset (3,4),可以對3,4候選數作排除。附帶提一下,反過來看在同一行裡面也可以說有另一個Hidden Subset(2,5,8)存在。Naked Subset和Hidden Subset常是一體二面同時存在,只不過對我們來說,Naked Subset是相對比較容易看的出來。 排除第2行的3,4後,又可以對第2列以外的3作排除,如下圖。 4,接著,在第5行又發現了一個 Naked Subset (3,7,8)。 對第5行三個Subset以外的候選數3,7,8作排除後,又接著產生可以對第5行以外的3作排除。 5,這一題解到此為止,開始進入高潮。大部份能解到3顆星題目的人,猜想應該就此卡住。以下開始需要應用更高級的鍊技巧,才能夠繼續進行。 應用X-Chains鍊技巧,可以找到一條由4條強連結組成的鍊,可以排除候選數2。這裡的鍊指的是由2條以上的強連結組成,而所謂的強連結是指在同一行、或同一列或同一個Box裡,由唯二的候選數構成的連結。如上圖中的第9行中,只有二個2,這二個2構成一條強連結。為什麼說這是一條強連結?因為在這條連結的AB二個端點中,肯定會有一個2存在,要麼是A點要麼是B點。鍊技巧就是將多條強連結串連起來作候選數排除的技巧,而X-Chains是高級的鍊技巧裡面的基本技巧。 接上圖,這樣一來就又可以應用基本排除方法,填入3個數字,如下圖所示。 6,接下來就是本題最精彩的部份,以下需要連續找到3條鍊,才能繼續往下解。 7,找出3條鍊後,剩下來的部份就沒什麼特別的了,只需要應用基本法就能把所有剩餘數字填完。

單人撲克牌遊戲 - 蒙地卡羅

新增一個簡單的單人撲克牌遊戲: 蒙地卡羅 ,簡單介紹一下玩法。 下載 事先排列好5x5張牌。 每次移動一張可以配對的牌,並消除這對牌。在上下、左右及斜向相隣的二張牌,只要擁有同樣數字(不計花色),即可配對。 消除二張配對的牌後,剩餘的牌以往左往上的方式補滿空隙,接著在發新牌補滿後面的空格。 重覆步驟2~3,直到沒有牌可以配對及發完所有牌為止。 結果有二種。一個是勝利,成功的消除掉所有牌。另一個是Gameover沒有牌可以再作配對。

KillSudoku 4顆星精彩數獨 (三) - XY-Chains

這是數獨解題技巧裡面的高級技巧,比X-Chains還再高一點點。會這個技巧的話,就可以解4或5顆星的題目了。 這個用來測試的題目,用 KillSudoku 來解可以解出,中間使用了2次Naked Subset,1次 W-Wings ,1次 X-Chains ,2次 XY-Chains 。所以算起來,這一題應該是有5顆星的題目。 附帶一提,目前找鍊的演算法並沒有去找一條最短的鍊,所以可以看到用 KillSudoku 解的時候,第36的步驟找到一條超長的鍊,這條鍊足足由13條連線構成,要是沒練過的話,絕對頭昏眼花,找不出這樣的鍊來的。 實際上在這個步驟裡,是可以找到另一條更短的鍊。不過目前以先能work,之後有空會再改進演算法的部份。