__has_trivial_destructor

From RAD Studio
Jump to: navigation, search

Go Up to Type Trait Functions (C++11) Index


Category

Type Trait Functions

Syntax

bool __has_trivial_destructor (typename T )

Returns true if and only if T has a trivial destructor.

Errorif T is an incomplete type.

Note: Definition from 20.4.4.3 notes has a type T has a trivial destructor if T is one of:

  • a scalartype (or array thereof)
  • a scalartype (or array thereof)
  • an array of class type with a trivial destructor
  • an array of class type with a trivial destructor
  • a class type with a trivial destructor

According to Section 12.4, p 3 of the Working Draft, a destructor for class X is trivial if:

  • it is not user-provided
  • class X has no virtual functions
  • class X has no virtual base classes
  • all of the direct base classes of its class have trivial destructors
  • for all of the non-static data members of its class that are of class type (or array thereof), each such class has a trivial destructor.

A destructor is not user provided if it is implicitly declared, or defined inline as = default;

Ox interaction false if the destructor is defined as deleted.

Ox interaction with default function definitions.

See Also