C++ 模板類顯示調(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òu)造一個類：

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() 會導(dǎo)致 data_->~int()，而后者自然是不能通過編譯的。

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

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

回答

編輯回答

夏夕

感謝 @felix 指教，為了清晰起見，我自答一下：

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

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

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

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

expr -> pseudo-destructor

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

上面敘述中的類型名（type name）對當(dāng)前語法來說，可以指 typedef 或者 using（type alias）聲明的名字，而不指類型本身。舉例說明：
```
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)量類型（可有 cv 限定的算術(shù)、指針、指向成員指針、枚舉或 std::nullptr_t 類型）時，它表示偽析構(gòu)函數(shù)調(diào)用，即除了對 data_ 取值不做任何事。

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