为何std::addressof的正确实现需要编译器支持？

你手动实现的版本能应付大多数常规场景，但cppreference明确指出它需要编译器原生支持，核心原因有三点：

• constexpr 兼容性限制：C17及以后标准要求std::addressof支持constexpr上下文（编译期计算地址）。但你的实现里用到了reinterpret_cast和const_cast，这些操作在constexpr规则中是受限的（C20虽放宽部分约束，但仍无法完全用标准代码实现编译期地址转换），必须依赖编译器提供的原生能力才能实现符合标准的constexpr版本。

• 特殊内存布局的正确性保障：对于虚基类子对象、编译器自动插入特殊成员的类这类内存布局特殊的对象，纯标准C++的类型转换逻辑可能无法严格保证获取到标准定义的真实地址。编译器能直接利用自身对内存布局的掌握，返回对象的实际内存地址，避免转换技巧带来的潜在问题。

• 彻底绕过operator&重载：虽然你的实现通过转成char&绕过了类的operator&重载，但某些编译器的特殊优化或边缘场景下，这种转换可能失效。编译器原生实现的std::addressof可以直接跳过所有重载的operator&，确保返回对象的真实地址，无需依赖类型转换的 workaround。

你的测试代码用了普通的Student类，既没重载operator&，也没涉及constexpr或特殊内存布局场景，所以运行结果符合预期。但遇到上述特殊情况时，纯手动实现就可能出问题，而编译器支持的std::addressof能保证所有标准场景下的正确性。

测试用手动实现代码 #

#include <iostream>
#include <string>
#include <type_traits>

template<class T>
typename std::enable_if<std::is_object<T>::value, T*>::type addressof_impl(T& arg) noexcept
{
    return reinterpret_cast<T*>(
               &const_cast<char&>(
                   reinterpret_cast<const volatile char&>(arg)));
}
 
template<class T>
typename std::enable_if<!std::is_object<T>::value, T*>::type addressof_impl(T& arg) noexcept
{
    return &arg;
}

struct Student {
    std::string name{};
    int age{};
};

int main() {
    Student s;
    std::cout << addressof_impl(s);
    return EXIT_SUCCESS;
}

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