那麼「this」的類型是什麼？爲什麼「這個」不是左翼？

Question

說對象是

class A { 
public : void Silly(){ 
    this = 0x12341234; 
} 

我知道我會得到編譯器錯誤「‘這’不是一個左值」。但那也不是暫時的。那麼「這個」的假設聲明是什麼？

編譯器：Mac上的GCC 4.2編譯器。

Answer 1

對於某些X類，this的類型爲X* this;，但不允許分配給它，因此即使它實際上沒有類型X *const this，它的行爲幾乎與防止分配一樣去。正式的，這是一個prvalue，與類似於整數文字的類似，所以試圖賦予它大致相當於試圖給'a'或10分配一個不同的值。

注意，在早期 C++，this是一個左值 - 分配給this被允許 - 你這樣做來處理對象的內存分配，依稀相似超載new和delete的類（WASN當時還沒有支持）。

Answer 2

首先，this不是一個變量 - 它是一個關鍵字。當用作右值時，其類型爲A *或A const *。在現代C++中，禁止分配到this。你也不能拿到this的地址。換句話說，它不是一個有效的左值。

Answer 3

由於this是一個指向與該類相同類型的類的實例的常量指針，因此會出現編譯器錯誤。儘管可以用它來改變非const限定方法，調用方法和操作符中的其他類成員，但不能指派給它。另請注意，因爲這是一個靜態方法沒有this指針的實例。

假設：

class Whatever 
{ 
    // your error because this is Whatever* const this; 
    void DoWhatever(const Whatever& obj) { this = &obj; } 

    // this is ok 
    void DoWhatever(const Whatever& obj) { *this = obj; } 

    // error because this is now: const Whatever* const this; 
    void DoWhatever(const Whatever& obj) const { *this = obj; } 

    // error because this doesn't exist in this scope 
    static void DoWhatever(const Whatever& obj) { *this = obj; } 
}; 

Answer 4

這是不可能的this提供一個 「聲明」。沒有辦法在C++中「聲明」右值。如你所知，this是一個右值。

左值和右值是產生這些值的表達式的屬性，而不是聲明或對象的屬性。在這方面，甚至可以爭辯說也不可能宣佈一個左值。你聲明一個對象。左值是將該對象的名稱用作表達式時產生的值。在這個意義上，「宣佈一個右值」和「宣佈一個左值」都是矛盾表達式。

你的問題似乎也表明，「作爲左值」和「作爲臨時」的屬性在某種程度上是互補的，即所有東西都被認爲是左值或臨時值。實際上，「臨時」的財產在這裏沒有任何生意。所有表達式都是左值或右值。而this恰好是一個右值。

另一方面，臨時性可視爲右值或左值，具體取決於您如何訪問臨時值。

P.S.注意，BTW，在C++（而不是C）中，普通函數是左值。

Answer 5

要回答的第二部分，「爲什麼是this不是左值」，我猜測，以該委員會的實際動機，但優勢包括：

1. 分配給this沒有太大的邏輯意義，所以沒有特別需要它出現在作業的左側。讓它成爲一個右值強調，禁止它是沒有多大意義的，並且意味着標準不必定義如果你這樣做會發生什麼。
2. 使它成爲一個右值可以防止你獲取一個指針，從而減少任何需要提供地址的實現，就像register修改後的自動變量。它可以例如在非靜態成員函數中使用寄存器來存儲this。如果你使用const引用，那麼除非使用允許狡猾優化，否則它需要被複制到某個具有地址的地方，但是如果你連續兩次執行它，至少它不需要是相同的地址，因爲它需要如果this是一個聲明的變量。