C++ 模板類(lèi)顯示調(diào)用析構(gòu)函數(shù)的行為怎樣體現(xiàn)？

我發(fā)現(xiàn)在 C++17 中，std::allocator::destroy 被廢棄了：

http://zh.cppreference.com/w/...

而替代方案是顯示調(diào)用析構(gòu)函數(shù)。就此我產(chǎn)生了一個(gè)疑問(wèn)，為了描述清楚，先構(gòu)造一個(gè)類(lèi)：

template<typename T> class Object {
    T* data_;
public:
    Object() { data_ = (T*) malloc(sizeof(T)); }
    void Construct() { new (data_) T(); }
    void Destory() { data_->~T(); }
    T& operator->() { return *data_; }
    ~Object() { free(data_); }
};

我認(rèn)為 Object<int>::Destory() 會(huì)導(dǎo)致 data_->~int()，而后者自然是不能通過(guò)編譯的。

但測(cè)試發(fā)現(xiàn)，Object<int> o 的構(gòu)造不會(huì)產(chǎn)生編譯錯(cuò)誤（g++ (Ubuntu 4.9.3-13ubuntu2) 4.9.3）。那么：

這種行為是 C++ 標(biāo)準(zhǔn)的，還是 g++ 特有的？
應(yīng)該怎樣闡述 data_->~T() 的行為？

回答

編輯回答

夏夕

感謝 @felix 指教，為了清晰起見(jiàn)，我自答一下：

這個(gè)行為是 C++ 標(biāo)準(zhǔn)的，還是 g++ 特有的？

這種行為是 C++ 標(biāo)準(zhǔn)的。參考：

http://zh.cppreference.com/w/...

之中【內(nèi)建的成員訪問(wèn)運(yùn)算符】，第四種用法：

expr -> pseudo-destructor

expr 是一個(gè)標(biāo)量類(lèi)型，pseudo-destructor 為一個(gè) ~ 之后跟著代表與 expr 相同類(lèi)型的類(lèi)型名，所構(gòu)成的函數(shù)調(diào)用表達(dá)式被稱(chēng)為偽析構(gòu)函數(shù)調(diào)用。它不接受任何參數(shù)，返回 void，且除了對(duì)開(kāi)頭的 expr 求值之外不實(shí)施任何操作。允許進(jìn)行偽析構(gòu)函數(shù)調(diào)用，使得編寫(xiě)代碼而無(wú)需了解某個(gè)給定類(lèi)型是否存在析構(gòu)函數(shù)成為可能。

上面敘述中的類(lèi)型名（type name）對(duì)當(dāng)前語(yǔ)法來(lái)說(shuō)，可以指 typedef 或者 using（type alias）聲明的名字，而不指類(lèi)型本身。舉例說(shuō)明：
```
int main() {
    typedef int Int;
    int* p = new int(10);
    p->~Int(); // ok, do nothing
    // p->~int(); error: expected identifier before ‘int’
    return 0;
}
```
應(yīng)該怎樣闡述 data_->~T() 的行為？
當(dāng) T 是標(biāo)量類(lèi)型（可有 cv 限定的算術(shù)、指針、指向成員指針、枚舉或 std::nullptr_t 類(lèi)型）時(shí)，它表示偽析構(gòu)函數(shù)調(diào)用，即除了對(duì) data_ 取值不做任何事。

當(dāng) T 不是標(biāo)量類(lèi)型時(shí)，它顯式調(diào)用了 data_ 的析構(gòu)函數(shù)。