|
|
|
|
|
|
|
Cílem této knihy je naučit čtenáře myslet jako erudovaný programátor. Tento způsob myšlení spojuje některé z výtečných rysů matematiky, jakož i technických a přírodních věd. Programátoři stejně jako matematici používají formálního jazyka k vyjádření svých myšlenek. Stejně jako inženýři i oni navrhují objekty sestavováním částí do celků a porovnávají výsledky jednotlivých alternativ. Stejně jako vědci i programátoři pozorují chování komplexních systémů, tvoří hypotézy a předpoklady výsledků.
Nejdůležitější dovedností programátora je schopnost řešit problém. Řešit problém vyžaduje schopnost jej formulovat, tvořivě přemýšlet o možnostech řešení a zvolené řešení potom jasně a stručně vyjádřit. Učit se programovat je vynikající příležitost pro osvojení těchto dovedností.
Budeme se tedy jednak učit programovat, což je užitečná dovednost sama o sobě, jednak budeme programování používat jako prostředek k dosažení jistého cíle. Jak budeme v učení postupovat, bude se nám tento cíl stávat zřejmější.
Přirozené jazyky jsou jazyky, kterými lidé hovoří - čeština, angličtina, španělština, atd. Tyto jazyky nebyly člověkem vytvořeny (i když se snaží jim vnutit jistá pravidla), vyvinuly se přirozenou cestou.
Formální jazyky jsou jazyky, které sestavil člověk pro nějaký účel. Matematika například používá svůj formální jazyk k vyjádření vztahů mezi čísly a symboly. Chemici používají svůj formální jazyk k zobrazení chemických struktur.
Programovací jazyky jsou formální jazyky, které byly vytvořeny jako výrazový prostředek pro usměrnění práce počítače.
Formální jazyky mívají přísná pravidla pro skladbu (syntaxi). Například, 3+3=6 je syntakticky správný matematický výraz, ne už 3=+6$. H2O je syntakticky správné chemické označení, na rozdíl od 2Zz.
Pravidla skladby jsou dvojího druhu. Ty, které určují použitelné znaky (tokens) a ty, které určují jejich vzájemné propojení (strukturu). Znaky jsou základní prvky jazyka, jako jsou slova, čísla a chemické prvky. Jedním z problémů zápisu 3=+6$ je to, že $ není legálním znakem v matematice. Podobně zápis 2Zz není legální proto, že neexistuje chemický prvek se zkratkou Zz.
Druhý typ chybné skladby souvisí se strukturou výrazů, to je se způsobem, jakým jsou znaky uspořádány. Výraz 3=+6$ je skladebně nesprávný, protože nelze umístit znak plus bezprostředně za rovnítko. Rovněž tak označení molekul musí mít index za jménem, nikoliv před ním.
Čteme-li větu v angličtině či češtině nebo výraz formálního jazyka, musíme rozpoznat, jaká je jejich skladba. Tomuto procesu, který u přirozeného jazyka provádíme podvědomě, říkáme parsing, neboli analýza skladby.
Slyšíme-li například větu "Svíce mu dohořela", rozumíme, že "svíce" je podmět a "dohořela" je přísudek. Jakmile takto rozebereme větu, můžeme usoudit co vyjadřuje, neboli určit její sémantiku. Za předpokladu ovšem, že víme co znamená slovo svíce a co slovo dohořela.
I když formální a přirozené jazyky mají mnho společných rysů - znaky, strukturu, syntaxi a sémantiku - mají také mnoho rozdílů:
Protože přirozený jazyk používáme od nejútlejšího dětství, můžeme mít problémy s používáním formálního jazyka. Někdy lze rozdíl mezi formálním a přirozeným jazykem přirovnat v menší míře k rozdílu mezi prózou a poezií.
Zde je několik rad pro čtení programů (a jiných formálních jazyků). Za prvé, mějme na paměti, že text formálního jazyka je významově zhuštěnější než text přirozeného jazyka a proto jeho čtení zabere více času. Také jeho struktura je velice důležitá, takže nebývá dobrým nápadem číst pouze zhora dolů, zleva doprava. Místo toho si zvykejme provádět v mysli rozbor skladby (parsing), rozeznávaje znaky a hodnotíce strukturu. Nakonec nezapomínejme, že záleží na maličkostech. Nepřesnost, která nám projde v přirozeném jazyce, má ve formálním jazyce dalekosáhlý význam.
Program je posloupnost instrukcí, které určují jak má být výpočet proveden. Výpočtem může být řešení matematické úlohy, jako je např. řešení systému rovnic či určení kořenů polynomu nebo jím může být symbolický výpočet, jako je vyhledání a výměna textu v dokumentu nebo (kupodivu) kompilování programu.
Podrobnosti se v různých jazycích liší, ale některé základní instrukce se vyskytují téměř v každém jazyce:
Věřte či nevěřte, to je téměř všechno z programování. Každý program, který kdy použijete, jakkoliv komplikovaný, se bude skládat z instrukcí více či méně podobných výše uvedeným. Programování můžeme vlastně prezentovat jako proces rozdělování komplexní úlohy do menších a menších podúloh, až tyto podúlohy jsou tak jednoduché, že se dají provést pomocí těchto zákládních instrukcí.
Python je příkladem jazyka vyšší úrovně, stejně jako C++, PHP a Java.
Z označení "jazyk vyšší úrovně" lze usoudit, že také existují jazyky nižší úrovně. Je tomu skutečně tak, tyto jazyky se nazývají "strojové jazyky" nebo "jazyky assembleru". Přibližně lze říci, že počítače umějí realizovat pouze programy, psané v jazycích nižší úrovně. Proto musejí být programy psané v jazyce vyšší úrovně upraveny před tím než mohou být spuštěny, což je jejich určítá nevýhoda, neboť tato dodatečná úprava zabere jistý čas.
Výhody jsou zato obrovské. Za prvé, programovat v jazyce vyšší úrovně je mnohem snadnější. Programy psané v jazyce vyšší úrovně zaberou méně času k zapsání, jsou kratší a snadněji se čtou. Je větší pravděpodobnost, že se v nich nedopustíme chyb. Za druhé, jazyky vyšší úrovně jsou přenosné, což znamená, že mohou běžet na různých druzích počítačů s několika málo nebo žádnými úpravami. Jazyky nižší úrovně lze spustit pouze na jednom druhu počítače a pro jiný musí být přepsány.
Vzhledem k těmto výhodám jsou téměř všechny programy psány v jazycích vyšší úrovně. Program v jazyce vyšší úrovně se nazývá zdrojový kód (source code). Jazyky nižší úrovně (např. assemblery) se používají jen pro několik málo specializovaných aplikací.
Dva druhy programů přetvářejí jazyky vyšší úrovně na jazyky nižší úrovně: interprety a kompilátory. Interpret (nikoliv překladač) čte program psaný v jazyce vyšší úrovně a postupně jej po krátkých úsecích provádí, střídavě čtouce a realizujíce.
Kompilátor (compiler) přečte a přeloží program najednou buď přímo do strojového kódu (executable or binary code), který lze bez dalších úprav opakovaně spouštět, nebo do mezilehlého objektového kódu (object code), který lze dále zpracovat "exekutorem".
Výše zobrazené schéma používá Python pro převod zdrojového kódu na nezávisle spustitelný strojový kód.
Text pogramu, případně programového příkazu (zdrojový kód) je nejprve překladačem kompilován na objektový kód, který je posléze programovou smyčkou, zvanou PVM (Python Virtual Machine), zpracován pro výstup.
Programový balík Pythonu se běžně skládá ze tří částí:
Existují dva způsoby použití překladače Pythonu - interaktivní režim (shell mode) a programový režim (program mode). V interaktivním režimu píšeme text kódu do okna interaktivní konzoly (shell); překladač tento text přečte, vyhodnotí a vrátí (vytiskne) výsledek. V dalším textu budiž tato konzola označována zkratkou IPP (interaktivní prostředí Pythonu):
Python 3.3.0 (default, Sep 29 2012, 10:55:48) [MSC v.1600 32 bit (Intel)] on win32 Type "help", "copyright", "credits" or "license" for more information. >>> 2+3 5
Skupina znaků >>> se nazývá prompt (výzva) a překladač jím naznačuje, že je připraven přijímat instrukce. Zapsali jsme print(2+3), překladač náš výraz vyhodnotil a na dalším řádku odpověděl 5.
Práce v IPP je vhodná pro testování krátkých kódů. Činnost překladače ukončíme příkazy exit(), Ctrl+z, případně Ctrl+d v Linuxu.
Alternativně můžeme napsat program do souboru a použít překladače k provedení jeho obsahu. Takovému souboru říkáme skript. S použitím textového editoru vytvoříme soubor s názvem firstprogram.py v němž zapíšeme příkaz:# -*- coding:utf-8 -*- print(2+3)
Dle zavedené konvence dáváme souborům s programem v Pythonu příponu .py . Podle této přípony pozná překladač, že se jedná o soubor, obsahující kód Pythonu.
> python firstProgram.py 5
Kompilované soubory překladač ukládá do souborů s příponou .pyc.
Pro spouštění skriptů můžeme kromě IPP s výhodnou použít program IDLE nebo PyScripter. PyScripter je nejlepší ze všech světů.
V zobrazené ukázce vidíme otevřené okno programu IDLE (Python Shell), kde jsem příkazem File > New otevřel okno senzitivního editoru, do něhož jsem zapsal text programu, uložil a příkazem Run > Run Module spustil jeho provedení - v konzole se vynořil výsledek 5.
Skript Pythonu se normálně skládá pouze ze znaků sady ASCII (0-127). Použijeme-li na prvním nebo druhém řádku kódovací direktivu s kódováním např. # -*- coding:utf-8 -*-, můžeme toto kódování použít v komentářích a v řetězcích.
Programování je složitý proces a protože jej provádí lidská bytost, je často provázeno chybami. Chyba v programu je z potměšilých důvodů označována jako bug (štěnice, veš) a proces vyhledávání chyb a jejich oprava se v originále logicky nazývá debugging (odvšivení), my používáme ladění.
V programu se mohou vyskytnout tři druhy chyb: chyby související se skladbou programu (syntax errors), s během programu (runtime errors) a s významem programu (semantic errors). Je užitečné mezi nimi rozlišovat kvůli jejich rychlejšímu vyhledání.
Python může provést výpočet jenom pro takový program, který má správnou skladbu (syntaxi). Nemá-li, je běh programu ukončen a překladač vrací chybové hlášení. Slovo syntaxe se vztahuje ke skladbě programu a k pravidlům skladby. V češtině i angličtině musí například věta začínat velkým písmenem a končit tečkou.
tato věta je chybná z hlediska syntaxe. Rovněž i tato
Pro většinu čtenářů nepředstavuje několik málo chyb v syntaxi výrazný problém, pročež můžeme číst některou moderní poezii aniž by naše vědomí produkovalo "chybová hlášení". Python takto snášenlivý není. Jakmile se kdekoliv v programu objeví syntaktická chyba, překladač vytiskne chybové hlášení, ukončí běh programu a nelze s ním hnout. V prvních týdnech naší programátorské kariéry strávíme pravděpodobně hodně času vyhledáváním takovýchto chyb. Po nabytí jisté zkušenosti jich však už budeme dělat méně a rychleji je nalezneme.
Druhým typem chyb je chyba při běhu programu. Takováto chyba se neobjeví dříve, než program spustíme. Tyto chyby se také nazývají výjimky (exceptions), protože obvykle ukazují na to, že se stalo něco mimořádného (a špatného).
V jednoduchých programech počátečních kapitol se exekuční chyby vyskytnou vzácně, takže se s nimi setkáme patrně až v pozdějších kapitolách.
Třetím typem chyb jsou chyby významové (sémantické). Objeví-li se v programu sémantická chyba, proběhne program úspěšně v tom smyslu, že se neobjeví žádné chybové hlášení, ale program neprovede to, co jsme zamýšleli. Provede něco jiného. Přísně vzato, provede to, co jsme mu řekli, aby provedl.
Problém spočívá v tom, že program, který jsme napsali, není ten program, který jsme chtěli napsat. Vyznění programu (jeho sémantika) je špatné. Nalezení sémantických chyb může být někdy náročné, protože to vyžaduje zpětné porovnávání výstupu s tím, co jej v programu způsobuje.
Vyhledávání chyb je nejdůležitější dovednost, kterou potřebujeme získat. I když to může být frustrující, vyhledávání chyb je intelektuálně nejbohatší, nejnáročnější a nejzajímavější část programování.
Svým způsobem připomíná hledání chyb práci detektiva. Jsme konfrontováni s indiciemi z nichž máme určit procesy a události, které vedly k výsledkům, jež máme před sebou.
Vyhledávání chyb je něco jako experimentální věda. Jakmile nás napadne, v čem může chyba spočívat, upravíme program a vyzkoušíme jej. Byla-li naše hypotéza správná, můžeme získanou zkušenost zobecnit a použít příště. Nebyla-li naše hypotéza správná, musíme si vymyslet jinou. Jak jednou poznamenal Sherlock Holmes: "Poté, co jsme vyloučili nemožné, vše co zůstává, ať jakkoliv nepravděpodobné, musí být pravdivé". (A. Conan Doyle, Podpis čtyř)
Pro někoho splývá vyhledávání chyb s programováním. To jest programování jako postupné odstraňování chyb z programu, až posléze program dělá to, co si přejeme. Jinými slovy, začneme s programem, který "něco" správně dělá a postupně jej malými úpravami a debugováním přeměníme na fungující program, který dělá to, co si přejeme.
Linux například je operační systém, který obsahuje tisíce řádek kódu, ale původně to byl jednoduchý program, který Linus Torvalds sestavil ke zkoumání čipu Intel 80386 (The Linux User´s Guide, Beta Version).
V pozdějších kapitolách uvedeme více pokynů k ladění a k dalším programátorským technikám.
Tím jak se program stává větším a složitějším, stává se také méně přehledným. Formální jazyky jsou hutné a často je obtížné při pohledu na část kódu určit, co má být prováděno a proč.
Proto je dobré doplnit program poznámkami, které vysvětlují, co příslušná část programu má provádět. Poznámky či komentáře uvádíme symbolem #.
# compute the percentage of the hour that has elapsed percentage = (minute * 100) // 60
Poznámka je v tomto případě umístěna na samostatné řádce. Lze ji umístit také na konec řádky:
percentage = (minute * 100) // 60 # celočíselné dělení
Všechno od znaku # (hash) až do konce řádku je ignorováno - nemá na program žádný vliv. Informace je určena pro programátora nebo budocí programátory, kteří mohou programový kód používat. V tomto případě je čtenář upozorněn na vždy překvapující chování celočíselného dělení.
První program jsme si vlastně již napsali na konci odstavce 1.3. Byl to skutečný program, protože jsme jej zapsali do skriptu a jiným programem jsme jej spustili.
Protože ale bývá obvyklé začínat pozdravem "Hello World!", uvedeme si tuto ukázku alespoň dodatečně. V tomto případě se jak zápis kódu, tak jeho vyhodnocení a výstup uskuteční v IPP.
Současně s "prvním programem" se seznámíme s první funkcí, kterou budeme používat.
V Pythonu 2.x bychom použili příkaz:
>>> print "Hello, World!" Hello, World!
Uvozovky označují začátek a konec hodnoty, ve výsledku se neobjeví.
V Pythonu 3.x je print funkcí, a proto musíme použít závorky:
>>> print ("Hello, World!") Hello, World!
File "<stdin>", line 1
1 2
^
SyntaxError: invalid syntax
V mnoha případech Python ukáže místo, kde k chybě došlo, ale toto označení není vždycky
správné. Také příčina chyby není vždy podrobně uvedena. Takže nám nezbývá, než se řádně
naučit pravidla skladby. V našem příkladě si Python stěžuje, protože mezi čísly není
žádný operátor.
Traceback (most recent call last): File "<stdin>", line 1, in ? NameError: name 'tvaroh' is not definedToto je chyba při běhu programu, podrobněji NameError (chyba jména) a ještě více podrobněji to je chyba proto, že jméno tvaroh není definováno. Nevíte-li, co to znamená, nevadí, brzy na to přijde řeč.
'Toto je test ...'
Co se stane, když ten skript spustíte? ... Nyní změňte obsah takto:
print('Toto je test ...')uložte a spusťte jej znova. Co se stalo tentokrát?
|
|
|
|
|
|
|