編譯器優化「常量傳播」是什麼意思？

從有效的C++斯科特邁爾斯：編譯器優化「常量傳播」是什麼意思？

template<typename T, std::size_t n> 
class SquareMatrix: private SquareMatrixBase<T> { 

public: 

    SquareMatrix() 
    : SquareMatrixBase<T>(n, 0), 
     pData(new T[n*n]) 
    { 
     this->setDataPtr(pData.get()); 
    } 

     ... 
private: 

    boost::scoped_array<T> pData; 
};

無論數據被存儲其中，從膨脹角度來看關鍵結果是，現在許多 - 說不定所有 - 方陣的構件的函數可以是簡單的內聯調用到共享的基類版本與所有其他矩陣保持相同類型的數據，無論它們的大小爲。與此同時，方陣不同大小的對象是不同的類型，因此，即使，例如，方陣<雙，5>和方陣<雙，1 0>對象使用在同一成員函數SquareMatrixBase <雙>，沒有通過 SquareMatrix < double，5>對象到函數期望的機會 SquareMatrix < double，10>。很好，不是嗎？

不錯，是的，但不是免費的。與基質轉化的尺寸硬連線到他們的版本是可能產生比共享版本，其中尺寸爲函數參數傳遞或存儲在對象更好的代碼。例如，在特定尺寸版本，大小將編譯時間常數，因此享有這樣的優化如常數傳播，包括它們的被摺疊到產生指令作爲立即操作數。這不能在大小無關的版本中完成。

在最後一段上面的描述中也提及爲「因此享有這樣的優化恆定傳播，包括它們被摺疊到生成的指令作爲立即操作數」。這個說法是什麼意思？請求解釋這一點。

謝謝！

來源

2011-02-08 venkysmarty

http://en.wikipedia.org/wiki/Constant_propagation – 2011-02-08 15:31:09

常量傳播是一個非常簡單的（原則上）優化留給編譯器。

size_t radius = 5; 
size_t diameter = 2*radius; 
float perimeter = diameter * 3.1416f;

這將是由編譯器減小通過傳播常數：

通知說的radius值是已知
執行的2*radius計算（這是恆定的摺疊）
因此diameter的值是已知的
執行計算diameter * 3.1416f
因此的perimeter值是已知的

該方案是這樣等同於：

size_t radius = 5; 
size_t diameter = 10; 
float perimeter = 31.416f;

注意，還有很多其他形式的優化的，例如，如果radius和diameter現在沒有需要更長時間，我們可以刪除它們，只保留perimeter。

來源

2011-02-08 15:41:19

如果你有原來的代碼，如：

b==7; 
a==10;

這就是所謂的常量傳送和常量摺疊：

a:=3; 
b:=4; 
b+=1; 
b+=2; 
a:=a+b;

那麼語句可以通過編譯器優化的。

來源

2015-05-31 03:49:47 Catherine

編譯器優化「常量傳播」是什麼意思？

回答

相關問題