Verhalten von # define Makroexpansion in C++

Question

Ich wusste, dass, wenn wir nicht Platz nach dem Schließen von spitzen Klammern in einer Variablendeklaration stellen, C++ den folgenden Fehler auslöst.

‘>>’ should be ‘> >’ within a nested template argument list

Aber der Fehler kommt nicht, wenn ich in diesem Code #define wie verwenden. Kann mir das jemand erklären?

Ich denke, #define ist nur eine Makro-Erweiterung und funktioniert wie Suchen-Ersetzen, so beide Möglichkeiten, Variablen hier zu deklarieren sollte identisch sein.

Auch dieser Fehler tritt nicht auf, wenn ich es mit C++ 11 kompiliere.

#include <bits/stdc++.h> 
using namespace std; 

#define vi vector<int> 

int main(){ 
    //Doesn't work, compile error 
    vector<vector<int>> v; 

    //Works 
    vector<vi> vv; 
} 

Answer 1

Makroexpansion erfolgt nach Tokenisierung; Es ersetzt nicht Text, sondern Tokenfolgen.

Dies bedeutet, dass die Erweiterung vi mit dem Makro ein > Token ergibt, das von dem nach dem Makroaufruf getrennten Token getrennt ist. In jedem Fall findet die Tokenisierung nur ein einziges > Zeichen, also das resultierende Token.

Ohne ein Makro bedeutete die "gierige" Tokenisierungsregel, dass die zwei aufeinanderfolgenden Zeichen als ein einziges Token behandelt wurden, bis C++ 11 eine spezielle Regel für diesen Fall hinzufügte.