เหตุใดวิธีการคงที่จึงถือว่าเป็นวิธีการ

ฉันกำลังเขียนคำอธิบายรหัสสำหรับหลักสูตรและบังเอิญใช้คำmethodและfunctionสลับกันไปมา ฉันตัดสินใจที่จะกลับไปแก้ไขคำพูดนั้น แต่ก็พบกับช่องโหว่ในความเข้าใจของฉัน

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

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

ด้วยเหตุนี้จึงไม่ควรนิ่งmethodsเป็นฟังก์ชันใช่หรือไม่?

ตามความหมายของพวกเขาพวกเขาไม่ได้ดำเนินการกับกรณีเฉพาะของคลาส พวกเขา "ผูก" กับชั้นเรียนเพราะความสัมพันธ์เท่านั้น ฉันเคยเห็นไซต์ที่ดูดีสองสามแห่งที่อ้างถึงรูทีนย่อยแบบคงที่เป็น "วิธีการ" แม้ว่า ( Oracle , Fredosaurus , ProgrammingSimplified ) ดังนั้นพวกเขาทั้งหมดมองข้ามคำศัพท์หรือฉันพลาดอะไรบางอย่าง (ฉันเดาว่าเป็นอย่างหลัง) .

ฉันต้องการให้แน่ใจว่าฉันใช้ถ้อยคำที่ถูกต้อง
ใครช่วยเคลียร์เรื่องนี้ได้ไหม

คำพูดจาก8.4.3.2นี้อาจช่วยได้:

วิธีการที่จะมีการประกาศstaticจะเรียกว่าเป็นวิธีการเรียน

เมธอดที่ไม่ได้ประกาศstaticเรียกว่าอินสแตนซ์เมธอด [... ]

• วิธีการคลาส: เชื่อมโยงกับคลาส
• วิธีการอินสแตนซ์: เชื่อมโยงกับอินสแตนซ์

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

คำตอบง่ายๆก็คือเมื่อ Java ตัดสินใจเรียกทุกอย่างว่า "วิธีการ" พวกเขาไม่สนใจเกี่ยวกับความแตกต่างระหว่างฟังก์ชันและวิธีการในวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี

วิธีการคงที่ไม่ได้เป็นหน้าที่อย่างแท้จริงความแตกต่างนั้นบอบบาง แต่สำคัญ

วิธีการคงใช้ป้อนพารามิเตอร์ได้รับเพียงเป็นหลักฟังก์ชั่น

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

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

ใน Java คลาสที่ผู้ใช้กำหนดเองเป็นอินสแตนซ์ของคลาสย่อยของ java.lang.Class

ในแง่นี้วิธีการแบบคงที่จะแนบมากับอินสแตนซ์ของคลาสแนวคิด: พวกเขาจะแนบกับอินสแตนซ์ของคลาสย่อยของ java.lang.Class

ด้วยเหตุนี้คำว่า "class method" (ชื่อทางเลือกสำหรับวิธีการคงที่ของ Java) จึงเริ่มมีความหมาย และคำว่า "class method" สามารถพบได้ในหลาย ๆ ที่: Objective C, Smalltalk และ JLS - เพื่อตั้งชื่อเพียงไม่กี่อย่าง

ในฟังก์ชันวิทยาศาสตร์คอมพิวเตอร์มีแผนที่ชัดเจนกับวิธีคงที่ แต่ "วิธีการ" ของคลาสเป็นบิตทั่วไปเช่น "สมาชิก" (สมาชิกเขตข้อมูลสมาชิกวิธีการ) มีคำพูดเช่น

สมาชิกข้อมูลและสมาชิกเมธอดมีช่องว่างชื่อสองช่อง: .x และ. x () สามารถอยู่ร่วมกันได้

ดังนั้นเหตุผลก็คือดังที่นักปรัชญาลุดวิกวิตต์เกนสไตน์กล่าวไว้ว่าภาษาเป็นเครื่องมือที่มีบริบทต่างกัน "Method" เป็นชื่อเล่นที่ดีในการอ้างอิงด้านบนเพื่อจัดหมวดหมู่ "สมาชิก"

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

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

วิธีการอินสแตนซ์ (ไดนามิก)

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

วิธีคลาส (คงที่)

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

นี่คือคำศัพท์อีกคำหนึ่งที่ใช้Scalaเป็นตัวช่วย
ในการจำ: ใน Scala คุณมีobjects ซึ่งเป็นอินสแตนซ์เดี่ยวของคลาสที่กำหนดโดยนัย1 .

ตามคำจำกัดความของคุณเราสามารถเรียกรูทีนย่อยเหล่านี้ที่เป็นของobject เมธอดได้เนื่องจากทำงานบนอินสแตนซ์เดียวของคลาส
นอกจากนี้วัตถุยังจะกำหนดชั้นและสร้างทุกวิธีการในวัตถุเป็นวิธีการคงที่ในระดับ A (สำหรับการเชื่อมต่อกับ Java) [2]

ดังนั้นเราจึงสามารถพูดได้ว่าเมธอดแบบคงที่ของคลาส Java A เข้าถึงสมาชิกเดียวกันกับอินสแตนซ์เดี่ยวของ Scala ซึ่งตามคำจำกัดความของคุณสมควรถูกเรียกว่าเมธอด (คงที่) ของคลาส A

แน่นอนความแตกต่างที่สำคัญคือ - วิธีการสามารถใช้เขตข้อมูลแบบคงที่ไม่เพียง แต่พารามิเตอร์วิธีการ แต่มีอีกอย่างหนึ่ง - ความหลากหลาย! ผลการประเมินคลาส A. doTheSameStaticMethod () และ ClassB.doTheSameStaticMehod () จะขึ้นอยู่กับคลาส ในกรณีนี้ฟังก์ชันจะไม่มีประสิทธิภาพ

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