仕組みを知りたいnullptr
です。規格N4659およびN4849は次のように述べています。
- タイプが必要
std::nullptr_t
です。 - そのアドレスを取ることはできません。
- これは、ポインターおよびメンバーへのポインターに直接変換できます。
sizeof(std::nullptr_t) == sizeof(void*)
;- への変換
bool
はfalse
です。 - その値は、と同じように整数型に変換できます
(void*)0
が、逆方向には変換できません。
したがって、基本的にはと同じ意味を持つ定数ですが、(void*)0
型が異なります。std::nullptr_t
私のデバイスでの実装を見つけました。それは次のとおりです。
#ifdef _LIBCPP_HAS_NO_NULLPTR
_LIBCPP_BEGIN_NAMESPACE_STD
struct _LIBCPP_TEMPLATE_VIS nullptr_t
{
void* __lx;
struct __nat {int __for_bool_;};
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR nullptr_t() : __lx(0) {}
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR nullptr_t(int __nat::*) : __lx(0) {}
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR operator int __nat::*() const {return 0;}
template <class _Tp>
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
operator _Tp* () const {return 0;}
template <class _Tp, class _Up>
_LIBCPP_INLINE_VISIBILITY
operator _Tp _Up::* () const {return 0;}
friend _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR bool operator==(nullptr_t, nullptr_t) {return true;}
friend _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR bool operator!=(nullptr_t, nullptr_t) {return false;}
};
inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR nullptr_t __get_nullptr_t() {return nullptr_t(0);}
#define nullptr _VSTD::__get_nullptr_t()
_LIBCPP_END_NAMESPACE_STD
#else // _LIBCPP_HAS_NO_NULLPTR
namespace std
{
typedef decltype(nullptr) nullptr_t;
}
#endif // _LIBCPP_HAS_NO_NULLPTR
ただし、前半の方が興味があります。それはポイント1-5を満たしているようですが、サブクラス__natとそれに関連するすべてのものがある理由はわかりません。また、積分変換で失敗する理由も知りたいです。
struct nullptr_t2{
void* __lx;
struct __nat {int __for_bool_;};
constexpr nullptr_t2() : __lx(0) {}
constexpr nullptr_t2(int __nat::*) : __lx(0) {}
constexpr operator int __nat::*() const {return 0;}
template <class _Tp>
constexpr
operator _Tp* () const {return 0;}
template <class _Tp, class _Up>
operator _Tp _Up::* () const {return 0;}
friend constexpr bool operator==(nullptr_t2, nullptr_t2) {return true;}
friend constexpr bool operator!=(nullptr_t2, nullptr_t2) {return false;}
};
inline constexpr nullptr_t2 __get_nullptr_t2() {return nullptr_t2(0);}
#define nullptr2 __get_nullptr_t2()
int main(){
long l = reinterpret_cast<long>(nullptr);
long l2 = reinterpret_cast<long>(nullptr2); // error: invalid type conversion
bool b = nullptr; // warning: implicit conversion
// edditor error: a value of type "std::nullptr_t" cannot be used to initialize an entity of type "bool"
bool b2 = nullptr2;
if (nullptr){}; // warning: implicit conversion
if (nullptr2){};
};
#ifdef _LIBCPP_HAS_NO_NULLPTR
。これは、コンパイラがを提供しない場合のベストエフォートの回避策のようnullptr
です。
nullptr_t
は基本的なタイプであると述べています。クラス型として実装しても、適合実装にはなりません。chrisのコメントを参照してください。
is_class
そしてis_null_pointer
、同じ型に対して両方を真にすることはできません。特定のタイプに対してtrueを返すことができるのは、1つの基本タイプのカテゴリー関数の1つだけです。
nullptr_t
基本的なタイプです。どのようにint
実装されていますか?