《c++入門經典》筆記10
第十章 創建指標
10.1理解指標及其用途
變數是可存盤一個值的物件:整型變數存盤一個數字,字符變數存盤一個字母,而指標是存盤記憶體地址的變數,
計算機記憶體是存盤變數值的地方,根據約定,計算機記憶體被劃分成按順序編號的記憶體單元,每個記憶體單元都有對應的地址,記憶體中,不管其型別是什么,每個變數都位于特定的地址處,
記憶體編址方案隨計算機而異,通常,程式員無須知道變數地址,如果想要獲取地址資訊,可使用地址運算子&
程式清單10.1 Address.cpp
#include<iostream>
int main()
{
unsigned short shortVar = 5;
unsigned long longVar = 65535;
long sVar = -65535;
std::cout<<"shortVar:\t"<<shortVar;
std::cout<<"\tAddress of shortVar:\t"<<&shortVar<<"\n";
std::cout<<"longVar:\t"<<longVar;
std::cout<<"\tAddress of longVar:\t"<<&longVar<<"\n";
std::cout<<"sVar:\t"<<sVar;
std::cout<<"\tAddress of sVar:\t"<<&sVar<<"\n";
}

(地址默認以16進制表示法輸出的)
您運行該程式時,變數的地址將不同,因為這取決于記憶體中存盤的其他內容以及可用的記憶體有多少,
在指標中存盤地址
每個變數都有地址,即使不知道變數的具體地址,也可將該地址存盤在指標變數中,
int howOld = 50;
int* pAge = nullptr;//初始化一個int型空指標變數,這樣能更明顯看出來pAge型別是int*,但c/c++的標準寫法是int *pAge
pAge = &howOld;//將howOld的地址取出來放入指標變數pAge中
間接運算子
間接運算子(*)又被稱為解參考運算子,對指標解除參考時,將獲取指標存盤的地址處的值,
int howOld = 50; int* pAge = &howOld; int yourAge; yourAge = *pAge;//yourAge的值變成了50 *pAge = 10;//howOld的值變成了10,而yourAge的值還是50指標pAge前面的間接運算子(*)表示“存盤在......處的值”,這條賦值陳述句的意思是,從pAge指向的地址處獲取值,并將其賦給yourAge,看待這條陳述句的另一種方式是,不影響指標,而是影響指標指向的內容(比如上面最后一條陳述句),
使用指標操作資料(其實上面那個例子就是)
程式清單10.2 Pointer.cpp
#include <iostream>
int main()
{
int myAge;
int *pAge = nullptr;
myAge = 5;
pAge = &myAge;
std::cout << "myAge: " << myAge << "\n";
std::cout << "*pAge: " << *pAge << "\n\n";
std::cout << "*pAge = 7\n";
*pAge = 7;
std::cout << "myAge: " << myAge << "\n";
std::cout << "*pAge: " << *pAge << "\n\n";
std::cout << "myAge = 9\n";
myAge = 9;
std::cout << "myAge: " << myAge << "\n";
std::cout << "*pAge: " << *pAge << "\n";
}

查看存盤在指標中的地址:
程式清單10.3 PointerCheck.cpp
#include <iostream>
int main()
{
unsigned short int myAge = 5, yourAge = 10;
unsigned short int *pAge = &myAge;
std::cout << "pAge: " << pAge << "\n";
std::cout << "*pAge: " << *pAge << "\n";
pAge = &yourAge;
std::cout << "after reassign the pAge point to yourAge : "
<< "\n";
std::cout << "pAge: " << pAge << "\n";
std::cout << "*pAge: " << *pAge << "\n";
return 0;
}

