Názory k článku
Java 21 zjednodušuje metódu main

No priznam sa ze netusim naco je to vlastne dobre. Ak je to na vyuku tak nie je lepsie vyucivat ten plnohodnotny sposob? Toto je skor taky mackopes co podla mna skor zneprehladni kod a samotnu vyucbu. Ako zvyknut sa na to da ale nevidim tam prinos.

Ano presne. Tie hromady kvalitnych programatorov ktorych odradilo to 'public static void main' budu konecne moct zacat pracovat s Javou.

Keď sa dobrí programátori zaplatia, tak sú. Otázka znie však inak. Koľko skvelých programátorov tieto geniálne nápady (v Jave ich je neúrekom) odradili a odišli k iným jazykom?

Problém je, že tolik většina firem zaplatit nemůže, takže reálný stav je, že nejsou. Neslovíčkařte.

7,2 programátorov presne.

Mať 4 staré a 4 nové spôsoby ako definovať jednu funkciu mi príde také... uh. Ktorý z tých 8 spôsobov mám použiť? Aký je rozdiel medzi nimi? Čo sa stane ak zvolím tento spôsob? Má to nejaký vplyv? Čo ak....

začiatočníci budú mať veľa chaosu.

ostatne je vtipné že doteraz bolo potrebné napísať tisíc riadkovú slohovku v kóde aby si vytvoril hello world program. Proste boilerplate a boilerplate, ktorý sa teraz snažia zredukovať.

Problem je ze nesnazi, jen zavadeji dalsi nesmyslne zpusoby jak udelat polonefunkcni hello world.

BTW: Ale chapu, oni totiz soudobi "vyvojari" uz nezvladnou ani copy&paste.

Typické javovské řešení. Napřed budeme říkat, že to je na nic, pak nebudeme vědět, jak to udělat, pak to prosadíme a nakonec se budeme tvářit, že to tam bylo odjakživa. Tipnul bych si, že o verzi nebo dvě později to bude "plnohodnotné".

c# main odstranilo asi pred troma rokmi, tiez nechapem na co je to dobre. Halvne ked pri zalozeni noveho projektu to main tam uz je napisane...

A keby aj nie tak zaciatocnik bude pracovat v nejakom IDE. Napr. Idea ma skratku 'psvm' ktora doplni to 'public static....' takze co sa vlastne setri, meni, ... ze na to vobec niekto vynaklada nejaky effort v compilatore je mne zahadou.

Aký .NET používate? Nový konzolový project je:

// See https://aka.ms/new-console-template for more information
Console.WriteLine("Hello, World!");

a nový webový project je:

var builder = WebApplication.CreateBuilder(args);

// Add services to the container.
builder.Services.AddRazorPages();

var app = builder.Build();
...
app.UseHttpsRedirection();
app.UseStaticFiles();

app.UseRouting();
app.UseAuthorization();
app.MapRazorPages();
app.Run();

Top-level statements majú veľa využití: konzolové aplikácie, skripty, ukážky kódu, tutoriály a knihy, Jupyter a iné embedded prostredia, rôzne API a microservisy.

jshell

> Zároveň metóda main musí byť (z neznámeho dôvodu) statická.

Z neznámého důvodu? A pro jakou instanci objektu by se ta metoda měla volat, pokud by statická nebyla?
Jako jo, dokážu si představit nějaké možnosti, ale nic z toho není moc intuitivní.

Je to konvencia. Znamená, že sa to tak proste robí.

Ne, není to konvence. Je pro to naprosto jednoduchý a nekomplikovaný důvod.

Hej, racionalizovať sa dá všetko.

Kdyz sem o post vejs psal o "vyvojarich", netusil sem se se obratem jeden prihlasi ... Krasna ukazka toho, ze lidi neznaj ani nezalkladnejsi zaklady.

Moderné programovacie jazyky vo veľkom kopírujú rôzne populárne postupy, napr. rekord typ, match pattern, async/await, funkcionálne programovanie atď. Akurát to public static void main si nik neobľúbil, dokonca ani Java platform jazyky. Čím to je?

Netuším kde je problém. Kompiler vytvorí objekt a sám zavolá main metódu. (Nie som si úplne istý, ale tak by to zrejme mali robiť aj Kotlin a Groovy.) Tým že je main statická, tak musia byť aj premenné s ktorými pracuje statické. A to je presne to, čo v 99.999% prípadoch nechcete. A preto kóšer Java kód pre minimálnu aplikáciu musí mať nie jednu triedu, ale rovno dve. Pretože tá prvá je len Application starter.

