Comportamento dell'estensione della macro #define in C++

Question

Sapevo che se non mettiamo spazio dopo aver chiuso le parentesi angolari in una dichiarazione di variabile, C++ genera il seguente errore.

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

Ma l'errore non viene se uso #define come in questo codice. Qualcuno può spiegarmi questo?

Penso che #define sia solo una macro espansione e funzioni come find-replace, quindi entrambi i metodi di dichiarazione della variabile qui dovrebbero essere identici.

Anche questo errore non si verifica se lo compilo con C++ 11.

#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

L'espansione della macro avviene dopo la tokenizzazione; non sostituisce il testo, ma le sequenze di token.

Ciò significa che, con la macro, l'espansione di vi fornisce un token >, separato da quello successivo alla chiamata di macro. In ogni caso, la tokenizzazione trova solo un singolo carattere >, quindi questo è il token risultante.

Senza una macro, la regola di tokenizzazione "avido" significava che i due caratteri consecutivi venivano considerati come un singolo token >>, fino a quando C++ 11 non ha aggiunto una regola speciale per questo caso.