V počítačových programovacích jazycích, zvláště v C, C++, C# a Java, má objekt deklarovaný pomocí klíčového slova volatile obvykle zvláštní vlastnosti co se týče optimalizace nebo vláken. Zjednodušeně se dá říci, že klíčové slovo volatile brání kompilátoru použít při optimalizaci kódu předpoklad, že se proměnné nemohou „samy” změnit.

Volatile v C a C++ editovat

Volatile je rezervované slovo programovacího jazyka C. Pokud je nějaká proměnná označena slovem volatile, nebude kompilátor žádným způsobem optimalizovat její užití.

volatile int i;
i = 0;
while (i == 0) ; /* smyčka bude ukončena nějakou vnější událostí, která změní hodnotu i */

Deklarace volatile (nestálý) znamená, že k obsahu proměnné může přistupovat ještě nějaký jiný proces než ten, který je řízen aktuálním zdrojovým kódem. Může to být například souběžné běžící vlákno jiného procesu, hardwarové přerušení nebo samotný hardware. Že je proměnná označena jako volatile, ještě neznamená, že operace s ní jsou atomické.

Syntaxe editovat

Klíčové slovo volatile se umisťuje před nebo za datový typ v definici proměnné.

Nestálá proměnná editovat

volatile T a = 3;
T volatile a = 3;

Nestálý ukazatel editovat

volatile T * ptr; 
T volatile * ptr;

V předchozím příkladě je ptr nestálý ukazatel na proměnnou T.

Nestálý ukazatel na nestálou proměnnou editovat

int volatile * volatile ptr;

Použití editovat

  • objekt, který představuje vstupní/výstupní port
  • objekt, který je sdílen mezi několika současně běžícími procesy
  • objekt, který je modifikován pomocí přerušení
  • objekt, který je deklarován ve funkci, která volá setjmp a jehož hodnota je změněna mezi voláním funkce setjmp a longjmp