Variabili locali static/thread_local delle funzioni inline?

Question

Se ho una variabile locale statica o una variabile locale thread_local che si trova all'interno di una funzione inline definita in diverse unità di traduzione, nel programma finale sono garantiti dallo standard che hanno lo stesso indirizzo?

// TU1: 
inline int* f() { static int x; return &x; } 
extern int* a; 
void sa() { a = f(); } 

// TU2: 
inline int* f() { static int x; return &x; } 
extern int* b; 
void sb() { b = f(); } 

// TU3: 
int *a, *b; 
void sa(); 
void sb(); 
int main() { sa(); sb(); return a == b; } 

Quanto sopra restituisce sempre 1?

Answer 1

Sì, è sempre lo stesso oggetto. Con [dcl.fct.spec]/4:

Una funzione inline con collegamento esterno deve avere lo stesso indirizzo in tutte le unità di traduzione. Una variabile locale static in una funzione extern inline fa sempre riferimento allo stesso oggetto. Un tipo definito all'interno del corpo di una funzione extern inline è lo stesso tipo in ogni unità di traduzione.