Plantilla std::is_trivially_copyable en C++ con ejemplos

La plantilla std::is_trivially_copyable de C++ STL está presente en el archivo de encabezado <type_traits> . La plantilla std::is_trivially_copyable de C++ STL se usa para verificar si T es un tipo copiable trivialmente (un tipo cuyo almacenamiento es contiguo) o no. Devuelve el valor booleano verdadero si T es un tipo copiable trivialmente, de lo contrario devuelve falso.

Archivo de cabecera:

#include<type_traits>

Clase de plantilla:

template<class T>
struct is_trivially_copyable;

Sintaxis:

std::is_trivially_copyable<T>::value

Parámetro: la plantilla std::is_trivially_copyable acepta un solo parámetro T (clase de rasgo) para verificar si T es un tipo copiable trivialmente o no.

Valor devuelto: la plantilla std::is_trivially_copyable devuelve una variable booleana como se muestra a continuación:

• Verdadero: si el tipo T es copiable trivialmente.
• Falso: si el tipo T no es copiable trivialmente.

A continuación se muestra el programa para demostrar la plantilla std::is_trivially_copyable en C++:

Programa:

// C++ program to illustrate
// std::is_trivially_copyable
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// Declare structures
struct X {
    int a;
};
  
struct Y {
    Y(const Y&) {}
};
  
struct Z {
    virtual void GFG();
};
  
struct A {
    ~A() = delete;
};
  
struct B : A {
};
  
// Driver Code
int main()
{
    cout << boolalpha;
  
    // Check if X is a trivially
    // copyable or not
    cout << is_trivially_copyable<X>::value
         << endl;
  
    // Check if Y is a trivially
    // copyable or not
    cout << is_trivially_copyable<Y>::value
         << endl;
  
    // Check if Z is a trivially
    // copyable or not
    cout << is_trivially_copyable<Z>::value
         << endl;
  
    // Check if A is a trivially
    // copyable or not
    cout << is_trivially_copyable<A>::value
         << endl;
  
    // Check if B is a trivially
    // copyable or not
    cout << is_trivially_copyable<B>::value
         << endl;
  
    return 0;
}

true
false
false
true
true