VariableDataTypeTraits.h

// -*- tab-width: 2; indent-tabs-mode: nil; coding: utf-8-with-signature -*-
//-----------------------------------------------------------------------------
// Copyright 2000-2023 CEA (www.cea.fr) IFPEN (www.ifpenergiesnouvelles.com)
// See the top-level COPYRIGHT file for details.
// SPDX-License-Identifier: Apache-2.0
//-----------------------------------------------------------------------------
/*---------------------------------------------------------------------------*/
/* VariableDataTypeTraits.h                                    (C) 2000-2023 */
/*                                                                           */
/* Classes spécialisées pour caractériser les types de données.              */
/*---------------------------------------------------------------------------*/
#ifndef ARCANE_VARIABLEDATATYPETRAITS_H
#define ARCANE_VARIABLEDATATYPETRAITS_H
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
 
#include "arcane/utils/PlatformUtils.h"
#include "arcane/utils/ValueConvert.h"
 
#include "arcane/core/datatype/DataTypes.h"
 
#include <cmath>
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
 
namespace Arcane
{
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \brief Ecriture dans la chaine \a s d'un type basique de valeur \a v.
 */
template <typename DataType> inline void
builtInDumpValue(String& s, const DataType& v)
{
  std::ostringstream sbuf;
  sbuf << v << '\0';
  s = sbuf.str();
}
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Classe template d'informations sur un type d'une variable.
 *
 * Cette classe doit être spécialisée pour chaque type.
 */
template <typename DataType>
class VariableDataTypeTraitsT
{
 public:
 
  static eDataType type() { return DT_Unknown; }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>byte</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Byte>
{
 public:
 
  //! Type du paramètre template
  typedef Byte Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef FalseType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Byte BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Byte"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Byte; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { builtInDumpValue(s, v); }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(Byte v1, Byte v2, Byte& diff,
                             [[maybe_unused]] bool is_nan_equal = false)
  {
    if (v1 != v2) {
      if (math::isZero(v1))
        diff = (Byte)(v1 - v2);
      else
        diff = (Byte)((v1 - v2) / v1);
      return true;
    }
    return false;
  }
 
