如何计算CRTP场景下基类与派生类的字节偏移？

完全可以在C++20中编译期计算该偏移量，并将其保存为static constexpr变量，且全程无未定义行为。

实现思路与代码示例 #

核心是利用C++20放宽的constexpr指针操作规则，通过编译期指针转换计算偏移，同时用类型约束确保继承关系合法：

#include <type_traits>
#include <cstddef>

template<typename Derived>
class Base {};

class Derived : public Base<Derived> {};

// 编译期计算基类到派生类的偏移量
template<typename Derived, typename Base>
requires std::is_base_of_v<Base, Derived>
constexpr std::ptrdiff_t base_to_derived_offset() {
    constexpr Derived* derived_ptr = nullptr;
    constexpr Base* base_ptr = derived_ptr;
    // 转换为整数计算差值，符合标准要求
    return reinterpret_cast<std::ptrdiff_t>(derived_ptr) - 
           reinterpret_cast<std::ptrdiff_t>(base_ptr);
}

// 保存为编译期常量
static constexpr std::ptrdiff_t crtp_offset = base_to_derived_offset<Derived, Base<Derived>>();

// 使用示例：从基类指针转换为派生类指针
constexpr Base<Derived>* base_obj = nullptr;
constexpr Derived* derived_obj = reinterpret_cast<Derived*>(
    reinterpret_cast<std::byte*>(base_obj) + crtp_offset
);

关键说明 #

1. 合法性保障：
   • requires约束确保Base确实是Derived的基类，避免传入无关类型导致未定义行为
   • 指针差值计算基于标准允许的整数转换逻辑：两个指针指向同一对象的不同子对象（基类子对象和派生类对象），差值即为合法偏移量
2. 编译期完成：
   • 所有操作均在编译期执行，无需运行时计算，crtp_offset是真正的编译期常量
3. 适用场景：
   • 不仅限于CRTP，明确的单继承关系都能使用；多继承场景下，只要传入的基类是派生类的直接基类，计算结果依然有效

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