防止私有内部类实例的返回[重复]

Question

我一直在C++ 中玩内部类，现在我有点困惑。

我的代码：

#include <iostream>

class outer{
private: 
    class inner{
    private:
        int something;
    public:
        void print(){
            std::cout<< "i am inner"<<std::endl;
        }   
    };
public:
    inner returnInner(){
        inner i;
        return i;
    }  
};

int main(){
    outer o;
    //outer::inner i = o.returnInner(); (1)
    //auto i = o.returnInner();         (2)
    //i.print();                  
    o.returnInner().print();          //(3)
    return 0;
}

这是在 Linux 上使用 clang++-3.5 和 -std=c++14 编译的。

• 在 (1) 中，我遇到了预期的编译器错误，因为 inner 是 outer 的私有内部类。

• 但是(2)中使用auto关键字时，编译成功，程序运行。

• 一切都适用于 (3)。

我的问题：

为什么会这样？我可以防止从外部方法返回私有内部类的实例，同时保留在外部类中移动和/或复制它们的能力吗？

编译器不应该像 (1) 中那样在 (2) 和 (3) 中引发错误吗？ p>

Answer 1

为什么会这样 编译器不应该像（1）一样在（2）和（3）中返回错误吗？

这是一个有趣的问题.. 这个问题的答案更有趣。

在您发布的代码中，inner是一个类型的名称。 name 被声明为 private，而不是 type 本身¹ - type 的可访问性在 C++ 的上下文中没有意义；可访问性仅适用于 name — 类型的 name、函数的 name、数据的 name。因此，当你听到“类型 X 是一个公共类” 之类的东西时，它几乎总是意味着 “名称 X 被声明为公共的，它指的是一个类型，而类型是无所不在，无处不在”。

回到为什么使用auto 不会出错，因为当您使用auto 时，您在访问类型 时不使用它的名称，这就是为什么它没有' t 给出错误。

如何防止私有内部类的实例从外部方法返回，

没有办法。

---

^{1. struct { int data; } 是一个 type，没有可引用的 name，但请注意，这不是一个有效的声明，因为它缺少 name。要么你必须声明一个 unnamed 类型的对象，如 struct { int data; } obj; 或给它一个名称 struct data_type { int data; };}

Answer 2

我不确定这是否是您想要的，但您可以像这样删除复制构造函数：

inner(inner const&) = delete;