เหตุใดตัวดำเนินการลูกศรใน C ++ จึงไม่ใช่เพียงนามแฝงของ *

ใน c ++ ตัวดำเนินการ * สามารถโอเวอร์โหลดได้เช่นกับตัววนซ้ำ แต่ตัวดำเนินการลูกศร (->) (. *) ไม่ทำงานกับคลาสที่โอเวอร์โหลดตัวดำเนินการ * ฉันจินตนาการว่าตัวประมวลผลล่วงหน้าสามารถแทนที่อินสแตนซ์ทั้งหมดของ -> ด้วย (* ซ้าย). right ได้อย่างง่ายดายและนั่นจะทำให้ iterators ดีกว่าที่จะใช้ มีเหตุผลในทางปฏิบัติสำหรับ -> แตกต่างหรือว่าเป็นเพียงลักษณะเฉพาะของภาษา / นักออกแบบ?

กฎที่foo->barเท่ากับ(*foo).barเก็บสำหรับตัวดำเนินการ builtin เท่านั้น

เอกoperator *ไม่ได้มีความหมายของตัวชี้ที่อ้างถึงเสมอไป ฉันสามารถสร้างห้องสมุดซึ่งมันหมายถึงเมทริกซ์ขนย้ายการแยกวิเคราะห์ตรงข้ามหรือเป็นศูนย์หรือมากกว่าอะไรก็ได้

มันจะทำให้ภาษาน่ารำคาญยิ่งกว่าเดิมหากมีสิ่งใดที่เกินความเป็นเอกภาพในoperator *ทันทีที่ได้รับสิ่งที่operator ->คุณไม่ได้ขอด้วยความหมายที่อาจไม่สมเหตุสมผล

operator -> สามารถโอเวอร์โหลดได้แยกต่างหากดังนั้นหากคุณต้องการคุณสามารถโอเวอร์โหลดได้อย่างง่ายดาย

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

#include <boost/make_shared.hpp>
#include <boost/shared_ptr.hpp>
#include <string>
#include <iostream>
#include <ostream>

struct Foo
{
    boost::shared_ptr<std::string> operator -> () const
    {
        return boost::make_shared<std::string>("trololo");
    }
};

int main()
{
    Foo foo;
    std::cerr << foo->size() << std::endl;
}

"ภาษาการเขียนโปรแกรม C ++" อธิบายถึงความจริงที่ว่าตัวดำเนินการเหล่านี้แตกต่างกันเพื่อให้สามารถเป็นได้ แต่ยังกล่าวด้วย:

ถ้าคุณให้โอเปอเรเตอร์เหล่านี้มากกว่าหนึ่งตัวมันอาจเป็นการฉลาดที่จะให้ความเท่าเทียมเช่นเดียวกับที่ควรทำเพื่อให้แน่ใจว่า++xและx+=1มีผลเช่นเดียวx=x+1กับตัวแปรอย่างง่ายxของคลาสบางคลาสหาก ++, + =, =, และ + มีให้

ดังนั้นจึงดูเหมือนว่านักออกแบบภาษาที่มีให้บริการจุดเกินพิกัดที่แยกจากกันเพราะคุณอาจต้องการที่จะเกินพวกเขาต่างกันมากกว่าสมมติว่าคุณมักจะต้องการให้เป็นแบบเดียวกัน

ตามกฎทั่วไป C ++ ได้รับการออกแบบมาเพื่อให้มีความยืดหยุ่นดังนั้นจึงมีการโอเวอร์โหลด*และ->แยกออกจากกัน แม้ว่ามันจะค่อนข้างผิดปกติ แต่ถ้าคุณต้องการแย่พอคุณสามารถเขียนโอเวอร์โหลดเหล่านั้นเพื่อทำสิ่งที่แตกต่างอย่างสิ้นเชิง (เช่นอาจทำให้ภาษาเฉพาะโดเมนดำเนินการภายใน C ++)

ที่กล่าวว่า iterators ทำสนับสนุนการใช้งานอย่างใดอย่างหนึ่ง ในการใช้งานแบบโบราณคุณอาจพบห้องสมุดที่ต้องการ(*iter).whateverแทนที่จะเป็นiter->whateverแต่ถ้าเป็นเช่นนั้นนั่นเป็นข้อบกพร่องในการนำไปใช้ไม่ใช่ลักษณะของภาษา เมื่อพิจารณาถึงปริมาณงานที่เกี่ยวข้องในการนำมาตรฐาน / อัลกอริธึม / ตัววนซ้ำทั้งหมดมาใช้จึงไม่น่าแปลกใจที่การเผยแพร่ในช่วงแรก ๆ นั้นไม่สมบูรณ์ แต่พวกเขาไม่เคยตั้งใจจะทำเช่นนั้น