- memory[meta header]
- std[meta namespace]
- function template[meta id-type]
- cpp11[meta cpp]
namespace std {
template <class T>
T* addressof(T& r) noexcept; // (1) C++11
template <class T>
constexpr T* addressof(T& r) noexcept; // (1) C++17
template <class T>
const T* addressof(const T&& elem) = delete; // (2) C++17
}
変数のアドレスを必ず取得する。
operator&()
をオーバーロードしたクラスであっても、正しくそのオブジェクトのアドレスが欲しいという要求がある。
addressof()
関数は、operator&()
がオーバーロードされていても、変数のアドレスを取得できる。
変数r
のアドレスを返す。
投げない
- (2) : このオーバーロードは、
addressof<const int>(0)
のような明示的型指定によって一時オブジェクトのアドレス取得ができてしまう問題を回避するためのもの
#include <memory>
#include <iostream>
struct useless_type {};
// operator&がオーバーロードされたクラス
class nonaddressable {
public:
useless_type operator&() const { return useless_type(); }
};
int main()
{
{
int x = 3;
int* p1 = std::addressof(x); // OK : アドレス取得できる
int* p2 = &x; // OK : アドレス取得できる
}
{
nonaddressable x;
nonaddressable* p1 = std::addressof(x); // OK : アドレス取得できる
// nonaddressable* p2 = &x; // エラー!アドレス取得できない
}
}
- std::addressof[color ff0000]
- C++11
- Clang: ??
- GCC: 4.7.0 [mark verified]
- ICC: ??
- Visual C++: 2012 [mark verified], 2013 [mark verified]
- 2012はマニュアル(MSDNライブラリ)に記載がないものの、実装されている。