Típusszerkezet
A Harbour erősen típusos, típus biztonságos nyelv. Dinamikus típusellenőrzés jellemzi. Tíz beépített adattípus van a Harbourban.
Elemi típusok
A skalár típusok egyetlen értéket hordoznak. Ez lehet szám, szöveg vagy akár egy másik típusra utaló referencia. A Harbourban hat elemi típus létezik:
- Nil: a
NIL. - String: szöveg, nem karakterek tömbje, nem is összetett típus. Példák:
"bla",'bla',[bla]. - Date: dátum típus, például
0d20110102. - Logical: logikai, az igazat
.T., a hamisat.F.jelöli. - Number: szám. Példák:
1,1.1,-1,0xFF. - Pointer: mutató.
Típuskonstrukciók
Összetett típusból a Harbourban négy van definiálva:
- Array: skalár vagy összetett típusok rendezett, számokkal egytől indexelt listája. Példa:
{ "String"", 1, { "Nested Array" }, .T., FunctionCall(), @FunctionPointer() }. - CodeBlock: kódblokk. Referencia szerinti értékátadás jellemzi. Bizonyos esetekben túlélheti a rutint, ahol definiálták, és minden változó, amire hivatkozik, leválik róla. Példa:
{ |Arg1, ArgN| Arg1 := ArgN + OuterVar + FunctionCall() }. - Hash: asszociatív tömb, tetszőleges típust tartalmazhat, akár másik hash-t is. Példa:
{ "Name" => "John", 1 => "Numeric key", { "Nested" => "Hash" } }. - Object: objektum.
Változók
Minden típushoz megnevezhetünk változókat. Az alábbi négy hatáskör valamelyike vonatkozhat egy változóra:
- LOCAL: A változó csak azon a rutinon belül látható, ahol deklarálták. A rutin végeztével elvész a változó értéke.
- STATIC: Csak azon a rutinon belül látható a változó, ahol deklarálták. Értékét megőrzi a rutin későbbi hívására. Ha STATIC változót eljárás, függvény vagy metódus definiálnása előtt deklarálunk, akkor a változó a forrásfájlon belül minden rutinban látható lesz – megőrzi az élettartamát az applikáció teljes futása alatt.
- PRIVATE: A változó azon a rutinon belül látható, ahol deklarálták, és ott, ahol ez a rutin meghívásra kerül.
- PUBLIC: Az programon belül minden rutinban látható.
A LOCAL és a STATIC változók fordítási időben kerülnek kiértékelésre. Kiértékelésük sokkal gyorsabb, mint a PRIVATE vagy a PUBLIC változóké, amelyek dinamikus elérésűek, és futási időben értékelődnek ki. Ugyanezért a LOCAL és STATIC változók nem kerülnek a makró fordítóhoz, és minden makró kód, amely rájuk hivatkozik, runtime errort fog okozni. A PRIVATE és PUBLIC változók dinamikus természetükből adódóan futási idő alatt hozhatók létre és távolíthatóak el, érhetőek el és módosíthatók runtime makrókkal és CodeBlockokkal.
Macro Operator
A Macro Operator („&”) futásidejű fordító, jellemzően hatékony része az xBase nyelveknek. A Harbour implementációja a Macro Operatorra lehetővé teszi a futási idejű fordítást bármely érvényes Harbour kifejezés esetén. Bármely lefordított kifejezés használható úgy, mint egy érték az értékadás jobb oldalán, de érdekes módon használható balérték kiértékelésére is (PRIVATE és PUBLIC változók, vagy adatbázis mezők). A Macro Operator lefordíthatja, és egyúttal végrehajthatja a függvényhívásokat, az értékadásokat is. A makró eredménye a lefordított applikációban kiértékelésre használható. Bármely Harbour program kiterjeszthető és módosítható futási időben, és igény szerint bővíthető további kóddal.
Szintaxisa a következő:
&( … ): a zárójelen belüli szöveg le lesz fordítva, és a végrehajtott kód eredményéül kapott érték lesz az eredmény.&SomeId: rövid megfelelője a&( SomeId )kifejezésnek.&SomeId.postfix: rövid megfelelője a&( SomeId + "postfix" )kifejezésnek.