Namespaces
Variants

std:: addressof

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
Défini dans l'en-tête <memory>
template < class T >
T * addressof ( T & arg ) noexcept ;
(1) (depuis C++11)
(constexpr depuis C++17)
template < class T >
const T * addressof ( const T && ) = delete ;
(2) (depuis C++11)
1) Obtient l'adresse réelle de l'objet ou de la fonction arg , même en présence d'un operator & surchargé.
2) La surcharge de rvalue est supprimée pour empêcher de prendre l'adresse des const rvalues.

L'expression std::addressof(e) est une sous-expression constante , si e est une sous-expression constante lvalue.

(depuis C++17)

Table des matières

Paramètres

arg - objet ou fonction lvalue

Valeur de retour

Pointeur vers arg .

Implémentation possible

L'implémentation ci-dessous n'est pas constexpr , car reinterpret_cast ne peut pas être utilisé dans une expression constante. Le support du compilateur est nécessaire (voir ci-dessous). 

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;
}

Une implémentation correcte de cette fonction nécessite un support du compilateur : GNU libstdc++ , LLVM libc++ , Microsoft STL .

Notes

Macro de test de fonctionnalité Valeur Std Fonctionnalité
__cpp_lib_addressof_constexpr 201603L (C++17) constexpr std::addressof

constexpr pour addressof est ajouté par LWG2296 , et MSVC STL applique le changement au mode C++14 en tant que rapport de défaut.

Il existe certains cas particuliers où l'utilisation de l'opérateur intégré operator & est mal formée en raison de la recherche dépendante des arguments même s'il n'est pas surchargé, et std::addressof peut être utilisé à la place. 

template<class T>
struct holder { T t; };
struct incomp;
int main()
{
    holder<holder<incomp>*> x{};
    // &x; // erreur : la recherche dépendante des arguments tente d'instancier holder<incomp>
    std::addressof(x); // OK
}

Exemple

operator & peut être surchargé pour une classe wrapper de pointeur afin d'obtenir un pointeur vers pointeur :

Exécuter ce code 
#include <iostream>
#include <memory>
template<class T>
struct Ptr
{
    T* pad; // ajouter pad pour montrer la différence entre 'this' et '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);                // appelle la surcharge int**
    f(std::addressof(p)); // appelle la surcharge Ptr<int>*, (= this)
}

Sortie possible : 

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

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Applicable à Comportement publié Comportement corrigé
LWG 2598 C++11 std :: addressof < const T > pouvait prendre l'adresse de rvalues interdit par une surcharge supprimée

Voir aussi

l'allocateur par défaut
(modèle de classe)
[static]
obtient un pointeur déréférençable vers son argument
(fonction membre publique statique de std::pointer_traits<Ptr> )