Turinys:
Apibrėžimas - ką reiškia tipo išvada?
Tipo išvada - automatinis konkrečių išraiškų duomenų tipų atskaitymas programavimo kalba, paprastai atliekamas kompiliavimo metu. Tai apima programos analizę ir tada tam tikrų ar kai kurių išraiškų skirtingų tipų toje programoje nustatymą, kad programuotojui nereikėtų aiškiai įvesti ir apibrėžti duomenų tipus kiekvieną kartą, kai kintamieji naudojami programoje.„Techopedia“ paaiškina tipo išvadą
Tipo daryba dažnai yra funkcinių programavimo kalbų, o ne objektyvių kalbų, kompiliatoriaus bruožas. Kompiliatoriui ar vertėjui reikia tik minimalios informacijos, taip pat konteksto, kad išsiaiškintumėte, koks yra kintamojo ar išraiškos duomenų tipas.
Išvada algoritmas bando nustatyti argumentų tipus, taip pat grąžinimo vertės tipą, tada bando surasti konkrečiausią duomenų tipą, kuris veikia su visais argumentais. Kaip pagrindinį pavyzdį apsvarstykite funkciją Foo (a, b) = x + y; sudarytojas žino, kad „+“ operatorius paima du sveikus skaičius ir taip pat grąžina sveiką skaičių, todėl dabar kompiliatorius ar vertėjas gali daryti išvadą, kad Foo taip pat turi sveikąjį skaičių.
