È OK avere una variabile locale thread con lo stesso nome di una variabile locale non thread?

Question

Ho una variabile locale di thread envptr e una variabile che non è thread-local anche chiamata envptr. Quest'ultima variabile viene utilizzata solo in un singolo thread il cui codice di esecuzione non visualizza la dichiarazione della variabile locale del thread. La variabile locale del thread viene utilizzata da diversi thread, ognuno dei quali non vede né ha bisogno di vedere la dichiarazione della variabile locale non thread.

Questo scenario è possibile e produce un comportamento definito? Sto usando linux 32 bit e 64 bit su x86.

Answer 1

Sono la stessa variabile o no? In altre parole, che cos'è loro linkage?

Se è esterno, quindi no. Se è interno, allora è OK a meno che le due definizioni non si verifichino entrambe nello stesso file.

Se non vi è alcun collegamento, non vi è alcun problema.

A meno che non abbia trascurato qualcosa, thread_local non ha alcun impatto sul collegamento, quindi le normali regole si applicano (e la definizione della variabile thread_local in una unità di traduzione e non in un'altra è una violazione della regola a una definizione).

Penso che ci sia un bug nello standard qui, tuttavia. Lo standard (§7.1.1/1) dice che "Se thread_local appare in una qualsiasi dichiarazione di una variabile, deve essere presente in tutte le dichiarazioni di quell'entità." Non esiste una dichiarazione esplicita che non sia necessaria una diagnostica o che la violazione di questa regola non sia definita, pertanto un compilatore è richiesto a a diagnosticare l'errore. Solo che, ovviamente, se si definisce in ambito namespace:

thread_local int i; 

in una sola unità di traduzione, e:

int i; 

in un altro, poi il compilatore probabilmente non può diagnosticare l'errore (e sono abbastanza sicuro che il comitato non volesse richiederlo). La mia ipotesi è che l'intento qui è un comportamento indefinito.

Answer 2

Questo dovrebbe funzionare e produrre un comportamento corretto, poiché le variabili sono due variabili distinte.

Consiglio vivamente di non farlo, in quanto renderà il software meno manutenibile. Che questo comportamento sia corretto o meno sembra meno importante di quanto sia comprensibile il codice - l'uso dello stesso nome di variabile per due serie di dati con un comportamento molto diverso sembra problematico.

Answer 3

Dalla tua descrizione sembra che siano due variabili distinte (nessuna delle due ombreggia l'altra), nel qual caso sembra perfetto da un punto di vista tecnico.

Ciò detto non suggerirei mai di farlo perché la cosa più probabile che accada è che qualcuno si confonderà sul significato della manutenzione futura e causerà più problemi nel cercare di capire il codice.