问一个c++菜鸟问题。。

fred_au

最近看到一个例子，一个matrix类：
class matrix {
public:
//constructor
//destructor
matrix & operator = (const matrix &);
...
private:
int **im;
int rows;
int cols;
...
}

然后这个copy assignment是这样写的：
matrix &matrix:perator = (const matrix &rhs)
{
  if (this != &rhs) {
    if (rows != rhs.rows || cols != rhs.cols) {
      matrix::~matrix();
      //init something
    }
    initMatrix(rhs.im);//init matrix
  }
  return *this;
}

手工敲的，累，就不全部敲出来了。。。我想问的是在这个函数里面，rhs.rows和rhs.cols能这样直接访问？rows和cols不是private的么？

coredump

一家人，就不要太见外了

fred_au

是么？
在这个copy assignment的实现里，rhs不是另外一个实例么，总觉得怎么能直接访问一个实例的私有成员呢？

fishyoyo

访问控制是针对类的，不是针对实例的

procoder

LS正解。

fred_au

这么说，一个类的成员函数可以访问这个类的任何一个实例的私有成员？

fishyoyo

原帖由 dflovely 于 14-9-2009 14:44 发表

                               
登录/注册后可看大图

这么说，一个类的成员函数可以访问这个类的任何一个实例的私有成员？

yes.

you can have a class like this to test:

void CTest::TestPrivate(CTest& test)
{       
        test.m_Private = 1;
        int i = test.m_Private;

        CTest test2;
        test2.m_Private = 2;
        int j = test.m_Private;
}

Bill_Fish

你这个不是重载引用的实现吗？还没有声明实例，也没有对实例的私有成员进行访问哪？所以也不会产生编译器的保护。

Bill_Fish

原帖由 dflovely 于 14-9-2009 14:44 发表

                               
登录/注册后可看大图

这么说，一个类的成员函数可以访问这个类的任何一个实例的私有成员？

这当然了，自己的成员函数不能都访问，那私有成员变量给谁用呀？不就是给自己用的吗。

someonehappy

以前还真不知道可以这样。

netstat_an

原帖由 dflovely 于 14-9-2009 09:53 发表

                               
登录/注册后可看大图

是么？
在这个copy assignment的实现里，rhs不是另外一个实例么，总觉得怎么能直接访问一个实例的私有成员呢？

嘿嘿，偶第一次看到这个玩意的哦时候，也是吓了一跳，怎么访问了人家的private变量了

实验下来就是没问题，细细想想，所谓的类私有成员的保护是基于类级别的，一个类的无数个实例是共享一份成员函数的。所谓的保护机制，其实就是成员函数能够得到类成员变量在内存中相对类起始位置的偏移量而已。要绕过这层保护，你设计一个成员函数，返回私有成员的偏移量。其他的类或者函数应该能够通过这个偏移量直接去访问该私有变量的。

someonehappy

哪怕一个类的多个实例是共享一份成员函数，但是不应该是共享同一个私有变量。多个实例的同一个成员函数也许是指向内存同一个地方，但是多个实例的同名的私有变量应该是在内存中有多个地址的。从道理上还是有点想不通，虽然现实确实如此。

就好比如果中国人是一个类，那所有的中国人都可以掏其他中国人的口袋，这个私有的“口袋”只是对其他类（其他国家的人）私有，而不是对其他实例私有。没有真正学过面向对象的理论，不知道这种特点是特意设计的，还是。。。

Fernando

happy好空啊

netstat_an

原帖由 someonehappy 于 18-9-2009 18:28 发表

                               
登录/注册后可看大图

哪怕一个类的多个实例是共享一份成员函数，但是不应该是共享同一个私有变量。多个实例的同一个成员函数也许是指向内存同一个地方，但是多个实例的同名的私有变量应该是在内存中有多个地址的。从道理上还是有点想不通 ...

我私下认为是为了实现起来方便而这么做的，因为既然成员函数已经具有了该类所有变量的相对位移，想要限制该函数对成员变量进行访问就是很麻烦的事情，要不断的比较this指针和类实例指针，看看是否是对自己的实例进行的访问。

earthengine

其实，楼主是误解了面向对象中“封装”对程序员的意义。

封装，不是为了安全性。要知道，编译器去对程序员作安全防范是荒谬的事情。程序员是电脑的上帝，理论上只要他有足够的知识，他应该可以编程完成任何任务，所有的安全防范对他来说都是毫无作用的。
所以，C++以及所有面向对象语言的封装功能并不是为了把字段锁起来不让访问，而是相反，使得对这个字段的访问更容易控制。

比如说，如果你写了一个1000000行的C++，然后发现了一个问题。在追踪的过程中，你发现对某个字段的错误访问是问题的根源。但是grep的结果显示对该字段的访问有10000处。那么你该怎么办呢？
如果该字段是公有的，那就很棘手。但如果该字段是私有的，那么你就知道其它类对它的访问必然是通过访问函数进行。而如果该类的代码不是很多，那么只要处理一下类内部的访问就可以了。这就简化了后续的追踪过程。

如果你理解以上这些，就会明白，封装级别到“对象”一级意义其实不大。因为把封装限制在类级别，已经足够把对私有成员的访问限制在类和它的友员函数内部。假设封装级别到了“对象”一级，对很多常用类功能的实现都会造成很大限制（比如，比较两个类对象是否相等需要访问两个类实例的相应字段），而限制访问的粒度其实增加不大。

coredump

原帖由 someonehappy 于 18-9-2009 18:28 发表

                               
登录/注册后可看大图

哪怕一个类的多个实例是共享一份成员函数，但是不应该是共享同一个私有变量。多个实例的同一个成员函数也许是指向内存同一个地方，但是多个实例的同名的私有变量应该是在内存中有多个地址的。从道理上还是有点想不通，虽然现实确实如此。

同一个C++的多个对象实例可不是共享同一个成员变量的啊，除非这个变量是静态的。 事实就是你说的：”多个实例的同名的私有变量是在内存中有多个地址的“。



private/public/protected 这些关键字，只是访问修饰符，它们不能改变对象的内存分布状态，一个类的所有成员都是private,和同样的类，但是把private改成public，其对象实例在内存中是100%一致的。这些访问修饰符所起的作用只体现在编译期间，如果你在类的前面用#define private public这样的小把戏调戏一把C++编译器就知道了。同样的，const修饰符也是仅作用于编译期。


但是像static这类关键字就不同了，一个对象成员是否有static修饰，其对象实例的内存二进制布局是完全不同的。



《C++对象模型》这本书专门有好几章来讲解C++对象的内存分布。