C++私有嵌套类访问疑问:成员函数与构造器权限差异
这是个非常有意思的C++访问控制细节问题,我来逐个拆解你的三个疑问:
1. 编译器允许调用func()的原因是什么?
核心在于C++的访问控制规则是针对成员/类型的访问权限,而非“对象实例的使用权限”。
你的代码里,Outer作为外围类,完全有权限创建私有嵌套类PrivateInner的实例(也就是公有成员inner)。当你在f1()里通过c.inner.func()调用函数时,并不是在外部直接访问PrivateInner类型,而是通过Outer合法暴露的inner对象,调用这个对象的公有成员函数。
func()本身是PrivateInner的公有成员,只要能合法拿到该类型的对象实例,就有权调用它的公有方法——而Outer已经把inner作为公有成员对外开放了,所以外部代码自然可以通过这个对象调用func()。
2. 若允许调用func(),为何无法调用构造函数?
这两者的本质区别在于:调用func()是在使用已存在的对象的公有方法,而直接调用Outer::PrivateInner()构造临时对象,是在外部代码中直接引用私有嵌套类的类型和构造函数。
C++访问规则明确规定:外部代码(比如f2())没有权限访问Outer的私有嵌套类PrivateInner,所以你不能直接写出Outer::PrivateInner()这种代码——这相当于在外部直接“触碰”了私有类型,编译器会直接拦截。
简单总结:你可以用别人合法提供的私有类型对象,但不能自己直接创建私有类型的对象。
3. 若无法调用构造函数,emplace_back为何能成功执行?
emplace_back的核心特性是在容器内存中就地构造对象,而非像push_back那样需要先构造临时对象再拷贝/移动。
你的代码里,Outer已经声明了std::vector<PrivateInner> innerVect;——这个模板实例化是在Outer内部完成的,而Outer有权访问PrivateInner,所以vector的实例化是合法的。当你调用emplace_back()时,是让vector的内部成员函数直接在容器的内存空间里调用PrivateInner的公有构造函数,这个构造动作不需要外部代码(比如f2())直接引用PrivateInner的构造函数,而是由vector的内部逻辑完成——而vector因为已被合法实例化为PrivateInner的容器,所以它有权调用该类型的公有构造函数。
反观push_back(Outer::PrivateInner()),你需要先在外部构造一个PrivateInner的临时对象,这触发了外部代码对私有类型的访问,自然编译失败;而emplace_back跳过了外部构造临时对象的步骤,直接让容器内部完成构造,也就避开了外部访问私有类型的限制。
内容的提问来源于stack exchange,提问作者Alek86

