C++使用类别名定义构造函数时如何实现命名一致性

问题复现 #

在C++中使用类别名在类外定义构造函数时，会触发编译错误，最小复现代码如下：

class MyClass
{
public: 
    explicit MyClass();
    ~MyClass();
};  

using MyClassAlias = MyClass;

MyClassAlias::MyClassAlias()
{

}

MyClassAlias::~MyClassAlias()
{

}

int main()
{
    MyClassAlias obj;
    return 0;
}   

编译上述代码会抛出如下错误：

a.cpp:11:1: error: ISO C++ forbids declaration of ‘MyClassAlias’ with no type [-fpermissive]
   11 | MyClassAlias::MyClassAlias()
      | ^~~~~~~~~~~~
a.cpp:11:1: error: no declaration matches ‘int MyClass::MyClassAlias()’
a.cpp:11:1: note: no functions named ‘int MyClass::MyClassAlias()’
a.cpp:1:7: note: ‘class MyClass’ defined here
    1 | class MyClass
      |       ^~~~~~~

实际测试验证：将MyClassAlias::MyClassAlias()替换为MyClassAlias::MyClass()后可正常编译通过，但MyClassAlias::~MyClassAlias()的写法不会触发编译器报错。

规则原因 #

这个现象是C++标准的明确规定导致的：

• 构造函数没有返回值，类外定义构造函数时，函数名必须匹配类的注入类名（即类本身的本名，或类内部声明的类型别名）。全局作用域下的using别名不属于类的注入类名范畴，编译器会将MyClassAlias::MyClassAlias()中第二个MyClassAlias识别为普通成员函数名，因缺失返回值类型触发编译错误。
• 析构函数的名字查找规则不同：类外定义析构函数时，~后的名字会在对应类的作用域内做查找，只要能解析到目标类类型，无论是本名还是全局别名都可被正确识别，因此MyClassAlias::~MyClassAlias()不会报错。

可行解决方案 #

要实现构造、析构函数使用别名书写的命名一致性，最通用无兼容问题的方案是在类内部提前声明和对外别名同名的类型别名，让该别名成为类的注入类名的一部分，示例代码如下：

class MyClass
{
public:
    // 类内提前声明和对外别名同名的类型别名
    using MyClassAlias = MyClass;
    explicit MyClassAlias();
    ~MyClassAlias();
};

// 对外暴露同名全局别名
using MyClassAlias = MyClass;

// 以下构造、析构的写法完全一致，可正常编译通过所有C++标准版本
MyClassAlias::MyClassAlias()
{

}

MyClassAlias::~MyClassAlias()
{

}

int main()
{
    MyClassAlias obj;
    return 0;
}

该方案从C98标准开始就被支持，不需要依赖高版本C特性，也不会引入额外的宏或语法hack。

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