Ak sa toto niekomu páči... Ale čo ja viem, ja som len obyčajný F#/Groovy programátor.

> A preto kóšer Java kód pre minimálnu aplikáciu musí mať nie jednu triedu, ale rovno dve.

Nemusí. Funkce main() je obvykle jenom wrapper, ale může vytvořit objekt ze stejné třídy a zavolat její metodu. Můj typicky kód pro hodně jednoduché věci (bez DI a jiných komplikací):

public class A {
     public static void main(String[] args) {
           System.exit(new A().run(args))
     }

     public int run(String[] args) {
            // do the actual stuff
     }
}

To zjednodušení v Java 21 je nejspíš cíleno na skriptování apod, pro větší program to smysl nemá.

Tak minimálne 2 metódy, zde main a run... to je také "chutné".

Ostatne je nová "main" metóda aj tak jedno, keďže v produkcii aj tak väčšina softwaru je legacy na Jave 8 či 11.

Když kompilátor vytvoří objekt, musí ten objekt mít bezparametrický konstruktor. Co kdybyste chtěl zařídit, aby ten „hlavní“ objekt byl singleton? Co kdybyste chtěl instanci toho objektu někam předat – asi budete muset z konstruktoru někam předávat this, což je prasárna na entou.

Aneb abyste si mohl zjednodušit život a ušetřit jedno klíčové slovo u definice metody, musíte kolem toho vyrobit celý aparát složitých pravidel. Jsou jazyky, které to tak dělají, třeba Kotlin. Java na to jde přesně opačně – pár jednoduchých pravidel, z nichž už se pak dají složitější věci poskládat. Občas to znamená napsat trochu víc písmenek, ale dneska už máme IDE, která ta písmenka píšou za nás. A kdo chce ušetřit písmenka, nepoužívá Javu.

Kde tak Kotlin činí? IIUC, v Kotlinu máte dvě možnosti:

a. Udělat main mimo třídu, pak se Vám pro JVM automaticky vygeneruje třída MainKt (nebo tak nějak) s public static void main.
b. Udělat companion object a v něm metodu main s @JvmStatic. Companion object je v podstatě singleton (takže tam neřešíte žádné parametry pro konstruktor), přijde mi to jako lépe navržená alternativa statických metod. Anotace JvmStatic pak zajistí, že se při kompilaci pro JVM vygeneruje i statická proxy metoda.

První způsob je multiplatformní, tedy bude fungovat i na Kotlin/Native. On Kotlin obecně k některým věcem (např. kolekce) dělá v podstatě aliasy, aby mohl fungovat multiplatformně.

Druhý způsob je víc low-level a funguje jen na JVM, nebude tedy fungovat např. s Kotlin/Native nebo Kotlin/JS. Resp. i na dalších platformách to půjde zkompilovat (pokud kompilátor bude mít na classpath anotace pro JVM), ale nevyrobí to žádný entry-point.

Ten druhý odstavec už nebyl o metodě main, ale obecně o přístupu jazyků – jestli má jazyk pár základních pravidel a s nimi se musí už v rámci toho jazyka vystavět zbytek, nebo jestli má jazyk už ve své syntaxi podporu pro kde co.

> Netuším kde je problém. Kompiler vytvorí objekt a sám zavolá main metódu.

No já v tom vidím problém v tom, že je to ještě jeden další "neviditelný" krok navíc. Rozdíly mezi statickými proměnnými a nestatickými proměnnými v nějakém "statickém" unikátním objektu jsou dost kosmetické.
A pokud ten main objekt není jen jeden, ale chcete pak vytvářet další, tak mi to zas smrdí porušením single responsibility principle.

Co mi přijde příčetné je opustit Cčkoidní main funkci a mít přímo kus kódu, který se zrovna vykoná (jak je oblíbené u skriptovacích jazyků). Jestli si pro to chce překladač vytvořit nějaké svoje pomocné objekty, ať si poslouží. Ale pro mně jako pro programátora jsou tak dobře schované, že vlastně ani neexistujou a nemusím jejich existenci nijak řešit.

Chápu jak ten statický main historicky vznikl. Jistým zvráceným způsobem mi přijde že Java zahodila špatné části Cčka a dobré části C++.

> zahodila špatné části Cčka a dobré části C++
Iste, presne preto vznikla a preto je taka nepopularna. Skuste si pozriet alebo precitat nejaky rozhovor p. Goslinga na temu vzniku jazyka Java.

No z Goslinga jsem měl pocit, že je přesvědčený že zahodil špatné části c++ a to dobré nechal.
Jsem ochotný uznat, že zahodil některé špatné části. Ale to nejlepší šlo pryč taky.