  static Byte normeMax(Byte v)
  {
    return (Byte)math::abs(v);
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type \c Real.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Real>
{
 public:
 
  //! Type du paramètre template
  typedef Real Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Real BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Real"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Real; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { builtInDumpValue(s, v); }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(Real v1, Real v2, Real& diff, bool is_nan_equal = false)
  {
    if (is_nan_equal) {
      if (std::isnan(v1) && std::isnan(v2))
        return false;
    }
    // Vérifie avant de les comparer que les deux nombres sont valides
    // pour éviter une exception flottante sur certaines plates-formes
    if (platform::isDenormalized(v1) || platform::isDenormalized(v2)) {
      diff = 1.0;
      return true;
    }
    if (v1 != v2) {
      if (math::abs(v1) < 1.e-100) // TH: plantait pour v1 tres petit(math::isZero(v1))
        diff = v1 - v2;
      else
        diff = (v1 - v2) / v1;
      return true;
    }
    return false;
  }
 
  static Real normeMax(Real v)
  {
    return math::abs(v);
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Int16</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Int16>
{
 public:
 
  //! Type du paramètre template
  typedef Int16 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Int16 BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Int16"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Int16; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { builtInDumpValue(s, v); }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
  static bool verifDifferent(Int16 v1, Int16 v2, Int16& diff,
                             [[maybe_unused]] bool is_nan_equal = false)
  {
    if (v1 != v2) {
      if (math::isZero(v1))
        diff = (Int16)(v1 - v2);
      else
        diff = (Int16)((v1 - v2) / v1);
      return true;
    }
    return false;
  }
  static Int16 normeMax(Int16 v)
  {
    return math::abs(v);
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Int32</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Int32>
{
 public:
 
  //! Type du paramètre template
  typedef Int32 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Int32 BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Int32"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Int32; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { builtInDumpValue(s, v); }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
  static bool verifDifferent(Int32 v1, Int32 v2, Int32& diff,
                             [[maybe_unused]] bool is_nan_equal = false)
  {
    if (v1 != v2) {
      if (math::isZero(v1))
        diff = v1 - v2;
      else
        diff = (v1 - v2) / v1;
      return true;
    }
    return false;
  }
  static Int32 normeMax(Int32 v)
  {
    return math::abs(v);
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Int64</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Int64>
{
 public:
 
  //! Type du paramètre template
  typedef Int64 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Int64 BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Int64"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Int64; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { builtInDumpValue(s, v); }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(Type v1, Type v2, Type& diff,
                             [[maybe_unused]] bool is_nan_equal = false)
  {
    if (v1 != v2) {
      if (math::isZero(v1))
        diff = v1 - v2;
      else
        diff = (v1 - v2) / v1;
      return true;
    }
    return false;
  }
  static Int64 normeMax(Int64 v)
  {
    return v;
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>String</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<String>
{
 public:
 
  //! Type du paramètre template
  typedef String Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef FalseType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef FalseType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef FalseType IsNumeric;
 
  typedef String BasicType;
 
  static constexpr Integer nbBasicType() { return 1; }
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "String"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_String; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type& v) { s = v; }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(const Type v1, const Type& v2, Type&,
                             [[maybe_unused]] bool is_nan_equal = false)
  {
    return (v1 != v2);
  }
  static const char* normeMax(const char* v)
  {
    return v;
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Real2</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Real2>
{
 public:
 
  //! Type du paramètre template
  typedef Real2 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Real BasicType;
 
  static constexpr Integer nbBasicType() { return 2; }
 
 private:
 
  using SubTraits = VariableDataTypeTraitsT<Real>;
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Real2"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Real2; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type&) { s = "N/A"; }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(Real2 v1, Real2 v2, Real2& diff, bool is_nan_equal = false)
  {
    bool is_different = false;
    is_different |= SubTraits::verifDifferent(v1.x, v2.x, diff.x, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.y, v2.y, diff.y, is_nan_equal);
    return is_different;
  }
 
  static Real normeMax(const Real2& v)
  {
    Real vx = SubTraits::normeMax(v.x);
    Real vy = SubTraits::normeMax(v.y);
    return math::max(vx, vy);
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Real3</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Real3>
{
 public:
 
  //! Type du paramètre template
  typedef Real3 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Real BasicType;
 
  static constexpr Integer nbBasicType() { return 3; }
 
 private:
 
  using SubTraits = VariableDataTypeTraitsT<Real>;
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Real3"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Real3; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type&) { s = "N/A"; }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type& v, const String& s) { return builtInGetValue(v, s); }
 
  static bool verifDifferent(Real3 v1, Real3 v2, Real3& diff, bool is_nan_equal = false)
  {
    bool is_different = false;
    is_different |= SubTraits::verifDifferent(v1.x, v2.x, diff.x, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.y, v2.y, diff.y, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.z, v2.z, diff.z, is_nan_equal);
    return is_different;
  }
 
  static Real normeMax(const Real3& v)
  {
    Real vx = SubTraits::normeMax(v.x);
    Real vy = SubTraits::normeMax(v.y);
    Real vz = SubTraits::normeMax(v.z);
    return math::max(vx, math::max(vy, vz));
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Real3x3</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Real2x2>
{
 public:
 
  //! Type du paramètre template
  typedef Real2x2 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Real BasicType;
 
  static constexpr Integer nbBasicType() { return 4; }
 
 private:
 
  using SubTraits = VariableDataTypeTraitsT<Real2>;
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Real2x2"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Real2x2; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type&) { s = "N/A"; }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type&, const String&) { return true; }
 
  static bool verifDifferent(Real2x2 v1, Real2x2 v2, Real2x2& diff, bool is_nan_equal = false)
  {
    bool is_different = false;
    is_different |= SubTraits::verifDifferent(v1.x, v2.x, diff.x, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.y, v2.y, diff.y, is_nan_equal);
    return is_different;
  }
 
  static Real normeMax(const Real2x2& v)
  {
    Real vx = SubTraits::normeMax(v.x);
    Real vy = SubTraits::normeMax(v.y);
    return SubTraits::normeMax(Real2(vx, vy));
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/*!
 * \internal
 * \brief Spécialisation de VariableDataTypeTraitsT pour le type <tt>Real3x3</tt>.
 */
template <>
class ARCANE_CORE_EXPORT VariableDataTypeTraitsT<Real3x3>
{
 public:
 
  //! Type du paramètre template
  typedef Real3x3 Type;
 
  //! Indique si le type peut être sauvé et relu
  typedef TrueType HasDump;
 
  //! Indique si le type peut être subir une réduction
  typedef TrueType HasReduce;
 
  //! Indique si le type peut être subir une réduction Min/Max
  typedef TrueType HasReduceMinMax;
 
  //! Indique si le type est numérique
  typedef TrueType IsNumeric;
 
  typedef Real BasicType;
 
  static constexpr Integer nbBasicType() { return 9; }
 
 private:
 
  using SubTraits = VariableDataTypeTraitsT<Real3>;
 
 public:
 
  //! Retourne le nom du type de la variable
  static constexpr const char* typeName() { return "Real3x3"; }
  //! Retourne le type de la variable
  static constexpr eDataType type() { return DT_Real3x3; }
  //! Ecrit dans la chaîne \a s la valeur de \a v
  static void dumpValue(String& s, const Type&) { s = "N/A"; }
  /*!
   * \brief Stocke la conversion de la chaîne \a s en le type #Type dans \a v
   * \retval true en cas d'échec,
   * \retval false si la conversion est un succès
   */
  static bool getValue(Type&, const String&) { return true; }
 
  static bool verifDifferent(Real3x3 v1, Real3x3 v2, Real3x3& diff, bool is_nan_equal = false)
  {
    bool is_different = false;
    is_different |= SubTraits::verifDifferent(v1.x, v2.x, diff.x, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.y, v2.y, diff.y, is_nan_equal);
    is_different |= SubTraits::verifDifferent(v1.z, v2.z, diff.z, is_nan_equal);
    return is_different;
  }
 
  static Real normeMax(const Real3x3& v)
  {
    Real vx = SubTraits::normeMax(v.x);
    Real vy = SubTraits::normeMax(v.y);
    Real vz = SubTraits::normeMax(v.z);
    return VariableDataTypeTraitsT<Real3>::normeMax(Real3(vx, vy, vz));
  }
};
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
 
} // namespace Arcane
 
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
 
#endif