第一類物件











第一類物件（英语：First-class object）在電腦科學中指可以在執行期創造並作為參數傳遞給其他函數或存入一個變數的實體[1]。將一個實體變為第一類物件的過程叫做「物件化」（Reification）[2]。


「第一類物件」這一名稱最早由克里斯托弗·斯特雷奇在1960年代發明，原稱「第一類公民」（First-class citizen），意指函數可作為電腦語言中的第一類公民。英文中也稱「First-class entity」或「First-class value」。




目录






  • 1 历史


  • 2 定義


  • 3 範例


  • 4 参考文献





历史


第一类对象和第二类对象的概念，在1960年由克里斯托弗·斯特雷奇引入。[3][4] 实际上他并没有给出严格的术语定义，而是给出了ALGOL语言中实数和过程的对比：


第一类对象和第二类对象。在Algol程序语言中，一个“实数”可能会出现在一个表达式中或被赋给一个变量,并可能在过程调用中作为实际参数出现。而“过程”只可能会出现在另一个过程调用中，最常见的是作为操作符，有时候也作为实参。除此之外，没有表达式会涉及到过程，或者将过程作为计算结果。因此在某种意义上，在Algol程序语言中的过程是第二类变量，它们总是会单独出现,不可能被一个表达式或一个变量表示(形式参数除外)…[5]


在1990年代，拉斐尔芬克尔[6] 提出了第二类值和第三类值的定义，但这些定义尚未被广泛采用。[7]



定義


第一類物件不一定是物件導向程式設計所指的物件，而可以指任何程式中的實體。一般第一類物件所特有的特性為：



  • 可以被存入變數或其他結構

  • 可以被作為參數傳遞給其他函數

  • 可以被作為函數的返回值

  • 可以在執行期創造，而無需完全在設計期全部寫出

  • 即使沒有被繫結至某一名稱，也可以存在



範例


絕大多數語言中，數值與基礎型別都是第一類物件，然而不同語言中對函數的區別很大，例如C語言與C++中的函數不是第一類物件，因為在這些語言中函數不能在執行期創造，而必須在設計時全部寫好。相比之下，Scheme中的函數是第一類物件，因為可以用lambda語句來創造匿名函數並作為第一類物件來操作。



参考文献





  1. ^ Scott, Michael. Programming Language Pragmatics. San Francisco, CA: Morgan Kaufmann Publishers. 2006: 140. 


  2. ^ J. Malenfant, M. Jacques and F.-N. Demers. A Tutorial on Behavioral Reflection and its Implementation. parc.com. [2010-10-09]. （原始内容存档于2010-05-28）. 


  3. ^ Rod Burstall, "Christopher Strachey—Understanding Programming Languages", Higher-Order and Symbolic Computation 13:52 (2000)


  4. ^ Harold Abelson; Gerald Jay Sussman. 章节1.3.4 脚注64. Structure and Interpretation of Computer Programs [计算机程序的构造和解释] 2. [2015-03-03]. （原始内容存档于2015-03-09） （英语）. 


  5. ^ Christopher Strachey, "Fundamental Concepts in Programming Languages" in Higher-Order and Symbolic Computation 13:11 (2000); though published in 2000, these are notes from lectures Strachey delivered in August, 1967


  6. ^ R. Finkel. Advanced Programming language Design. : 73 （英语）. 


  7. ^ Norman Ramsey. About first-,second- and third-class value. Stackoverflow. [14 September 2013] （英语）. 









-

Popular posts from this blog

Lambaréné

Image
Place in Moyen-Ogooué, Gabon Lambaréné Street in Lambaréné Lambaréné Location in Gabon Coordinates: 0°41′18″S 10°13′55″E  /  0.68833°S 10.23194°E  / -0.68833; 10.23194 Coordinates: 0°41′18″S 10°13′55″E  /  0.68833°S 10.23194°E  / -0.68833; 10.23194 Country   Gabon Province Moyen-Ogooué Population (2013 census)  • Total 38,775 Lambaréné is a town and the capital of Moyen-Ogooué in Gabon. With a population of 38,775 as of 2013, it is located 75 kilometres south of the equator. Lambaréné is based in the Central African Rainforest at the river Ogooué. This river divides the city into 3 districts: Rive Gauche, Ile Lambaréné and Rive Droite. The Albert Schweitzer Hospital and the districts Adouma and Abongo are located on Rive Droite. The districts Atongowanga, Sahoty, Dakar, Grand Village, Château, Lalala and Bordamur build the Ile Lambaréné. The majority of the people in Lambaréné live in the district Isaac located on Rive Gauche. This distr
Read more

Chris Pine

Image
Not to be confused with Christopher Pyne or Chris Pyne. Chris Pine Pine in 2018 Born Christopher Whitelaw Pine ( 1980-08-26 ) August 26, 1980 (age 38) Los Angeles, California, U.S. Alma mater UC Berkeley Occupation Actor Years active 2003–present Parent(s) Robert Pine Gwynne Gilford Relatives Anne Gwynne (grandmother) Christopher Whitelaw Pine (born August 26, 1980) [1] [2] is an American actor. Pine made his feature debut as Lord Devereaux in The Princess Diaries 2: Royal Engagement (2004). He is known for playing James T. Kirk in the Star Trek reboot film series (2009–2016), Will in Unstoppable (2010), Cinderella's Prince in Into the Woods (2014), Jack Ryan in Jack Ryan: Shadow Recruit (2014), Toby Howard in Hell or High Water (2016), Bernie Webber in The Finest Hours (2016), Steve Trevor in Wonder Woman (2017), and Dr. Alexander Murry in A Wrinkle in Time (2018). Contents 1 Early life 2 Career 2.1 2003–200
Read more

Kashihara Line

Image
Kashihara Line   B   A Kashihara Line train passing Yakushi-ji temple Overview Native name 橿原線 Type Commuter rail System Kintetsu Railway Locale Nara, Nara, Japan Yamtokoriyama, Nara, Japan Tenri, Nara, Japan Kawanishi, Nara, Japan Miyake, Nara, Japan Tawaramoto, Nara, Japan Kashihara , Nara, Japan Termini Yamato-Saidaiji Kashiharajingu-mae Stations 17 Operation Opened April 1, 1921 ; 98 years ago  ( 1921-04-01 ) Owner Kintetsu Railway Character Commuter rail Technical Line length 23.8 km (14.8 mi) Track gauge 1,435 mm ( 4 ft  8   1 ⁄ 2  in ) Minimum radius 240 m Electrification 1,500 V DC Overhead lines Operating speed 100 km/h (60 mph) [1] The Kashihara Line ( 橿原線 , Kashihara-sen ) is a 23.8 km (14.8 mi) north-south bound railway line in Nara Prefecture, Japan, owned and operated by the Kintetsu Railway, a private railway operator. It connects Yamato-Saidaiji Station and Kashiharajingu
Read more