Például a b + 3 == 2 kifejezésben csak a 2 minősül literálnak, vagy a b + 3 eredménye is?

A 3 és a 2 literálok.

b + 3 önmagában egy kifejezés, az eredménye nem ismert addig, míg ki nem számolod, így nem lehet része a teljes kifejezésnek (b + 3 == 2), amúgy a b + 3 eredménye nem feltétlen lesz numerikus. A literál típusa mindig ismert, mindenféle kiértékelés nélkül.

A literál azt jelenti, hogy fixen le van írva az értéke a programkódba, nem kifejezés eredménye és nem is a program futásakor fog megszületni.