Tartalomjegyzék:
- Meghatározás - Mit jelent a referencia-átláthatóság?
- A Techopedia magyarázza a referencia-átláthatóságot
Meghatározás - Mit jelent a referencia-átláthatóság?
A referencia-átláthatóság a program egy meghatározott részének vagy a programozási nyelvnek a tulajdonsága, különösen a funkcionális programozási nyelvek, például Haskell és R. A programban szereplő kifejezés referenciaként átlátható, ha helyettesíthető értékével, és az ebből eredő viselkedés ugyanaz, mint a változás előtt. Ez azt jelenti, hogy a program viselkedése nem változik, függetlenül attól, hogy a használt bemenet referencia vagy tényleges érték, amelyre a referencia mutat.
A Techopedia magyarázza a referencia-átláthatóságot
A referencia-átláthatóság az analitikus filozófiában gyökerezik, amely a filozófia egyik ága, amely a matematika és a logika módszerein alapuló természetes nyelvi konstrukciókat, érveket és állításokat tanulmányozza, és kevés köze van a programozáshoz, bár ezt számítógépes tudósok fogadták el.
A koncepció egyszerű, a „referencia”, amelyre egy kifejezés utal, felcserélhető a „hivatkozó” kifejezés jelentésének megváltoztatása nélkül. Például: "Luke apja gonosz ember", "Luke apja" "Darth Vader" -re utal a Csillagok háborújában. Tehát az állítás referenciálisan átlátható, mivel a "Luke apja" bármikor helyettesíthető "Darth Vader" kifejezéssel, és az állítás jelentése nem változtatna meg. Azonban a kijelentés, hogy "a közönség csak addig tudta, amíg a" Birodalom visszatér ", hogy Luke apja valójában Darth Vader", nem hivatkozási átlátható kifejezés, mivel ha "Luke apja" helyébe "Darth Vader" lép, akkor a kifejezés "a A közönség csak az 'The Empire Strikes Back' -ig tudta, hogy Darth Vader valójában Darth Vader ", amelynek teljesen más jelentése van.
A programozással kapcsolatban a koncepció első pillantásra ugyanaz, ám sok filozófus nem ért egyet azzal, hogy a koncepciót a programozási nyelveken jól alkalmazzák vagy átviszik. De az általános programozásban ez egyszerűen azt jelenti, hogy egy kifejezés helyettesíthető annak értékével, anélkül, hogy befolyásolná a program viselkedését. Például, a plusOne (x) függvény egyszerűen hozzáadja az egyiket x értékéhez, tehát ha tudjuk, hogy x = 5, akkor biztonságosan lecserélhetjük a függvényt a 6 értékre egy kifejezésben, amely ugyanazt a viselkedést eredményezheti, ha a plusOne-t használja (x). De ha van egy olyan külső változó, amelyet kívülről vezérelnek, mondjuk az plusY (x) függvényben, ahol az Y a függvényen kívül van vezérelve, akkor a kapott viselkedés nem lehet ugyanaz - ebben az esetben ez nem egy referenciálisan átlátszó kifejezés.