Nepřijde mi, že by byla nepopulární. Quarkus, Micronaut, Apache Camel, Kogito tohle všechno jsou frameworky, které jsem v poslední době viděl v nespočetných instancích napříč různými odvětvími. Počínaje tour operators, přes iGaming po Telco. Jeden z nejpopulárnějších open data table format Apache Iceberg, opět Java. Vlastně když nad tím přemýšlím Delta Lake je opět Java. Ja osobně bych v JVM ekosystému v některých případech dal přednost Kotlinu a to i v případě backend, ale sehnat kvalitního backend developera s Kotlinem je trochu oříšek. Jinak pokud bychom mluvili o tom, že Java programmers jsou drazí, tak kvalitní Python programmer, vás v Estonsku vyjde cca na 5000 Eur čistého. Obdobně jako Java. Ja osobně Javu nemám moc v oblibě, ale rozhodne bych se neodvážil tvrdit, že je nepopulární, většina toho hejtu nemá logický základ, nebo je založených na dávno neplatnych předpokladech.

> Netuším kde je problém. Kompiler vytvorí objekt a sám zavolá main metódu.

Kdyby toto měl mít na starost kompilátor, musel by něco vědět o metodě main. Vsadil bych se, že ve zdrojáku javac nenajdete žádný kód, který by se věnoval specificky metodě main, protože tam žádný takový nebude.

> Nie som si úplne istý, ale tak by to zrejme mali robiť aj Kotlin a Groovy.

U Groovy nevím, nicméně u Kotlinu vím jen o jednom zjednodušení – hodíte main úplně mimo třídu. Tam to ale dává smysl i kvůli tomu, že Kotlin je multiplatformní, nejen pro JVM.

No jo, no. Kotlin s něčím přišel, tak to tam musejí mít taky. Výsledek je jako když pejsek a kočička vařili dort. Zdánlivě to věc zjednoduší, ale pokud tomu chcete rozumět, tak je to ve skutečnosti složitější.
Jinak teda po přechodu z Pascalu na C jsem taky nechápal proč musím mít funkci main a po přechodu z C na Javu jsem zase nechápal, proč to musí být ve třídě. Ale takhle to tam lepit do verze 21 skoro 30 let po vzniku jazyka...

To se naučí snadno. Mnemotechnická pomůcka: "PSáVala Mi STARá" - Public Static Void Main(STring[] ARgs). Na co učit něcom, co se v praxi nepoužívá. To by bylo špatné učení.

Je opravdu rozumné to učit takhle? Než se začátečníkům vysvětlí, co ty části znamenají a začne to dávat smysl přece netrvá nějak extrémně dlouho. A pak už to zvládnou napsat z hlavy protože to celkem jasně vyplývá z toho, co to má dělat.

A než to poberou, tak to přece nemusí sypat z hlavy a můžou to kopírovat z předchozích zdrojáků.

Nevím, jestli to chápu správně, ale tvrdíte, že mnemotechnické pomůcky nemá cenu používat? Nebo že to myslím tak, že to studentovi vůbec nevysvětlím a řeknu mu jen tu pomůcku? Samozřejmě, že mu to vysvětlím. Kraniální nervy v medicíně taky nejsou nic těžkého na pochopení a přesto na ně mají medici pomůcku "Ooh, Ooh, Ooh, to touch and feel very good velvet. Such heaven!" Neznám situaci kdy by bylo hrozně špatné použít při učení mnemotechnickou pomůcku (nebo cokoliv, co pomůže paměti).

Spíš že tam toho na zapamatování moc není. Akorát tak int/void a velikost M. Public, static a pole stringů vyplývají z fungování.
A začátečníkovi zase ta pomůcka nedá zbytek minimálního programu - třeba tu třídu do které to musí být zabalené.

Argument s těmi nervy nechápu. To je přece dlouhá řada jmen, které se z ničeho moc vydedukovat nedají.

Presne. Typicky ceskoakademicky nesmysl jak to nedelat. To nejde ucit jak poradi strun na kytare. Zvlast kdyz to vychazi z anglictiny - ano v teto dobe uz umi kdejaky jazykovy dropout. Nedava smysl cpat do toho cestinu ktera studenta odstini od skutecneho vyznamu veci.

Tyhle veci nejde ucit jak zednika technologicky postup nebo montazni prirucku pro nekvalifikovanou pracovni silu na lince. Inzenyr musi vedet proc.

