Declaración static_assert - cppreference.com

#include <format>
#include <type_traits>

static_assert(03301 == 1729); // desde C++17 la cadena de mensaje es opcional

template<class T>
void swap(T& a, T& b) noexcept
{
    static_assert(std::is_copy_constructible_v<T>,
                  "El intercambio requiere copia");
    static_assert(std::is_nothrow_copy_constructible_v<T> &&
                  std::is_nothrow_copy_assignable_v<T>,
                  "El intercambio requiere copia/asignación nothrow");
    auto c = b;
    b = a;
    a = c;
}

template<class T>
struct data_structure
{
    static_assert(std::is_default_constructible_v<T>,
                  "La estructura de datos requiere elementos construibles por defecto");
};

template<class>
constexpr bool dependent_false = false; // Solución alternativa antes de CWG2518/P2593R1

template<class T>
struct bad_type
{
    static_assert(dependent_false<T>, "Error en la instanciación, solución alternativa");
    static_assert(false, "Error en la instanciación"); // Está bien debido a CWG2518/P2593R1
};

struct no_copy
{
    no_copy(const no_copy&) = delete;
    no_copy() = default;
};

struct no_default
{
    no_default() = delete;
};

#if __cpp_static_assert >= 202306L
// Aún no es C++ real (std::format debe ser constexpr para funcionar):
static_assert(sizeof(int) == 4, std::format("Se esperaba 4, se obtuvo {}", sizeof(int)));
#endif

int main()
{
    int a, b;
    swap(a, b);
    
    no_copy nc_a, nc_b;
    swap(nc_a, nc_b); // 1
    
    [[maybe_unused]] data_structure<int> ds_ok;
    [[maybe_unused]] data_structure<no_default> ds_error; // 2
}

1: ERROR: la aserción estática falló: El intercambio requiere copia
2: ERROR: la aserción estática falló: La estructura de datos requiere elementos construibles por defecto
3: ERROR: la aserción estática falló: Se esperaba 4, se obtuvo 2