Mengapa bukan operator panah di C ++ hanya alias *.?

Dalam c ++, operator * dapat kelebihan beban, seperti dengan iterator, tetapi operator panah (->) (. *) Tidak bekerja dengan kelas yang membebani berlebihan * operator. Saya membayangkan bahwa preprocessor dapat dengan mudah mengganti semua contoh -> dengan (* kiri). Benar, dan itu akan membuat iterators lebih baik untuk diimplementasikan. apakah ada alasan praktis untuk -> berbeda, atau apakah itu hanya kekhasan bahasa / desainer?

Aturan yang foo->barsama (*foo).barhanya berlaku untuk operator builtin.

Unary operator *tidak selalu memiliki semantik penunjuk pointer. Saya bisa membuat perpustakaan yang artinya transposisi matriks, nol atau lebih cocok parser, atau cukup banyak apa pun.

Itu akan membuat bahasa lebih menyusahkan jika sesuatu yang membebani unary operator *tiba-tiba akan mendapatkan yang operator ->tidak Anda minta, dengan semantik yang mungkin tidak masuk akal.

operator -> secara terpisah kelebihan beban, jadi jika Anda menginginkannya, Anda dapat membebani satu dengan upaya minimal.

Perhatikan juga bahwa kelebihan seperti itu akan memiliki beberapa sifat yang agak menarik, seperti operator ->panggilan chaining secara otomatis sampai satu di rantai mengembalikan pointer mentah. Ini cukup berguna untuk pointer cerdas dan tipe proxy lainnya.

#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;
}

"Bahasa Pemrograman C ++" menggambarkan fakta bahwa operator ini berbeda sehingga mereka dapat, tetapi juga mengatakan:

Jika Anda menyediakan lebih dari satu operator ini, mungkin bijaksana untuk memberikan kesetaraan, seperti halnya bijaksana untuk memastikan itu ++xdan x+=1memiliki efek yang sama seperti x=x+1untuk variabel sederhana xdari beberapa kelas jika ++, + =, =, dan + disediakan.

Jadi sepertinya perancang bahasa menyediakan poin kelebihan yang berbeda karena Anda mungkin ingin membebani mereka secara berbeda, daripada mengasumsikan bahwa Anda selalu ingin mereka tetap sama.

Sebagai aturan umum, C ++ dirancang untuk mendukung fleksibilitas, sehingga kelebihan *dan ->terpisah. Meskipun itu cukup tidak biasa untuk melakukannya, jika Anda ingin cukup buruk Anda dapat menulis kelebihan itu untuk melakukan hal-hal yang sama sekali berbeda (misalnya, mungkin masuk akal untuk bahasa spesifik domain yang diimplementasikan dalam C ++).

Yang mengatakan, iterator lakukan mendukung baik penggunaan. Pada implementasi kuno, Anda mungkin menemukan perpustakaan yang membutuhkan (*iter).whateveralih-alih iter->whatever, tetapi jika demikian, itu adalah bug dalam implementasi, bukan karakteristik bahasa. Mengingat jumlah pekerjaan yang terlibat dalam menerapkan semua kontainer standar / algoritma / iterator, tidak mengherankan bahwa beberapa rilis awal agak tidak lengkap, tetapi mereka tidak pernah benar-benar dimaksudkan seperti itu.