dies in nicht bewertetem Kontext in statischen Elementfunktionen

Question

Warum this ist nicht in ungeprüften Kontext in statischen Elementfunktionen zulässig?

struct A 
{ 
    void f() {} 
    static void callback(void * self) // passed to C function 
    { 
     static_cast< decltype(this) >(self)->f(); 
    } 
}; 

Dieser Code gibt einen Fehler:

error: 'this' is unavailable for static member functions

static_cast< decltype(this) >(self)->f(); 
         ^~~~ 

decltype(this) es der Kürze halber benötigt wird (manchmal ist es viel kürzer, dann VeryVeryLongClassName *), ein weiterer Vorteil ist die Tatsache, dass die Absicht mehr klar.

Welcher Standard besagt, dass this in nicht bewerteten Kontexten in statischen Elementfunktionen verwendet wird?

Answer 1

Ich sehe nicht, wie es wichtig ist, dass this erscheint in einem unevaluierten Zusammenhang Sie etwas bezeichnet haben, die doesn't exist in einer statischen Member-Funktion, so wie ist der Compiler den Typ des this in diesem Zusammenhang ableiten soll?

Als logische Folge die type of this in einer nicht-statischen Elementfunktion ist auf dem CV-Qualifier abhängig die Elementfunktion decltype(this)T const* ergeben würde, wenn die Elementfunktion const war und T * wenn es nicht ist. Daher hängt der Typ vom Kontext des Ausdrucks ab. In Ihrem Beispiel hat der Kontext keinen this Zeiger.

Um den Aufwand zu verringern, die Klasse benennen zu müssen, können Sie einen Alias ​​hinzufügen.

class VeryVeryLongClassName 
{ 
    using self = VeryVeryLongClassName; 
};