A programozásban egy visszatérési típus vagy eredménytípus határozza meg és korlátozza a metódus vagy függvény által visszaadott adatok típusát . Sok programozási nyelvben (különösen a statikusan beírt nyelvekben , mint például a Java , C++ és C ) a visszatérési típust kifejezetten deklarálni kell egy függvény deklarálásakor.
A C nyelv az operátor segítségével egyéni értékeket ad vissza a hívókódhoz return, vagy az alapértelmezett értéket, amikor a függvény automatikusan befejeződik a záró kapcsos kapcsos zárójel után. Ugyanakkor a függvénynek több operátora returnis lehet, amelyek előre meghatározott feltételektől függően hívhatók.
Minden függvénytípus, kivéve a void típust , az operátorban szereplő kifejezés által megadott értéket adja vissza return. A C89 szabvány lehetővé tette egy utasítás végrehajtását returnanélkül, hogy egy olyan függvényen belüli kifejezést adott volna meg, amelynek típusa nem volt érvénytelen, ebben az esetben tetszőleges értéket adna vissza. De a C99 szabvány már szabályozta a visszatérési érték kötelező feltüntetését. Vagyis ha van arra utaló jel, hogy a függvény értéket ad vissza, akkor azt előre meg kell adni az operátornak return. Ebben az esetben egy nem void típusú függvény végrehajtása esetén tetszőleges értéket ad vissza.
A C nyelv lehetőséget biztosít arra is, hogy mutató függvényt adjon vissza. Ahhoz, hogy egy függvény mutatót adjon vissza, deklarálni kell, hogy a mutatót a kívánt típusra adja vissza. Vagyis a visszaadott mutató típusát kifejezetten meg kell adni. Például nem deklarálhat egy visszatérési típust int *-ként, ha egy char * típusú mutatót ad vissza. Ha „általános” mutatót kell visszaadni (vagyis olyan mutatót, amely bármilyen típusú adatra mutathat), a függvény visszatérési típusát void * [1] értékkel kell megadni .
Java példa:
nyilvános int valamilyen módszer ()Itt a visszatérési típus int (integer). Így egy program támaszkodhat olyan metódusra, amely int értéket ad vissza . Azokban az esetekben, amikor egy szubrutin (függvény) nem ad vissza semmilyen értéket, különféle mechanizmusokat alkalmaznak, például: a visszatérési típus bizonyos programozási nyelvekben érvénytelen :
public void returnSemmi ()