C++类私有类型函数参数实例化的合法性及转换机制疑问

首先看给定的类定义：

class MyClass {
   struct PrivateType {};
public:
   static void func(PrivateType) {}
};

直接调用MyClass::func(MyClass::PrivateType())失败，是因为PrivateType是MyClass的私有嵌套类型，外部作用域无法直接访问这个类型的名称，自然无法显式构造它的对象。

而MyClass::func({})能够成功调用，本质是列表初始化触发的隐式转换，具体规则和原因如下：

1. 这属于列表初始化的隐式转换 #

是的，当函数形参是类类型（这里是PrivateType），且实参是花括号初始化列表{}时，编译器会尝试用这个初始化列表构造形参对象，这属于隐式转换的一种（列表初始化转换）。

2. 转换的执行逻辑：利用函数签名的可见性而非类作用域 #

这个转换并没有在类作用域内执行，但核心在于：调用者不需要显式引用PrivateType的名称。函数func是公有的，外部作用域能看到它的签名（知道它接受一个MyClass::PrivateType类型的参数），编译器会直接根据函数形参的类型，用初始化列表构造对应的实参对象——这个过程不需要调用者显式命名私有类型，也就绕过了“外部无法访问私有类型名称”的限制。

简单来说：你不需要写出MyClass::PrivateType这个名字，就能让编译器知道要构造这个类型的对象，因为函数签名已经明确了形参的类型。

3. 规则的适用条件 #

这个规则并非始终适用，需要满足以下条件：

• 形参的类类型必须支持对应的列表初始化：比如这里PrivateType是空结构体，默认构造函数为公有（struct默认成员访问权限是public），所以{}能触发默认构造。如果PrivateType的构造函数是私有的，那么func({})也会编译失败。
• 调用者必须能访问目标函数：也就是函数本身是公有的，外部有权限发起调用。如果func是私有函数，外部连调用函数的权限都没有，更不用说用列表初始化传参。
• 初始化列表必须能匹配形参类型的构造方式：比如如果PrivateType有接受int的构造函数，func({42})也能成功；但如果初始化列表无法匹配任何构造函数，同样会编译失败。

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