请输入您要查询的百科知识:

 

词条 First-class message
释义

  1. See also

  2. Notes

  3. References

In object-oriented programming, a programming language is said to have first-class messages or dynamic messages if in a method call not only the receiving object and parameter list can be varied dynamically (i.e. bound to a variable or computed as an expression) but also the specific method invoked.

Typed object-oriented programming languages, such as Java and C++, often do not support first-class methods.[1] Smalltalk only support them in an untyped way.[2] In Objective-C (Cocoa), you can use NSInvocation to represent first-class messages in a way that is aware of the types at runtime; however, safe use still relies on the programmer.

Some theoretical progress has been made to support first-class messages in a type-safe manner, but none of the proposed systems has been implemented in a programming language, possibly due to their complexity.[3]

See also

  • Delegate (object-oriented programming)
  • First-class function

Notes

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

References

  • Susumu Nishimura (1998). "Static Typing for Dynamic Messages". POPL '98.
  • Michelle Bugliesi & Silvia Crafa (1999). "Object Calculi for Dynamic Messages". FOOL 6.
  • Martin Müller & Susumu Nishimura (2000). "Type Inference for First-Class Messages with Feature Constraints". International Journal of Foundations of Computer Science 11:1.
  • François Pottier (2000). "A versatile Constraint-based Type Inference System". Nordic Journal of Computing.
  • Paritosh Shroff & Scott F. Smith. "Type Inference for First-Class Messages with Match-Functions".
{{comp-sci-stub}}

2 : Object-oriented programming|Subroutines

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/12 13:01:12