智能指針(smart pointers)，是一種加限制的近委托機制（相當于老師的管理），其中包含普通指針（相當于學生的自主）。它將指針對象化，返回X類指針控制X類型對象（通常顯式含有一個X類型指針成員）；優點在于X類指針成員共享內存分配，可防懸掛，采用引用計數，無指針指向時才析構。
當然，也可在定義拷貝賦值時分配新存儲空間，使不共享，就完全無此問題。但此時需重定義分配內存的構造函數與拷貝構造函數，對賦值函數不需改變，也無須檢測自賦值（因為沒有delete語句）。e.g.:
class String{ //上級管理類，物業！
struct Srep; //包含類的聲明
Srep *rep; //內含普通類指針，被管理
Srep * operator->(); //返回Srep指針
//……
}
重載operator->()，返回普通對象指針，稱為間接(Dereferencing)，可形成“智能指針”機制。這樣方便操作，也可不用。對于Invoker->member;，operator ->為一元后綴運算符，可作兩種解釋：
①Invoker為指針，將尋找緊隨其后的類成員(或函數)標識符，找不到就出錯，這也是最常見的用法。
②Invoker為（定義的智能指針）對象，將解釋為(Invoker.operator->())->member。若Invoker類未重載operator->()則出錯；重載了X operator ->()時，如果返回類型X為指針，則進入①狀態；如果返回值類型仍為對象，再進入②狀態，判斷是否可循環。
返回值應該為兩種：①指針，并找到成員標志符；②定義了operator->()的對象，將循環迭代。否則出錯。具體示例見于《C++ Primer》14.6節與《C++ Programming Language》11.10章節。迭代器就是一個很好的佐證，如vector<int> vec;中，定義了vector::iterator，返回值的指針類型為int。即有(*vec.begin())為int型。
自賦值的危害：可參考《廿六、賦值函數重載與拷貝構造函數（百度百科ZT）》
=運算符(assignment)為其左操作數配置新動態資源(free store)前，通常先將原先的動態資源析構，以防止內存泄漏（現在不釋放，以后就沒機會了）。如為自賦值，將丟失這部分信息，造成指針掛起。需檢查是否為自賦值，如果是就返回*this；否則，釋放原有資源，以獲得新資源！
通常用檢測其指針是否相等即可(比較this與新值的指針，而非它們指向的值)。e.g.:
A operator=(const A &Other){if(this==&Other) return *this;} //不是if(*this == other)
智能指針采用引用計數(reference cout)來決定是否析構共享，常定義于受管理類中?！禖++ Primer》對引用計數的描述：每次創建類的新對象時，初始化指針并將使用計數置為1。當對象作為另一對象的副本而創建時，復制構造函數復制指針并增加與之相應的使用計數的值。對一個對象進行賦值時，賦值操作符減少左操作數所指對象的使用計數的值（如果使用計數減至0，則刪除對象），并增加右操作數所指對象的使用計數的值。（反過來說更好）最后，調用析構函數時，析構函數減少使用計數的值，如果計數減至0，則刪除基礎對象。
拷貝賦值時，常先增加右操作數計數，再減少左操作數計數，并判斷刪除動態存儲。可防止自身賦值，如為自賦值，引用計數肯定非0，相當于加1后立即減1，不會錯刪；反之可能出--n=0?！禖++ Primer》13.5.1與《C++程序設計》11.12節均采用的此種方法。