perché un oggetto volatile non può chiamare la funzione membro non volatile

Question

Perché un oggetto volatile non può chiamare una funzione membro non volatile?

In caso di const, ha senso che chiamare una funzione membro non const viola la constness del dell'oggetto e quindi è vietato. Ma perché nel caso di volatile?

Answer 1

In caso di const, ha senso che il richiamo di una funzione membro non-const viola la costanza dell'oggetto e quindi è vietato. Ma perché nel caso di volatile?

È lo stesso per volatile. Volatile significa che ogni accesso a un oggetto è un effetto collaterale visibile e non può essere eliminato. Se si chiama un metodo non volatile su un oggetto volatile, si violerebbe questa proprietà (poiché il metodo non volatile considererebbe l'oggetto solo come un oggetto normale). Pertanto, è impossibile.

Answer 2

Il qualificatore volatile funziona molto allo stesso modo di const funziona. Per vedere cosa può fare grazie a questo, dare un'occhiata a this Alexandrescu article. Questo articolo dovrebbe anche darti un'idea dello perché.

Answer 3

dalla norma:

7.1.5.1. Se si tenta di fare riferimento a un oggetto definito con un tipo volatile-quailificato tramite l'uso di un lvalue con un tipo quailificato non volatile , il comportamento del programma non è definito.

Sto supponendo che il tuo compilatore presenti un errore per prevenire un comportamento non definito. Lo standard afferma quindi dovrebbe essere una ragione sufficiente.