เสมือนจริงหรือนามธรรมสิ่งที่อยู่ในชื่อ?

ในขณะที่พูดคุยเกี่ยวกับคำถามเกี่ยวกับฟังก์ชั่นเสมือนจริงบน Stack Overflow ฉันสงสัยว่ามีการตั้งชื่ออย่างเป็นทางการสำหรับฟังก์ชั่นเสมือนจริง (นามธรรม) และไม่ใช่บริสุทธิ์หรือไม่

ฉันใช้วิกิพีเดียเป็นประจำสำหรับข้อมูลของฉันซึ่งระบุว่าฟังก์ชั่นเสมือนที่บริสุทธิ์และไม่บริสุทธิ์เป็นคำทั่วไป น่าเสียดายที่บทความไม่ได้สำรองไว้พร้อมกับที่มาหรือข้อมูลอ้างอิง

เพื่ออ้างอิงคำตอบของ Jon Skeet กับคำตอบของฉันว่าบริสุทธิ์และไม่บริสุทธิ์เป็นคำทั่วไปที่ใช้:

@ สตีเว่น: อืม ... เป็นไปได้ แต่ข้าเคยเห็นมันในบริบทของซีพลัสพลัสมาก่อน ฉันสงสัยว่าทุกคนที่พูดถึงพวกเขาน่าจะมีพื้นหลังเป็น C ++ :)

คำนี้มาจากภาษา C ++ หรือเป็นคำนิยามหรือนำไปใช้เป็นภาษาแรกและเป็นศัพท์ทางวิทยาศาสตร์ที่ 'เป็นทางการ' หรือไม่

UPDATE:

Frank Shearar ให้ลิงก์ไปยังคำอธิบายของSIMULA 67 Common Base Language (1970) อย่างเป็นประโยชน์ ภาษานี้ดูเหมือนว่าจะเป็นภาษาแรกที่จะแนะนำคำหลัก OO เป็นระดับ , วัตถุและยังเสมือนเป็นแนวคิดที่เป็นทางการ มันไม่ได้กำหนดบริสุทธิ์ / ไม่ใช่บริสุทธิ์หรือนามธรรมแต่มันไม่สนับสนุนแนวคิด

ใครเป็นคนกำหนด

Nygaard และดาห์ลใช้ในระยะแรกในSimula 67 สามัญฐานภาษา ดูในหัวข้อ 2.1 ตัวอย่างเช่นและส่วน 2.2.3 (เท่าที่ฉันสามารถบอกได้อย่างน้อยที่สุด แต่เดี๋ยวก่อนเท่าที่ OOP กังวลก็อาจเป็นการใช้คำศัพท์ครั้งแรก)

ดังนั้น ... ฉันทำวิจัยเล็กน้อย บทเรียนต่อไปนี้เป็นบทเรียนประวัติศาสตร์เล็กน้อยสำหรับผู้ที่สนใจ :) ข้ามไปยังข้อสรุปที่ด้านล่างหากคุณสนใจคำตอบเท่านั้น

พ.ศ. 2510 :

Simula 67 , เชิงวัตถุภาษาการเขียนโปรแกรมครั้งแรกกำหนดเป็นคำหลักชั้น , วัตถุ , โทรโดยการอ้างอิง , โทรโดยค่าและเสมือน

ระบบการสืบทอดของ SIMULA นั้นเป็นที่รู้จักกันในชื่อเดิมคือconcatenation (และต่อมารู้จักกันในชื่อprefixing ) ซึ่งอ้างถึงความจริงที่ว่ารหัสของ supertypes ถูกคัดลอกและ 'concatenated' พร้อมรหัสย่อย ต่อมาอีกรูปแบบหนึ่งของระบบการสืบทอดเกิดขึ้นการมอบหมายที่การโทรได้รับการมอบหมายโดยการอ้างอิงถึงประเภทที่ถูกต้อง

เสมือนมีแนวโน้มมากที่สุดหมายถึงกระบวนการที่จะต้องดำเนินการเพื่อส่งการเรียกร้องให้การดำเนินงานที่ถูกต้องโดยใช้ตารางวิธีเสมือน มันเสมือนจริงเมื่อเทียบกับการใช้งานแบบถาวร / เป็นรูปธรรม

พ.ศ. 2514 :

Niklaus Wirth เขียนเกี่ยวกับแนวคิดที่กำหนดเป็นการปรับแต่งแบบขั้นตอนแบบขั้นตอนการปรับแต่งโดยทั่วไปจะอธิบายวิธีแบ่งโปรแกรมในโซลูชันบางส่วนซึ่งสามารถขยายได้

1974 :

นี่คือกระดาษแรกสุดที่ฉันค้นพบซึ่งเหรียญประเภทข้อมูลนามธรรมโดยบาร์บาร่าลิสคอฟลิสคอฟ

ชนิดข้อมูลนามธรรมจะกำหนดคลาสของวัตถุนามธรรมซึ่งมีลักษณะที่สมบูรณ์โดยการดำเนินการที่มีอยู่ในวัตถุเหล่านั้น ซึ่งหมายความว่าประเภทนามธรรมสามารถกำหนดได้โดยการกำหนดลักษณะการดำเนินงานสำหรับประเภทนั้น เมื่อโปรแกรมเมอร์ใช้ประโยชน์จากวัตถุข้อมูลนามธรรมเขามีความกังวลเฉพาะกับพฤติกรรมที่วัตถุนั้นจัดแสดง แต่ไม่ได้มีรายละเอียดใด ๆ ว่าพฤติกรรมนั้นสำเร็จได้อย่างไรโดยการใช้งาน

บทความนี้ยังกำหนดคลัสเตอร์การดำเนินการซึ่งดูเหมือนจะระบุสิ่งที่เรารู้ว่าเป็นอินเทอร์เฟซอินเตอร์เฟซ

