在抽象的最高層次上，const做兩件事:

* 一種保護你自己的方式(類似于private)

* 對編譯器的一種指示，表明標(biāo)記為const的對象適合于程序的數(shù)據(jù)段。換句話說，屬于只讀數(shù)據(jù)(ROM-able)。

可以通過例子來看下const的應(yīng)用。第一個例子中，使用const覆蓋了整個例子：

void fun(int i, std::string const & str)
{
 i = 0;     //ok.
 str = "";    //error!
 int const n = 42;
 n = 2;     //error!
}

第二種情況只適用于靜態(tài)初始化的名稱空間-作用域變量(又稱全局變量):

int const pi = 3; //ROM-able
std::vector<int> const ivec = {/* ... */}; //Not ROM-able, might allocate.

對聲明為const的變量的任何寫操作都被顯示為未定義行為。這支持const全局變量在ROM中的位置。

如果一個變量定義在ROM中，對它的寫操作很可能會使程序崩潰，這取決于平臺。如果一個變量不在ROM中，對它的寫操作只會改變它的值。這兩種情況的結(jié)合就是為什么對const變量執(zhí)行寫操作的行為是未定義行為而不是錯誤。

如果真的需要改寫一個const變量的值，可以通過`const_cast`來改寫：

void fun(int i, std::string const & str)
{
 i = 0; //ok.
 const_cast<std::string &>(str) = ""; //Also ok (maybe).
}

然而，const_cast并不能避免你在嘗試寫入聲明為const的變量時永遠不會遭遇未定義行為的陷阱。

std::string str = "";
fun(0, str); // Ok.
std::string const const_str = "";
fun(0, const_str); // Undefined Behavior!!

因此，只有在確實需要時才使用const_cast，并且只有在知道要寫入的底層變量是如何聲明的情況下才使用。

**那么，究竟在什么時候什么地方使用const?**

答案就是**Everywhere**。將每個變量聲明為const，除非您知道它將被寫入。更一般地，在編譯器接受的任何地方添加const。

int foo(int arg)
{
 int const x = compute_intermediate_result(arg);
 int const y = compute_other_intermediate_result(x);
 return something_computed_from(x, y);
}

優(yōu)化器視角下的const

為了優(yōu)化目的，編譯器通常不能使用一致性進行優(yōu)化。

int get_value(some_class const & x, int const at)
{
 int offset = compute_offset(at);
 return x[offset];
}

此時，在這些函數(shù)參數(shù)中使用const對優(yōu)化器沒有幫助。x上的const不起作用，因為x已經(jīng)通過引用傳遞了。沒有x的副本，編譯器不知道x是否聲明為const。在參數(shù)at上的const不能幫助我們，因為at是一個拷貝，它可以以任何方式裝入寄存器。
如果編譯器可以看到const對象的聲明，它有時可以使用其一致性進行優(yōu)化。

std::vector<int> const vec = { 1, 2, 3 };

int main()
{
 // This may generate code that indexes into vec, or it may generate
 // code that loads an immediate 2.
 return vec[1];
}

如果您想保證這樣的優(yōu)化，您可以在c++11或以后的版本中使用constexpr。使用constexpr聲明的變量只對可以靜態(tài)初始化的類型進行編譯，因此，如果編譯了它，就會得到一個ROM-able的對象。

constexpr std::array<int, 3> arr = { 1, 2, 3 };

int main()
{
 // This generates code that loads an immediate 2 on every
 // compiler I tried.
 return arr[1];
}

constexpr只處理字面常量類型(literal types)。這些類型與你可能在C中找到的類型相似。任何被聲明為const的int或其他整數(shù)值都可以像文字一樣使用。

void foo(int const arg)
{
 int const size = 2; 

 int array_0[2];  // Ok.
 int array_1[arg]; // Error! arg is a runtime value.
 int array_2[size]; // Ok.
}

靜態(tài)const類成員

如果聲明一個類成員static const，就很像聲明一個全局const變量。

int const global_size = 3;

struct my_struct
{
 static int const size = 2;
};

std::array<int, global_size> make_global_array()
{ return {}; }

std::array<int, my_struct::size> make_my_struct_array()
{ return {}; }

但因為這是c++，所以有個問題。如果定義的static const整數(shù)值超越界限，則它可能無法被當(dāng)作字面常量使用，例如一下的例子。

struct my_struct
{
 static int const size;
};

std::array<int, my_struct::size> make_my_struct_array() // Error!
{ return {}; }

int const my_struct::size = 2;

這是的錯誤時因為編譯器在解析foo()時不知道要為my_class::size使用什么值。如果你希望像使用全局const整數(shù)值一樣使用static const整數(shù)值，請始終將它們聲明為內(nèi)聯(lián)(inline)。

總結(jié)

到此這篇關(guān)于C++中const的文章就介紹到這了,更多相關(guān)C++中的const內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

1. Use const to protect yourself from silly mistakes, and use it everywhere.

2. You can use const on globals that you want in ROM, but prefer constexpr.

3. Use const_cast sparingly, or not at all.

4. When you do use const_cast, be careful of the UB that might result, including crashes.

5. Use const globals and stack variables instead of macros for named values that are "as good as literals".

6. Define static const integral data members inline, if possible.

最新評論