native.types.ccm

// SPDX-FileCopyrightText: 2024 Edward Kmett <ekmett@gmail.com>
// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
module;
#include <cstdlib>
#include <memory>
#include <string>
#include <string_view>
#include <type_traits>
#include <typeinfo>
#if !defined(_MSC_VER) && __has_include(<cxxabi.h>)
#include <cxxabi.h>
#endif
#include "native/attributes.h"
#include "native/mask_traits.h"
 
export module native.types;


export namespace native {
using ::native::mask_traits;
using ::native::mask;

template <typename T>
inline std::string_view const type = [] native_nodiscard static -> std::string_view {
  // nb: copying into string is necessary because the demangled name is ephemeral
  static std::string const body = [] native_nodiscard static -> std::string {
    #if !defined(_MSC_VER) && __has_include(<cxxabi.h>)
    int status = 0;
    std::unique_ptr<char, decltype(&std::free)> demangled(
      abi::__cxa_demangle(typeid(T).name(), nullptr, nullptr, &status),
      &std::free
    );
    if (status != 0 || !demangled) {
      return typeid(T).name();
    }
    return demangled.get();
    #else
    // MSVC ABI has no __cxa_demangle; the string still owns the returned name.
    return typeid(T).name();
    #endif
  }();
  return body;
}();

native_nodiscard
std::string_view type_of(auto const & t) {
  return type<std::remove_cvref_t<decltype(t)>>;
}

template <typename T, typename ... candidates>
concept one_of_t = (std::is_same_v<T,candidates> || ... || false);

template <typename T, typename ... candidates>
concept not_one_of_t = (!one_of_t<T,candidates...>);
}