无额外数据成员的C++派生类引用安全转换实现方案问询

前置适用约束 #

满足以下所有条件时可以实现符合C++标准的无拷贝转换：

• 基类Base为标准布局类型
• 派生类ClassA、ClassB无任何非静态数据成员、无虚继承、无自定义虚函数，本身也属于标准布局类型，内存布局和基类Base完全一致

方案1：显式定义转换运算符 #

在两个派生类中实现双向显式转换运算符，配合std::launder保证指针有效性（兼容C++17及以上标准）：

#include <new> // 引入std::launder

class ClassB; // 前置声明

class ClassA : public Base {
public:
    explicit operator ClassB&() noexcept {
        return *std::launder(reinterpret_cast<ClassB*>(static_cast<Base*>(this)));
    }
    explicit operator const ClassB&() const noexcept {
        return *std::launder(reinterpret_cast<const ClassB*>(static_cast<const Base*>(this)));
    }
    // 原有ClassA行为实现
};

class ClassB : public Base {
public:
    explicit operator ClassA&() noexcept {
        return *std::launder(reinterpret_cast<ClassA*>(static_cast<Base*>(this)));
    }
    explicit operator const ClassA&() const noexcept {
        return *std::launder(reinterpret_cast<const ClassA*>(static_cast<const Base*>(this)));
    }
    // 原有ClassB行为实现
};

使用方式如下，不会触发任何对象拷贝：

ClassA a;
ClassB& a_bref = static_cast<ClassB&>(a);

方案2：CRTP通用封装 #

如果存在大量同类型的行为派生类，可以通过CRTP模板基类统一封装转换逻辑，避免重复编码：

#include <new>
#include <type_traits>

template<typename Derived>
class BehaviourBase : public Base {
public:
    template<typename T>
    explicit operator T&() noexcept 
    requires std::is_base_of_v<BehaviourBase<T>, T> {
        return *std::launder(reinterpret_cast<T*>(static_cast<Base*>(this)));
    }

    template<typename T>
    explicit operator const T&() const noexcept 
    requires std::is_base_of_v<BehaviourBase<T>, T> {
        return *std::launder(reinterpret_cast<const T*>(static_cast<const Base*>(this)));
    }
};

// 派生类只需继承对应的模板实例即可
class ClassA : public BehaviourBase<ClassA> {
    // 原有ClassA行为实现
};
class ClassB : public BehaviourBase<ClassB> {
    // 原有ClassB行为实现
};

合法性说明 #

C++标准明确规定：当两个标准布局类型拥有相同的初始公共成员序列时，允许通过reinterpret_cast转换指针后互相访问公共序列部分的成员。该场景下两个派生类都没有额外成员，整体内存布局和基类完全一致，加上std::launder保证指针的指向有效性，不存在未定义行为，完全符合编码规范要求。

注意事项 #

• 如果派生类的行为通过虚函数实现，转换后调用虚函数依旧会触发原对象实际类型的实现逻辑，和引用声明的类型无关
• 所有转换均为显式转换，禁止改为隐式转换，避免出现非预期的类型转换问题

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