Prvotřídní zpráva - First-class message

v objektově orientované programování, říká se, že programovací jazyk má prvotřídní zprávy nebo dynamické zprávy pokud v a volání metody nejen příjem objekt a seznam parametrů lze dynamicky měnit (tj. svázat s proměnnou nebo vypočítat jako výraz), ale také vyvolat konkrétní metodu.

Typové objektově orientované programovací jazyky, jako např Jáva a C ++, často nepodporují prvotřídní metody.[1] Pokec podporujte je pouze netypickým způsobem.[2] v Cíl-C (Kakao ), Můžeš použít NSInvocation reprezentovat prvotřídní zprávy způsobem, který si je vědom typů v době běhu; bezpečné používání se však stále spoléhá na programátora.

Určitého teoretického pokroku bylo dosaženo v podpoře prvotřídních zpráv v a typově bezpečné způsobem, ale žádný z navrhovaných systémů nebyl implementován v programovacím jazyce, možná kvůli jejich složitosti.[3]

Viz také

Poznámky

  1. ^ Shroff & Smith
  2. ^ Shroff & Smith
  3. ^ Shroff & Smith

Reference

  • Susumu Nishimura (1998). "Statické psaní pro dynamické zprávy". POPL '98.
  • Michelle Bugliesi & Silvia Crafa (1999). "Objektové výpočty pro dynamické zprávy". FOOL 6.
  • Martin Müller & Susumu Nishimura (2000). "Odvození textu pro prvotřídní zprávy s omezeními funkcí". International Journal of Foundations of Computer Science 11:1.
  • François Pottier (2000). "Všestranný odvozovací systém založený na omezeních". Severský žurnál výpočetní techniky.
  • Paritosh Shroff a Scott F. Smith. "Odvození textu pro prvotřídní zprávy se shodnými funkcemi".