Elvis Operator: co to je, syntaxe a zpracování null hodnot

Co je Elvis Operator

Elvis Operator — binární operátor pojmenovaný podle účesu Elvise Presleyho. Symbol ?: vizuálně připomíná tvář zpěváka z profilu: otazník — oko a licousy, dvojtečka — ústa. Operátor přijímá dva operandy: pokud první není null — vrátí se on, jinak se vrátí druhý. To umožňuje nahradit úplnou konstrukci if-else jedním krátkým zápisem.

Původ názvu

Název „Elvis Operator“ se ujal v komunitě Kotlin a Groovy a poté přešel do Xtend a dalších JVM jazyků. V Swift a Dart se podobná konstrukce nazývá nil-coalescing operator, ale je funkčně identická. Vizuální asociace s Elvisem Presleym pomohla operátoru stát se jedním z nejznámějších symbolů v syntaxi moderních programovacích jazyků.

Role při zpracování null

Elvis Operator je součástí systému null safety, který zabraňuje NullPointerException (NPE). Podle výzkumu JetBrains z roku 2023 tvoří NPE 28% všech výjimek v produkčním kódu na JVM. Použití Elvis Operator zcela eliminuje NPE v místě přiřazení a zaručuje výchozí hodnotu. V kombinaci s operátorem bezpečného volání ?. vzniká spolehlivý řetězec bez jediného bloku if.

Syntaxe Elvis Operator v Kotlin

V Kotlin se Elvis Operator zapisuje jako ?: mezi dvěma výrazy. Pokud levý výraz není null — výsledek se rovná levému, jinak se vypočítá pravý. Pravý výraz se vypočítává líně — pouze když je levý operand null, což je důležité pro výkon při použití drahých výpočtů nebo volání API.

val name: String? = getUserName()
val displayName = name ?: "Guest"

fun getLength(str: String?): Int {
    return str?.length ?: 0
}

val config: Config? = loadConfig()
val timeout = config?.timeout ?: 30
println("Časový limit: $timeout")

// Elvis s throw pro povinné parametry
val requiredId = nullableId ?: throw IllegalArgumentException("ID is required")

// Elvis s return pro předčasné ukončení
fun process(data: String?): Result {
    val safe = data ?: return Result.failure("No data")
    return processInternal(safe)
}

Kombinace s let — častý vzor v Kotlin, kde Elvis Operator nastaví výchozí hodnotu a let provede akci s ne-null výsledkem. Tento přístup nahrazuje celé bloky if-else jedním řetězcem volání bez ztráty čitelnosti. Elvis Operator lze také použít s throw pro vynucené přerušení při chybějícím povinném parametru — to je idiomatický způsob validace vstupních dat.

Elvis s předčasným ukončením funkce

V Kotlin je rozšířený vzor Elvis + return. Pokud je hodnota null, funkce okamžitě vrátí výsledek nebo vyvolá výjimku. Idiom „Elvis with return“ se často používá v funkcích transformace dat: val processed = rawData ?: return defaultValue. Je kompaktnější než guard let v Swift a nezvyšuje vnoření kódu.

Elvis Operator vs if-else: srovnání

Elvis Operator je kratší než if-else a nevyžaduje opakování proměnné. Porovnejte: val x = a ?: b versus val x = if (a != null) a else b. U složitých výrazů dosahuje redukce kódu 60%, přičemž sémantika je zcela identická — kompilátor může vygenerovat stejný byte-code pro obě varianty.

Kdy použít Elvis Operator

Elvis Operator je optimální pro přiřazení výchozí hodnoty, volání řetězců funkcí s bezpečným přístupem a logování chybějících hodnot. Idiomatické vzory Kotlin jej doporučují jako náhradu if-else pro jednoduché null kontroly ve výrazech. V kombinaci s ?. poskytuje kompaktní řetězce bez dočasných proměnných.

Kdy je if-else vhodnější

if-else zůstává vhodnější při více podmínkách, když je třeba provést vedlejší účinky nebo když jsou oba operandy složité bloky kódu s více operacemi. Elvis Operator nepodporuje vnořené bloky — pouze jednoduché výrazy pro každý operand. Pokud pravá strana volá funkci s vedlejším účinkem, čitelnost if-else je vyšší.

Elvis Operator v dalších programovacích jazycích

Groovy používá přesně stejnou syntaxi ?: jako Kotlin, protože oba jazyky běží na JVM a sdílejí filozofii null-safety. V Groovy se operátor objevil dříve — byl v jazyce od verze 1.8, vydané v roce 2011. Groovy také podporuje Elvis přiřazení: x ?= value (přiřadit pouze pokud je x null).

def name = getUserName()
def display = name ?: "Guest"

def map = ["key": "value"]
def result = map?.get("missing") ?: "default"
println(result)

// Elvis přiřazení v Groovy
def config = null
config ?= "defaultConfig"
assert config == "defaultConfig"

V Swift se analog nazývá nil-coalescing operator a zapisuje se jako ??. V Dart se používá stejná syntaxe ??. Rozdíl je v tom, že Swift a Dart vyžadují shodu typů operandů, zatímco Kotlin umožňuje různé typy s automatickou konverzí na společný supertyp. V TypeScript se od verze 3.7 objevil operátor ?? (nullish coalescing), který pracuje pouze s null a undefined, na rozdíl od ||, který filtruje všechny falsy hodnoty. V PHP se od verze 7.0 objevil operátor ??, v C# — ?? od verze 6.0.

Typické chyby s Elvis Operator

Nejčastější chyba — zaměňování Elvis Operator ?: s operátorem bezpečného volání ?. V Kotlin ?. volá metodu nebo vlastnost pouze pokud objekt není null, a ?: vrací výchozí hodnotu při null. Kombinují se sekvenčně, ale každý plní svou funkci. Záměna vzniká u začátečníků, kteří se snaží použít ?: bez ?. před ním.

Vedlejší účinky v pravém operandu

Pravá část Elvis se vypočítává líně, ale pokud se v ní nachází volání funkce s vedlejšími účinky, může to vést k neočekávanému chování. Vývojáři někdy umísťují do pravé části drahé výpočty nebo logování, které se neprovede při ne-null hodnotě. Je důležité si pamatovat, že pravá část je výraz, který se vypočítává pouze v případě potřeby.

Řetězce Elvis bez seskupení

Více Elvis za sebou může ztížit čtení kódu. Například a ?: b ?: c ?: d se provádí zleva doprava a vrací první ne-null. Seskupení pomocí závorek nebo vyjmutí logiky do samostatné funkce zvyšuje čitelnost a usnadňuje ladění. Pokud je řetězec delší než 3 prvky, vyplatí se použít when výraz nebo pomocnou funkci.

Elvis místo if-else s booleovskými podmínkami

Začínající vývojáři se někdy snaží použít Elvis Operator pro kontrolu booleovských hodnot: val x = flag ?: false. To funguje pouze pokud flag může být null. Pro booleovské podmínky bez null je potřeba běžný if-else nebo ternární operátor, který v Kotlin neexistuje, ale je nahrazen výrazem if-else: val x = if (flag) a else b.