คำศัพท์ทางวิทยาศาสตร์ที่น่าสนใจ (บทความจากปี 1996):

มรดก : กลไกระดับต่ำที่วัตถุหรือคลาสสามารถแชร์ลักษณะการทำงานหรือข้อมูลได้

ชนิดย่อย : แสดงความเชี่ยวชาญเฉพาะทาง รูปแบบเฉพาะของการสืบทอดที่เรียกว่าอินเตอร์เฟซการรับมรดก

หลักการที่เป็นนามธรรม : กระบวนการในการจัดระเบียบความรู้ของเราเกี่ยวกับโดเมนแอพพลิเคชั่นไปสู่การจัดอันดับลำดับขั้นของการเรียงลำดับของ abstractions เพื่อให้ได้ความเข้าใจที่ดีขึ้นของปรากฏการณ์ที่เกี่ยวข้อง

abstractions นำมาใช้บางส่วน : abstractions ซึ่งมีคำจำกัดความที่ถูกทิ้งไว้โดยไม่ตั้งใจ

คลาสนามธรรม : คำศัพท์เฉพาะสำหรับการนำไปใช้บางส่วนคลาสที่ในระบบเชิงวัตถุ

การสืบทอดแบบไม่ จำกัด : อนุญาตให้การดำเนินการถูกกำหนดใหม่ (หรือลบออก) ในคลาสย่อย

มรดกที่เข้มงวด : การสืบทอดที่เข้ากันได้กับพฤติกรรม

ข้อสรุป :

คลาสนามธรรมเป็นคำทั่วไปที่ใช้ในระบบเชิงวัตถุ ดูเหมือนว่าฟังก์ชั่นเสมือนที่บริสุทธิ์และไม่บริสุทธิ์นั้นมาจาก C ++ เท่านั้น ตัวอย่างเช่นการสัมภาษณ์กับ Stroustrupทำให้ดูเหมือนว่าเขาคิดค้นคำศัพท์ เอกสารทางวิทยาศาสตร์ใช้คำศัพท์ทั่วไปมากกว่า

เสมือนมาจาก SIMULA ซึ่งทำให้การใช้งานแพร่หลาย แต่ก็ไม่ใช่คำทั่วไป มันกำหนดรายละเอียดการใช้งานไปแล้ว การพูดในลักษณะของการถ่ายทอดทางพันธุกรรมมีความเหมาะสมมากกว่า ไม่เสมือนโดยค่าเริ่มต้นสอดคล้องกับการสืบทอดที่เข้มงวดโดยค่าเริ่มต้นในขณะที่เสมือนโดยค่าเริ่มต้นสอดคล้องกับการสืบทอดที่ไม่ จำกัด

ใครสนใจปรับรายการวิกิพีเดีย ? :)

ใน C ++ ฟังก์ชันสมาชิกที่ถูกผูกไว้แบบไดนามิกและสามารถถูกแทนที่โดยคลาสย่อยเรียกว่า "virtual" ฟังก์ชั่นเสมือนจริงที่ต้องถูกแทนที่อย่างแน่นอนเรียกว่า "pure virtual" โปรดทราบว่าฟังก์ชั่นเสมือนบริสุทธิ์อาจมีร่างกายแม้ว่าบ่อยครั้งที่มันไม่ได้ คลาสที่มีฟังก์ชันเสมือนบริสุทธิ์อย่างน้อยหนึ่งฟังก์ชันเรียกว่า "นามธรรม" และไม่สามารถสร้างอินสแตนซ์ได้ซึ่งมาจากเท่านั้น

ฉันเดาว่าทำไมฟังก์ชั่นเสมือนถูกเรียกว่าเวอร์ชวลคือความจริงที่ว่ามันไม่เป็นที่รู้จักซึ่งจะเรียกฟังก์ชั่นที่เกิดขึ้นจริงในเวลารวบรวม เรียกว่าฟังก์ชั่นเสมือน "ไม่มี" ในเวลารวบรวม

ฉันคาดเดาด้วยว่าเหตุผลที่ใช้คำว่า "นามธรรม" สำหรับคลาสที่มีฟังก์ชั่นเสมือนจริงนั่นก็คือคุณไม่สามารถมีวัตถุใด ๆ ในคลาสนั้นได้ ในความรู้สึกมันเป็นแนวคิดที่เป็นนามธรรมห่างไกลจากโลกวัตถุที่เป็นรูปธรรม

แก้ไข:ภาษาอื่น ๆ

เท่าที่คำถามของคำว่า "เสมือน" ทั่วไปนี่คือสองเซ็นต์ของฉัน ใน Smalltalk ฟังก์ชั่นทั้งหมดใช้การเชื่อมโยงแบบไดนามิกดังนั้นจึงมีเสมือนทั้งหมดและไม่จำเป็นต้องมีคำศัพท์พิเศษหรือคำสำคัญภาษา ใน Java หากฉันไม่เข้าใจผิดคอมไพเลอร์จะตัดสินใจโดยอัตโนมัติว่าควรใช้การเชื่อมแบบไดนามิกหรือไม่ดังนั้นตราบใดที่โปรแกรมเมอร์มีความกังวลก็ไม่มีความแตกต่างและดังนั้นจึงไม่มีคำหลัก "เสมือน"

ใน C ++ ความแตกต่างระหว่าง virtual และ non-virtual เป็นสิ่งที่จำเป็นเพราะมันขึ้นอยู่กับโปรแกรมเมอร์ที่จะตัดสินใจว่าควรใช้การผูกแบบไดนามิกเพื่อบันทึกบนโอเวอร์เฮดเมื่อไม่จำเป็น