V cecku treba tusim az co mi z main vygeneruje compiler v objektu/spustitelne binarce a co v kterych pripadech ho nepouziji. Treba si to zkusit z tcc ktery je kiss bez optimalizace. Co delaji ta makra predtim na zacatku. Ten boilerplate neni tezke vysvetlit. A nechat si s tim studenty trochu pohrat at chyti souvislosti. Samozrejme po tom co si neco uz naprgaji aby jim nezvadla motivace.

A to je minimum. Aby alespon bylo nejake povedomu. Neresim staticke/dynamicke libky. Pripadne primitivni kod pro mikrokontrolery.

Tak zrovna mix češtiny a angličtiny je v pohodě. Kór když to zůstane v hlavě programátora. To bychom stejně tak mohli obrozenecky lynčovat lidi, kteří v českém textu používají anglická slovíčka (ehm ehm, dropout, ehm ehm)

Co mi přijde divné je používat memotechnické pomůcky pro nabiflování něčeho, co má svou vnitřní logiku a pravidla. Biflování se hodí na věci, které takovou vnitřní logiku nemají. Průměr země z ničeho nevydedukuju, public static void pro main jo.

Navíc ta memotechnická pomůcka obsahuje jen asi polovinu "keců" potřebných pro minimální Javovský program. :)

No tak ale třeba to, že Java má návratový kód jako void je potřeba nabiflovat, z logiky věci by člověk čekal spíš public static _int_ main(), ne?

Na pořadí modifikátorů nezáleží, takže může být public static i static public. Že se píše nejdřív návratový typ a pak až jméno metody je potřeba vědět tak jako tak. Stejně jao je potřeba vědět, že modifikátory patří na začátek. A pak už není potřeba se na tom nic učit. A když už by se na tom někdo chtěl něco učit, tak psvm<Tab>.

To psvm mi přijde fakt divný. Vždyť se to píše jednou na začátku existence projektu. To už mi přijde rozumnější, aby to ide vygenerovalo jako první soubor když ten projekt vytvořím.

Ty zjednodušené verze mainu jsou aspoň kratší a jednodušší i pro čtení.

Ono vám většinou IDE takový soubor vygeneruje. Ale proč by tam ta zkratka nemohla existovat? Je tam spousta dalších zkratek, to místo nic nestojí. A v projektu může být víc tříd s metodou main, třeba různé utility.

je to tedy jeste metoda nebo normalni funkce?
A muzu mit v programu vic variant? (mel bych toho byt schopen, rozlisuji se prece parametry :)

To je filozofická otázka. Java z toho spraví na pozadí triedu a z main metódu tejto anonymnej triedy. Ja by som sa priklonil k tomu, že je to funkcia. Je podružné, ako sa to na pozadí transformuje a kompiluje.
Ináč takto to robí aj Kotlin aj Groovy. Aby boli kompatibilný s Java API, musia robiť takého krokolomné hacky.

Áno, program môže mať zadefinované viaceré main metódy a tie sa podľa parametrov volajú.

6. 10. 2023, 18:39 editováno autorem komentáře

Vlastně to je jen narovnávák na vohejbák.

Už pomalu přestávám doufat, že Valhalla někdy dorazí. To by byl zásadní posun...

I když takové vnitřní proměnné u rozhraní jako imitace mixinů pro pohodlnou kompozici by se taky hodily. Ale zatím jsem nezachytil, že by to někde řešili...

V čem byl to byl zásadní posun? Koukal jsem na to a nijak zvlášť paradigm-shifting mi to nepřijde.

Pokud jsem to dobře pochopil, tak by to umožnilo mít např. Collection<int> namísto memory- a CPU-žravého Collection<In­teger>.

Dále by to umožnilo nadefinovat např. typ ID, který by byl podkladově int (tedy primitivní typ s nejvyšší efektivitou), ale v kódu by nebylo možné ID zaměnit s jiným intem. Typicky při předávání parametrů do metod je riziko záměny ID s jiným intem (nebo longem) - stačí přehodit parametry - a kompilátor nemá šanci to odhalit. Takhle by šlo bez ztráty výkonu (v obou případech by se interně předával jen int) tyhle data od sebe bezpečně oddělit - užitečné i pro refaktoring, úpravy parametrů metod atd... Každá dodatečná ochrana na úrovni kompilátoru se počítá, je potřeba minimalizovat prostor pro chyby.

Ne, že by se tyhle věci někdy (v některých scénářích) nehodily. Ale jako zásadní posun bych je opravdu neoznačoval. Když to porovnám třeba s tím, co přináší Kotlin...

Valhalla pomalu přichází. Počkej do Java 23. Prostě není sranda tyhle věci naroubovat do jazyku, tak aby byl stále přijatelně zpětně kompatibilní.

