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 for addressof は LWG2296 によって追加され、MSVC STLはこの変更を欠陥報告としてC++14モードに適用しています。

組み込みの operator & の使用が、たとえオーバーロードされていない場合でも、 argument-dependent lookup によって不適格となる特殊なケースが存在します。そのような場合、 std::addressof を代わりに使用できます。

template<class T>
struct holder { T t; };
struct incomp;
int main()
{
    holder<holder<incomp>*> x{};
    // &x; // エラー: 実引数依存の名前探索が holder<incomp> のインスタンス化を試みる
    std::addressof(x); // OK
}

例

#include <iostream>
#include <memory>
template<class T>
struct Ptr
{
    T* pad; // add pad to show difference between 'this' and '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);                // calls int** overload
    f(std::addressof(p)); // calls Ptr<int>* overload, (= this)
}

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

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目