符合标准的constexpr成员数据指针编译时偏移获取方案问询

好问题！确实，很多早年流传的方案依赖对nullptr进行指针算术操作，这属于C标准明确规定的未定义行为，在现代编译器（比如最新的GCC主干版本）中可能会被优化器破坏，或者直接触发编译警告。针对标准布局类型，我们可以利用C17及以后的constexpr特性，实现完全符合标准、无UB的编译时成员偏移计算，效果和offsetof宏一致。

核心思路 #

标准布局类型的内存布局是严格定义的，成员的偏移量在编译期就是固定值。我们可以：

• 在constexpr上下文中创建一个该类型的合法实例（或足够的对齐存储）
• 通过成员指针获取该实例中目标成员的地址
• 计算成员地址与实例起始地址的差值，即为成员偏移量

实现方案1：依赖默认构造函数的简洁版本 #

如果你的标准布局类型支持constexpr默认构造（大多数简单的标准布局类型都满足，比如带合成默认构造的struct），可以用这个简洁版本：

#include <cstddef>
#include <type_traits>

template <typename T, typename M>
constexpr std::ptrdiff_t member_offset(M T::*member) noexcept {
    // 只允许标准布局类型，符合你的需求
    static_assert(std::is_standard_layout_v<T>, "This function only supports standard layout types");
    
    // 构造一个constexpr实例，标准布局类型的合成默认构造是constexpr的
    constexpr T instance{};
    
    // 计算地址差：成员地址减去实例起始地址
    return reinterpret_cast<std::ptrdiff_t>(&(instance.*member)) 
         - reinterpret_cast<std::ptrdiff_t>(&instance);
}

// 测试用例
struct Test {
    int a;
    char b;
    double c;
};

// 编译期验证偏移量是否正确
static_assert(member_offset(&Test::a) == 0);
static_assert(member_offset(&Test::b) == sizeof(int));
// 考虑double的对齐要求，b后面会有填充字节
static_assert(member_offset(&Test::c) == sizeof(int) + sizeof(char) + (sizeof(double) - sizeof(char)) % sizeof(double));

实现方案2：通用版本（无需默认构造函数） #

如果你的标准布局类型没有默认构造函数，或者默认构造不是constexpr的，可以用std::byte数组来创建一块对齐的存储，再reinterpret_cast为目标类型的引用：

#include <cstddef>
#include <type_traits>
#include <cstddef> // for std::byte

template <typename T, typename M>
constexpr std::ptrdiff_t member_offset(M T::*member) noexcept {
    static_assert(std::is_standard_layout_v<T>, "This function only supports standard layout types");
    
    // 创建一块对齐且大小足够的constexpr存储
    alignas(T) constexpr std::byte storage[sizeof(T)]{};
    
    // 将存储reinterpret_cast为T的引用，标准布局类型下这个操作合法
    constexpr T& instance = *reinterpret_cast<T*>(storage);
    
    // 计算偏移量
    return reinterpret_cast<std::ptrdiff_t>(&(instance.*member)) 
         - reinterpret_cast<std::ptrdiff_t>(&instance);
}

为什么这个方案合法？ #

• 没有使用nullptr：所有地址操作都是针对真实存在的constexpr对象/存储，完全符合标准。
• constexpr上下文的合法性：C++17及以后允许在constexpr函数中进行地址计算，只要涉及的对象是constexpr变量。
• 标准布局类型保证：对于标准布局类型，成员的偏移量和offsetof的结果完全一致，不会有内存布局的歧义。

这个方案在GCC主干版本（以及其他符合C++17+标准的编译器）上可以完美运行，所有验证都会在编译期完成，没有运行时开销。

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