std:: addressof

参数

返回值

指向 arg 的指针。

可能的实现

以下实现不是 constexpr ，因为 reinterpret_cast 不能在常量表达式中使用。需要编译器支持（见下文）。

template<class T>
typename std::enable_if<std::is_object<T>::value, T*>::type addressof(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(T& arg) noexcept
{
    return &arg;
}

该函数的正确实现需要编译器支持： GNU libstdc++ 、 LLVM libc++ 、 Microsoft STL 。

注释

constexpr 对于 addressof 的修改由 LWG2296 引入，MSVC STL 将此变更作为缺陷报告应用于 C++14 模式。

在某些特殊情况下，即使没有重载内置的 operator & ，由于 实参依赖查找 的存在，其使用也可能导致编译错误，此时可以用 std::addressof 作为替代方案。

template<class T>
struct holder { T t; };
struct incomp;
int main()
{
    holder<holder<incomp>*> x{};
    // &x; // 错误：参数依赖查找尝试实例化 holder<incomp>
    std::addressof(x); // 正常
}

示例

#include <iostream>
#include <memory>
template<class T>
struct Ptr
{
    T* pad; // 添加填充以显示 'this' 与 'data' 的区别
    T* data;
    Ptr(T* arg) : pad(nullptr), data(arg)
    {
        std::cout << "Ctor this = " << this << '\n';
    }
    ~Ptr() { delete data; }
    T** operator&() { return &data; }
};
template<class T>
void f(Ptr<T>* p)
{
    std::cout << "Ptr   overload called with p = " << p << '\n';
}
void f(int** p)
{
    std::cout << "int** overload called with p = " << p << '\n';
}
int main()
{
    Ptr<int> p(new int(42));
    f(&p);                // 调用 int** 重载
    f(std::addressof(p)); // 调用 Ptr<int>* 重载, (= this)
}

Ctor this = 0x7fff59ae6e88
int** overload called with p = 0x7fff59ae6e90
Ptr   overload called with p = 0x7fff59ae6e88

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见