Welchen Sinn hat es, Kompilierzeitmerkmale von nicht erfassten lokalen Variablen in einem Lambda zu verwenden?

Question

Ich bemerkte, dass man kompilieren-Zeit-Eigenschaften von Variablen, die nicht in Lambda, z. rufen sizeof, decltype Funktionen, zum Beispiel:

#include <iostream> 
void f() 
{ 
} 

int main() 
{ 
    int y = 13; 
    auto x = []{ return sizeof (decltype (y));}; 
    std::cout << x() << '\n'; 
} 

Da beide g++ und clang++ kompilieren dieses Programm ohne Fehler Ich denke, es von der Norm erlaubt.

Es scheint ein bisschen irreführend für mich, obwohl ich nicht an einen bestimmten bösartigen Fall denken kann, wo es zu einem Fehler führen wird. Aber ich frage mich, was sind die tatsächlichen Anwendungsfälle dieser Funktion?

Answer 1

Ein einfaches Beispiel, in dem Sie dies verwenden könnten, ist, wenn Sie ein Lambda haben, wo Sie Berechnungen vom selben Typ wie y durchführen möchten, weil Sie das Ergebnis y zuweisen werden.

Denken Sie auch anders herum: Was ist der Vorteil der Erfassung y in [=]{ return x + sizeof (y);}? Das hat absolut keinen Sinn, da y nicht wirklich innerhalb des Lambda verwendet wird. Capturing y würde nur völlig sinnlosen Overhead hinzufügen. Nicht nur das, es könnte sogar das Innenleben von Compilern verkomplizieren, da sie y nicht mehr einfach optimieren könnten, sizeof(y) ist nicht mehr semantisch äquivalent zu sizeof(int).

Answer 2

Manchmal benötigen Sie in einem verschachtelten Bereich (Lambda) Typinformationen ohne den Wert. Sie können den Typ (oder den Vorlagenparameter) immer direkt benennen, wenn Sie Zugriff darauf haben, aber es gibt immer die städtische Legende, die besagt, dass Sie den Typ der Variablen nicht ändern müssen, wenn Sie sie eines Tages ändern möchten Ausdrücke, wo Sie es wiederholt haben.

Zum Beispiel:

#include <iostream> 
#include <tuple> 
#include <utility> 

class storage 
{ 
public: 
    template<typename T> 
    auto make_getter(T value) 
    { 
    std::get<decltype(value)>(storage_) = value; 

    auto getter = [this] 
     { 
     return std::get<decltype(value)>(storage_); 
     }; 

    return getter; 
    } 

private: 
    std::tuple<int, char, double> storage_; 
}; 

int  main(void) 
{ 
    storage  s; 

    auto getter = s.make_getter(42); 

    std::cout << getter() << std::endl; 
} 

Hier können Sie immer std::get<T> anstelle von std::get<decltype(value)> aber wenn ein Tag make_getter keine Vorlage mehr ist, und es wird eine normale Funktion für jeden Typen des Tupels als die Art von Wert überlastete würde zum Beispiel zu int ändern, der Vorteil hier ist, dass decltype(value) immer funktioniert, vorausgesetzt, Sie benennen die Variable nicht um.

Wie auch immer ich denke, der Nutzen dieser Funktion könnte semantischer als technischer sein. Dieses Verhalten wird wahrscheinlich von der alten Schule kanonischen

geerbt

char *buffer = malloc(42 * sizeof(*buffer)); 

verwendete in der C Sprache statt

char *buffer = malloc(42 *sizeof(char)); 

aus den gleichen Gründen.

Auch wenn der Typ Name etwas unerträglich ist, dass Sie aus irgendeinem Grund nicht Alias ​​werden möchten, gehen Sie die decltype Weg, die nicht unbedingt bedeutet, dass Sie den zugehörigen Wert möchten.