为何auto类型推导会让编译器生成默认拷贝构造函数？

先看核心代码：

class Param {
 private:
  struct Foo{  
    int bar;
  };
  
public:
  Foo foo;
};

问题现象 #

• 直接声明Param::Foo类型变量会编译报错：

int main()
{
  Param p;
  p.foo.bar = 5;
  Param::Foo f = p.foo; // 编译错误：'Param::Foo'是私有成员，外部不可访问
}

• 但用auto推导变量类型时，却能正常复制Foo实例：

int main()
{
  Param p;
  p.foo.bar = 5;
  auto f = p.foo; // 完全正常，成功复制
}

通过cppInsight可以看到，编译器为Foo自动生成了默认拷贝构造函数，生成的中间代码简化后如下：

class Param
{
 private: 
  struct Foo
  {
    int bar;
    // 编译器自动生成的默认构造和拷贝构造
    // inline Foo() noexcept = default;
    // inline constexpr Foo(const Foo &) noexcept = default;
  };
  
 public: 
  Foo foo;
};

int main()
{
  Param p = Param();
  p.foo.bar = 5;
  Param::Foo f = Param::Foo(p.foo); // 实际执行的拷贝操作
  return 0;
}

关键原因拆解 #

1. 私有类型的访问规则是“不能命名”，不是“不能操作”
   Param::Foo是私有嵌套结构体，外部代码的限制是不能直接写出这个类型的名字，但这不代表你不能操作已经存在的Foo对象。比如p.foo是Param的public成员，外部可以直接访问这个对象，也能调用它的成员函数（如果有的话）。

2. auto不需要显式写类型名
   auto是让编译器根据等号右边的表达式（这里是p.foo）自动推导变量类型，它不需要你手动写出Param::Foo这个私有类型名。这就绕过了“显式引用私有类型名”的权限检查。

3. 默认拷贝构造函数是public的
   编译器为Foo生成的默认拷贝构造函数是public权限的——因为我们没有把它声明为private。所以当你用auto f = p.foo时，本质是调用Foo的拷贝构造函数，把p.foo复制给f，这个操作的权限是合法的。

4. 直接声明的问题出在“显式命名私有类型”
   当你写Param::Foo f = p.foo时，你直接写出了Param::Foo这个私有类型的名字，这违反了C++的访问控制规则，所以编译器直接报错阻止你。

一句话总结 #

你不能直接喊出私有类型的名字，但你可以复制已经存在的私有类型对象——auto帮你跳过了“喊名字”的步骤，直接用拷贝构造完成了复制，而拷贝构造本身是允许的。

内容的提问来源于stack exchange，提问作者Moia