A este drobnost, String[] sa da zapisat aj ako String... takze nam pribudnu dalsie 2-3 moznosti ako to zapisat. A to sa oplati.

Tak a teď Java ve všech indexech jen a jen poroste, protože toto byla věc, díky které se rozhodovalo jestli Java nebo něco jiného :-D

Rust hadr :D

Scratch má potenciál. Dnes jazyk pre animovanie obrázku mačičky, zajtra kritické operácie.

Čo sa dalo čakať. Java nie je už ten cool zázračný jazyk, ktorý všetko vyrieši od mladej dravej dynamickej firmy Sun Microsystems. Už je to smrdutý jazyk na písanie bankových systémov od dinosaurej firmy Oracle.

Ne Java opravdu není smrdutý jazyk. Stačí se podívat , jak se v poslední době ten jazyk posunul a posouvá. Skoro na všechno existuje knihovna. Má podporu snad pro všechny myslitelné databáze a messaging. Můžete si být skoro jistý, že na co sáhnete, tak bude mít podporu i pro Java.

Má podporu snad pro všechny myslitelné databáze a messaging.

"Zároveň metóda main musí byť (z neznámeho dôvodu) statická". tiez som nevedel, len som tusil, tak som sa spytal googla a uz viem.

Já jsem to sice věděl, ale čistě didakticky pro autora článku přidávám, že dneska tyhle věci dokáže velmi obstojně (i ve slovenštině) vysvětlit i ChatGPT 3.5:

Já: Prečo musí byť metóda main v jazyku Java statická?
ChatGPT:
V jazyku Java je metóda main statická z dôvodu konkrétneho spôsobu, ako Java spracúva spustenie programu. Statické metódy sú metódy, ktoré patria triede ako celku, a nie konkrétnym inštanciám tejto triedy. Metóda main je statická, pretože je volaná pri spustení programu, predtým než je vytvorená akákoľvek inštancia triedy.

Keď spustíte program Java, systém Java volá metódu main bez toho, aby vytvoril inštanciu triedy, v ktorej je definovaná. To znamená, že metóda main musí byť statická, aby bola dostupná systému Java na úrovni triedy, a nie na úrovni konkrétnej inštancie. Statická metóda môže byť volaná bez toho, aby bola vytvorená inštancia triedy, čo je presne to, čo sa deje pri spustení programu.

Tým, že je metóda main statická, umožňuje systému Java spustiť program bez toho, aby musel vytvárať inštanciu triedy, a zároveň umožňuje prístup k metóde na úrovni triedy, čo je potrebné pre správne spustenie programu.

A preco nemoze pri spusteni vytvorit najprv instanciu triedy a potom spustit main()? To tam nieje vysvetlene.

Vy čekáte od ChatGPT vysvětlení? Vždyť je to skvělý nástroj, pokud potřebujete něco okecat.

Jinak vytvořit instanci by samozřejmě šlo. Ale proč? Má smysl vytvářet i další instance té třídy? Jestli ne, pak je rozdíl mezi statickou a nestatickou metodou nebo proměnnou dost kosmetický.
Co když z té třídy s metodou main něco odvodím. Bude se vytvářet báze nebo ta odvozená? "A metoda main musí být ve třídě, která je (z neznámého důvodu) final." :)
Jak dlouho ta třída žije? Bude se na ní volat finalize?

Ve výsledku bu to byla další neviditelná funkcionalita s hromadou dodatečných pravidel.

Asi proto, že se na to nikdo nezeptal.

Důvod je ten, že když chcete vytvořit instanci třídy, musíte vědět jak. Konstruktorem, tovární metodou, builderem? Asi byste řekl, že konstruktorem. Pak ale ta třída musí mít veřejný bezparametrický singleton. A bude třeba velmi komplikované z toho udělat singleton. Takže byste musel přidat spoustu dalších pravidel a programátorům byste svázal ruce. Ale proč? Aby se při zápisu ušetřilo jedno klíčové slovo?

Bingo! Už som si myslel, že som tu sám. Google/GTP musí človek používať ako pomôcku, nemôže to preberať nekriticky. Musíme naďalej rozmýšľať. Pretože oba nástroje sú jednak omylné a jedna podsúvajú nejakú agendu či ideológiu. A to platí aj v technických smeroch.

Celé toto "vysvetlenie" je len dôsledkom pôvodných návrhových rozhodnutí, ktoré zaviedli ktovie prečo. Možno preto, že v 90 rokoch tak letelo OOP a preto všetko musí byť strašne objektovo.