Induktív analízis: Ha létezik valós paramétercsoport, és szeretnénk megváltoztatni ennek a tömbnek az elemeinek értékét a függvényben, akkor a tényleges részleges paraméter megfelelő kapcsolata 4, az alábbiak szerint 1. Mind fizikai, mind a valós paraméterek tömbneveket használnak Mivel az alakparaméter csoport x elfogadja a valós paramétercsoport első elemének a[0] címét, feltételezhető, hogy az alakparamétercsoport és a valós paramétercsoport egy memóriaegységet osztanak meg a függvényhívás során 2. A valós paramétercsoport neve, az alak referencia a mutatóváltozó A valós paraméter a a tömb neve, az x paraméter pedig az int * típusú mutatóváltozó, és a függvény meghívása után az x paraméter a[0]-ra mutat, azaz x=&a[0]. 3. A mutatóváltozót a valós paraméterhez használják A p és X paraméter mindkettő int * típusú mutatóváltozó, először a P mutató változót a tömbre mutatjuk, p értéke &a[0], majd P értéke továbbítódik az X paraméterhez, és x kezdeti értéke szintén &a[0], passz X értékének változása miatt X bármely A tömbelemre mutathat. 4. A valós paraméter az mutatóváltozó, az alakparaméter pedig a tömb neve A valós paraméter P mutatóváltozója, amely A[0]-ra mutat. A paraméter egyben egy x nevű tömb, és a fordítási rendszer X-et mutatóváltozóként kezeli, majd most az a[0] címét továbbítja az X paraméternek, így X is az a[0]-ra mutat. Érthető továbbá az X és A paramétercsoportok létrehozásaként is, amelyek egy memóriaegységet osztanak meg.
|