為何使用指標
熟悉指標的語法后,便可將其用于其他用途了,指標最長用于完成如下三項任務:
- 管理堆中的資料;
- 訪問類的成員資料和成員函式;
- 按參考將變數傳遞給函式
10.2堆和堆疊
(這部分其實如果有一點資料結構或者作業系統基礎更好)
程式員通常需要處理下述五個記憶體區域
- 全域名稱空間
- 堆
- 暫存器
- 代碼空間
- 堆疊
區域變數和函式引數存盤在堆疊中,代碼當然在代碼空間中,而全域變數在全域名稱空間中,暫存器用于記憶體管理,如跟蹤堆疊頂和指令指標,幾乎余下的所有記憶體都分配給了堆,堆有時也被稱為自由存盤區,
區域變數的局限性是不會持久化,函式回傳時,區域變數將被丟棄,全域變數解決了這種問題,但代價是在整個程式中都能訪問它,這導致代碼容易出現bug,難以理解與維護,將資料放在堆中可解決這兩個問題,
每當函式回傳時,都會清理堆疊(實際上,開始呼叫函式時,堆疊空間進行壓堆疊操作;函式呼叫完時,堆疊空間進行出堆疊操作),此時,所有的區域變數都不在作用域內,從而從堆疊中洗掉,只有到程式結束后才會清理堆,因此使用完預留的記憶體后,您需要負責將其釋放(手動GC),讓不再需要的資訊留在堆中稱為記憶體泄露(垃圾滯留),
堆的優點在于,在顯示釋放前,您預留的記憶體始終可用,如果在函式中預留堆中的記憶體,在函式回傳后,該記憶體仍可用,
以這種方式(而不是全域變數)訪問記憶體的優點是,只有有權訪問指標的函式才能訪問它指向的資料,這提供了控制嚴密的資料介面,消除了函式意外修改資料的問題,
關鍵字new
在c++中,使用new關鍵字分配堆中的記憶體,并在其后指定要為之分配記憶體的物件的型別,讓編譯器知道需要多少記憶體,比如
new int分配4位元組記憶體,關鍵字new回傳一個記憶體地址,必須將其賦給指標,
int *pPointer = new int;//指標pPointer將指向堆中的一個int變數 *pPointer = 72;//將72賦值給pPointer指向的堆記憶體變數
關鍵字delete
使用好了分配的記憶體區域后,必須對指標呼叫delete,將記憶體歸還給堆空間,
delete pPointer;對指標呼叫delete時,將釋放它指向的記憶體,如果再次對該指標呼叫delete,就會導致程式崩潰(delete野指標),洗掉指標時,應將其設定為nullptr,對空指標呼叫delete是安全的,
Animal *pDog = new Animal; delete pDog;//釋放記憶體 pDog = nullptr;//設定空指標 delete pDog;//安全行為
程式清單10.4 Heap.cpp
#include <iostream>
int main()
{
int localVariable = 5;
int *pLocal = &localVariable;
int *pHeap = new int;
if (pHeap == nullptr)
{
std::cout << "Error! No memory for pHeap!!";
return 1;
}
*pHeap = 7;
std::cout << "localVariable: " << localVariable << std::endl;
std::cout << "*pLocal: " << *pLocal << std::endl;
std::cout << "*pHeap: " << *pHeap << std::endl;
delete pHeap; //此處只是釋放了堆中new分配的記憶體,并沒有洗掉指標,所以下面可以接著用,
pHeap = new int;
if (pHeap == nullptr)
{
std::cout << "Error! No memory for pHeap!!";
return 1;
}
*pHeap = 9;
std::cout << "*pHeap: " << *pHeap << std::endl;
delete pHeap; //再次釋放new出來的記憶體
return 0;
}

另一種可能無意間導致記憶體泄露的情形是,沒有釋放指標指向的記憶體就給它重新賦值,
int *pPointer = new int; *pPointer = 72; pPointer = new int; *pPointer = 50;//指標變數指向了一個新new出來的存有50的int型變數,但是之前那個存有72的堆記憶體變數還沒被釋放,也就造成了記憶體泄露上述代碼應該修改成這樣:
int *pPointer = new int; *pPointer = 72; delete pPointer; pPointer = new int; *pPointer = 50;
也就是說一個不存在記憶體泄露的c++程式至少其new與delete是成對的,或者說是數量相等的,(這可苦了c艸程式員咯!)
空指標常量:
在較早的c++版本中,使用0或者NULL來設定指標為空值,
int *pBuffer = 0;
int *pBuffer = NULL;
但是其實因為定義NULL的陳述句是一個預處理宏:
#define NULL 0
所以其實NULL和0一個意思,上面兩句也是一個意思,
但是當某個函式進行了多載,引數有指標型別也有int型的時候,傳了一個值為0的空值指標進去,這個時候會出現二義性:
void displayBuffer(char*);//這個函式的引數是char型指標變數
void displayBuffer(int);
如果將空指標作為引數去呼叫,那么會呼叫displayBuffer(int),這個時候就會造成運行與預期不同,
所以才應該使用關鍵字nullptr
int *pBuffer = nullptr;
程式清單10.5 Swapper.cpp
#include <iostream>
int main()
{
int value1 = 12500;
int value2 = 1700;
int *pointer2 = nullptr;
pointer2 = &value2;
value1 = *pointer2;
pointer2 = 0;
std::cout << "value = https://www.cnblogs.com/adapter-chen/p/" << value1 << "/n";
return 0;
}

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/1846.html
標籤:C++
上一篇:用C++實作:末尾0的個數
下一篇:《c++入門經典》筆記11
