C++ Primer抄書筆記（二）——變數和基本類型（下）

四、const限定符【引用/指針/頂層/常量表達式】

const對象值不變，必須初始化，能完成此type的大部分operation。

一般，多文件獨立變數，編譯初始化僅文件內有效；

除非，（條件：初值不是常量表達式 and 聲明+定義 都有 extern）；

//file.h
extern const int bufSize;
//file.cc
extern const int bufSize=fcn();

//引用reference to const

不可通過此reference改變object的值。

ps：這並不代表，不可以通過其他reference來改變object的值。

“常量引用”：引用bind對象，本身就不可能再去bind其他對象了，so引用必是const的；reference本身不是object，變不了。

const type & 可以綁定任何表達式，甚至可以打破類型限制——但非法；

double dVal=3.14;
const int &ri=dVal;
//原理
const int temp=dVal;
const int &ri=temp;
//temp，即 臨時量 temporary

//指針

pointer to const 指向常量的指針：存const type的object的address只能用它。

ps：這並不代表，它只能存const type的object的address；即不變的是object，pointer隨意。

so：reference/pointer to const 只是它們自以為自己 to const 了。

const pointer 常量指針：不變的是pointer，即不可以通過pointer來改變object的值。

ps：不變的是初始化了的address，object隨意。

double dVal=3.14;
const double cd=3.141592;
const double *pcd=&dVal;
const double *const pcdc=&cd;

從右向左，pcdc是const pointer point to const double。

//頂層const

top-level const：必是object，任意type適用。

low-level const：引用和pointer to const。

const int ci=42;
const int *pci=&ci;//low
const int &r=ci;//low
const int *const pci_=pci;//第一個const是low，第二個const是top

ps：low-level const 拷貝限制：二者都要底層const資格且可類型轉換。【難搞哦】

//常量表達式const expression

編譯時得值，且值不變。

角度刁鑽，不方便使用，提供constexpr聲明語句（可定義變數和函數）->供編譯器提前驗證其值是否是const expression。

constexpr的定義範圍：算數類型、引用、指針（初值nullptr/0/pointer to const，僅對pointer有效即頂層）；一般在函數體外，函數體內可定義有效範圍超出函數體的變數【比較魔幻】

const int *p=nullptr;　　 //p是 pointer to const int
constexpr int *q=nullptr;//q是 const pointer to int

ps：constexpr會把其object置為頂層const。

五、處理類型【類型別名/auto/decltype】

//類型別名type alias

typedef double wages;
typedef wages base,*p;

複合類型/常量：typedef定義的是類型別名，此聲明符包含類型修飾符。

typedef char *pstring;
const pstring *ps;
const pstring cstr=0;
const char *cstr=0;//和樓上不是一個意思

C++11，別名聲明alias declaration：

using SI=Sale_item;

//auto->讓編譯器替你分析（through 初始值）表達式所屬類型。

auto定義的變數必須有初始值，且同一條聲明中所有變數base type必須相同，類型修飾符不算。

auto i=0,*p=&i;
auto sz=0,pi=3.14;//錯

 auto會忽略頂層const，保留底層const。

int i=0;    
const int ci=i,&cr=ci;    
auto d=&i;    //d是指向int型pointer
auto e=&ci;    //e是指向const int型pointer
const auto f=ci;  //f是const int
auto &h=42;　　　　//error：非常量引用不能bind字面值
const auto &j=42; //常量引用可以bind字面值
auto k=ci,&l=i;    //k是int，l是int型引用
auto &m=ci,*p=&ci;    //m是const int型ci的引用，p是指向const int型 ci 的指針
auto &n=i,*p2=&ci;    //error：n是int型i的引用，p2是指向const int型i的指針

設置一個類型為auto的引用時，初始值中的頂層常量屬性任然保留。和往常一樣，如果我們給初始值綁定一個引用，則此時的常量就不是頂層常量了。【不懂】

//decltype->要表達式的返回類型，但不要值，使目標初始化。

編譯器分析表達式並得到它的類型，但不算值。

若，表達式是變數，返回變數type（包括頂層const和引用）：

const int ci=0,&cj=ci;
decltype(ci) x=0;
decltype(cj) y=x;//此處cj就是cj，而不是ci，即y綁定x

若，表達式不是變數，返回結果對應類型：

int i=42,*p=&i,&r=i;
decltype(r+0) b;//b是int型
decltype(*p) c;//error：c是int&，必須初始化

若，多加一對（），即decltype（（xxx）），編譯器會誤以為其是表達式，而返回引用類型（因為賦值語句左值是變數）：

decltype((i)) d;//error：d是int&，必須初始化

六、自定義數據結構【.../頭文件/預處理器】

struct/class什麼什麼的。

ps：可為類內的data member提供一個類內初始值in-class initializer。

//頭文件

包含那些只能被定義一次的實體。

隱式多次包含->預處理，保證程式安全正常工作。

//預處理器preprocessor->頭文件保護符header guard

#include，編譯前執行，改變部分程式

預處理變數：已定義/未定義，必須唯一，一般大寫

#define：設定預處理變數；

#ifdef/#ifndef：變數已定義，為真/變數未定義，為真；

#endif：為止；

#ifndef SALES_DATA_H
#define SALES_DATA_H
#include <string>
struct Sales_data{
    std::string bookNo;
    unsigned units_sold;
    double revenue=0.0;
};
#endif