Question

一位同事询问了这种守则中最初有模板的类似守则。

我删除了模板,但核心问题仍然是:为什么把科索沃汇编成册?

#include <iostream>

class X
{
public:
     void foo() { std::cout << "Here
"; }
};

typedef void (X::*XFUNC)() ;

class CX
{
public:
    explicit CX(X& t, XFUNC xF) : object(t), F(xF) {}      
    void execute() const { (object.*F)(); }
private:
    X& object;
    XFUNC F;
}; 

int main(int argc, char* argv[])
{   
    X x; 
    const CX cx(x,&X::foo);
    cx.execute();
    return 0;
}

鉴于CX是个目标,其成员职能execute<>em>,因此在CX中:可以选择ts点。

但是,我可以通过一个成员职能点来召集一个非成员的职能。

成员的职能点是否是世界上最自然的有文件记载的漏洞?

我们错过了什么问题(对其他人来说可能是显而易见的)?

Answer 1

在这方面,<条码>目标是指<条码>X>>>,而不是参照一个星座<条码>X>>。 <条码>const 限定词将适用于该成员(即参考,但参考编号为const),而不是参考物体。

1. 如果您改变本类定义,不使用提及:

// ...
private:
    X object;
// ...

你会发现错误。

Answer 2

constness of execute() only impacts the this pointer of the category. 该代码的类型为ts a const T*,而不是仅限 T*。这不是一个深层的趋同,它只是意味着成员本身不能改变,但任何他们所说的话或提及仍然可以改变。您的<条码>目标成员已经不能改变,因为不能再提及任何其他内容。同样,你没有 交换<>。 <代码>F member, only dereferencing it as a member function pointer. 因此,这是允许的,也是科索沃的。

您对CX星座的论述没有任何变化:这再次意味着不允许对准成员进行修改,但再次表明它们认为仍然可以做的事情。你们仍然可以把成员的职能称作目标,因此不会改变。

说明:

class MyClass { public: /* ... */ int* p; void f() const { // member p becomes: int* const p *p = 5; // not changing p itself, only the thing it points to - allowed p = NULL; // changing content of p in const function - not allowed } };

Answer 3

例object of n }X并非一环。它只是被一个最复杂的物体所指。先验适用于次目标,而不是参考物体。

按照替代逻辑,<代码>const 这种方法无法修改任何thing。这称为“纯功能”,这一概念在现行标准C++中并不存在。

Answer 4

http://code>foo。

由于object被宣布为X&,在固定的CX中,该编码实际上是。 X& const (与<代码>const X&不相同)允许你使用该编码的非最常用方法。

Answer 5

考虑这一问题的一个有益办法是: X物体根本不是CX的成员。

友情链接