重载成员访问运算符 - > ,.*(C++)

Question

重载成员访问运算符 - > ,.*(C++)

Bin*_*ngo 119 c++ operator-overloading c++-faq

据我所知大多数运算符重载,与成员访问运营商外->,.*,->*等.

特别是,传递给这些操作符函数的内容以及应返回的内容是什么？

操作员如何运作(例如operator->(...))知道所指的成员是什么？可以知道吗？它甚至需要知道吗？

最后,是否需要考虑常见因素？例如,当重载类似的东西时operator[],通常你需要const和非const版本.成员访问运算符是否需要const和非const版本？

Answer 1

Pot*_*ter 136

`->`

这是唯一真正棘手的问题.它必须是非静态成员函数,并且不带参数.返回值用于执行成员查找.

如果返回值是类类型的另一个对象,而不是指针,则后续成员查找也由operator->函数处理.这被称为"向下钻取行为".语言将operator->调用链接在一起,直到最后一个返回指针.

struct client
    { int a; };

struct proxy {
    client *target;
    client *operator->() const
        { return target; }
};

struct proxy2 {
    proxy *target;
    proxy &operator->() const
        { return * target; }
};

void f() {
    client x = { 3 };
    proxy y = { & x };
    proxy2 z = { & y };

    std::cout << x.a << y->a << z->a; // print "333"
}

Run Code Online (Sandbox Code Playgroud)

`->*`

这个只是棘手的,因为没有什么特别之处.的非过负荷版本需要指针的一个目的是类型在左手侧和指针的一个目的是在右侧构件类型.但是当你重载它时,你可以接受你喜欢的任何参数并返回你想要的任何东西.它甚至不必是非静态成员.

换句话说,这一次仅仅是一个正常的二进制运算一样+,-和/.另请参阅:自由运算符 - >*是否超载邪恶？

`.*` 和 `.`

这些不能超载.当左侧是类型时,已经存在内置意义.或许能够为左侧的指针定义它们会有一点意义,但语言设计委员会认为这将更加混乱而不是有用.

超载->,->*,.,并且.*只能在情况填写,其中一个表达式将是不确定的,它永远不会改变,这将是没有超载的有效表达的意思.

@Matt好吧,`new`总是被重载,或者重载规则并不真正适用于它(13.5/5:分配和释放函数,operator new,operator new [],operator delete和operator delete [],被描述完全在3.7.4.除非在3.7.4中明确说明,否则本子条款其余部分中的属性和限制不适用于它们.)但是重载一元`&`或二进制`&&`,`||`或` ,`,或者添加`operator =`的重载,或者为无范围的枚举类型重载任何东西,都可以改变表达式的含义.澄清声明,谢谢! (6认同)
你最后的陈述并不完全正确.例如,您可以重载`new`运算符,即使它没有过载也有效. (2认同)