type_strings.inl

Go to the documentation of this file.

/**
 
    @file      type_strings.inl
    @author    Khrapov
    @date      24.09.2022
    @copyright (c) Nick Khrapov, 2022. All right reserved.
 
**/
 
namespace qx
{
 
template<class T, class char_t>
constexpr typename type_strings<T, char_t>::string_view_type type_strings<T, char_t>::create_full_signature()
{
#if QX_MSVC
    return QX_STR_PREFIX(char_t, __FUNCSIG__);
#elif QX_CLANG || QX_GNU
    if constexpr (std::is_same_v<char_t, char>)
        return __PRETTY_FUNCTION__;
    else
        return convert_string_literal<char_t, __PRETTY_FUNCTION__>();
#endif
}
 
template<class T, class char_t>
constexpr typename type_strings<T, char_t>::string_view_type type_strings<T, char_t>::create_signature()
{
    // Make an output for built-in types compiler independent.
    // Note: this won't work for complied types (for example, std::array<int, 5>)
 
    if constexpr (std::is_same_v<T, void>)
        return "void";
 
    else if constexpr (std::is_same_v<T, bool>)
        return "bool";
 
    else if constexpr (std::is_same_v<T, char>)
        return "char";
 
    else if constexpr (std::is_same_v<T, signed char>)
        return "signed char";
 
    else if constexpr (std::is_same_v<T, unsigned char>)
        return "unsigned char";
 
    else if constexpr (std::is_same_v<T, wchar_t>)
        return "wchar_t";
 
    else if constexpr (std::is_same_v<T, char8_t>)
        return "char8_t";
 
    else if constexpr (std::is_same_v<T, char16_t>)
        return "char16_t";
 
    else if constexpr (std::is_same_v<T, char32_t>)
        return "char32_t";
 
    else if constexpr (std::is_same_v<T, std::int8_t>)
        return "int8_t";
 
    else if constexpr (std::is_same_v<T, std::uint8_t>)
        return "uint8_t";
 
    else if constexpr (std::is_same_v<T, std::int16_t>)
        return "int16_t";
 
    else if constexpr (std::is_same_v<T, std::uint16_t>)
        return "uint16_t";
 
    else if constexpr (std::is_same_v<T, std::int32_t>)
        return "int32_t";
 
    else if constexpr (std::is_same_v<T, std::uint32_t>)
        return "uint32_t";
 
    else if constexpr (std::is_same_v<T, std::int64_t>)
        return "int64_t";
 
    else if constexpr (std::is_same_v<T, std::uint64_t>)
        return "uint64_t";
 
    else if constexpr (std::is_same_v<T, float>)
        return "float";
 
    else if constexpr (std::is_same_v<T, double>)
        return "double";
 
    else if constexpr (std::is_same_v<T, long double>)
        return "long double";
 
    else if constexpr (std::is_same_v<T, std::nullptr_t>)
        return "nullptr_t";
 
    constexpr string_view_type svFunctionSignature = create_full_signature();
 
#if QX_MSVC
    constexpr string_view_type svStartMarker = QX_STR_PREFIX(char_t, "type_strings<");
    constexpr string_view_type svEndMarker   = QX_STR_PREFIX(char_t, ">::create_full_signature(");
#elif QX_CLANG
    constexpr string_view_type svStartMarker = QX_STR_PREFIX(char_t, "T = ");
    constexpr string_view_type svEndMarker   = QX_STR_PREFIX(char_t, ", char_t = ");
#elif QX_GNU
    constexpr string_view_type svStartMarker = QX_STR_PREFIX(char_t, "T = ");
    constexpr string_view_type svEndMarker   = QX_STR_PREFIX(char_t, ";");
#endif
 
    size_t nStartMarker = svFunctionSignature.find(svStartMarker);
    size_t nStart       = nStartMarker != string_view_type::npos ? (nStartMarker + svStartMarker.size()) : 0;
 
    constexpr string_view_type classMarker  = QX_STR_PREFIX(char_t, "class ");
    size_t                     nClassMarker = svFunctionSignature.find(classMarker, nStart);
    if (nClassMarker != string_view_type::npos)
        nStart = nClassMarker + classMarker.size();
 
    size_t nEndMarker = svFunctionSignature.find(svEndMarker, nStart);
    size_t nEnd       = nEndMarker != string_view_type::npos ? nEndMarker : svFunctionSignature.size();
 
#if QX_MSVC
    size_t nCharCommaMarker = svFunctionSignature.rfind(QX_CHAR_PREFIX(char_t, ','), nEnd);
    if (nCharCommaMarker != string_view_type::npos)
        nEnd = nCharCommaMarker;
#endif
 
    return string_view_type(svFunctionSignature.data() + nStart, nEnd - nStart);
}
 
template<class T, class char_t>
constexpr size_t type_strings<T, char_t>::get_num_template_parameters()
{
    const string_view_type svSignature = create_signature();
 
    size_t nBraceCounter = 0;
    size_t nParams       = 0;
    bool   bLambda       = false;
 
    for (size_t i = 0; i < svSignature.size(); ++i)
    {
        switch (svSignature[i])
        {
        case QX_CHAR_PREFIX(char_t, '<'):
            if (!bLambda)
            {
                ++nBraceCounter;
 
                if (svSignature.find(k_svLambdaMarker, i + 1) == i + 1)
                    bLambda = true;
                else if (nParams == 0 && nBraceCounter == 1)
                    ++nParams;
            }
            break;
 
        case QX_CHAR_PREFIX(char_t, '>'):
            --nBraceCounter;
 
            if (bLambda)
                bLambda = false;
 
            break;
 
        case QX_CHAR_PREFIX(char_t, ','):
            if (nBraceCounter == 1)
                ++nParams;
 
            break;
        }
    }
 
    return nParams;
}
 
template<class T, class char_t>
constexpr typename type_strings<T, char_t>::string_view_type type_strings<T, char_t>::get_signature()
{
    return create_signature();
}
 
template<class T, class char_t>
constexpr typename type_strings<T, char_t>::string_view_type type_strings<T, char_t>::get_name()
{
    constexpr string_view_type svStartMarker = QX_STR_PREFIX(char_t, "<");
    const string_view_type     svSignature   = create_signature();
    size_t                     nStartMarker  = svSignature.find(svStartMarker);
 
    if (nStartMarker != string_view_type::npos && svSignature.find(k_svLambdaMarker, nStartMarker) == nStartMarker + 1)
        nStartMarker = string_view_type::npos;
 
    return svSignature.substr(0, nStartMarker);
}
 
template<class T, class char_t>
constexpr auto type_strings<T, char_t>::get_template_parameters()
{
    std::array<string_view_type, get_num_template_parameters()> tokens;
 
    const string_view_type svSignature = create_signature();
 
    size_t nTokenStart   = 0;
    size_t nBraceCounter = 0;
    size_t nParam        = 0;
 
    const auto add_token = [&tokens, &svSignature](size_t nToken, size_t nStart, size_t nEnd)
    {
        while (svSignature[nStart] == QX_CHAR_PREFIX(char_t, ' '))
            ++nStart;
 
        while (svSignature[nEnd] == QX_CHAR_PREFIX(char_t, ' '))
            --nEnd;
 
        constexpr string_view_type classMarker = QX_STR_PREFIX(char_t, "class ");
        if (svSignature.substr(nStart, nEnd - nStart).starts_with(classMarker))
            nStart += classMarker.size();
 
        tokens[nToken] = svSignature.substr(nStart, nEnd + 1 - nStart);
    };
 
    bool bLambda = false;
 
    for (size_t i = 0; i < svSignature.size(); ++i)
    {
        switch (svSignature[i])
        {
        case QX_CHAR_PREFIX(char_t, '<'):
            ++nBraceCounter;
 
            if (nTokenStart == 0)
                nTokenStart = i + 1;
            else if (!bLambda && svSignature.find(k_svLambdaMarker, i + 1) == i + 1)
                bLambda = true;
 
            break;
 
        case QX_CHAR_PREFIX(char_t, '>'):
            --nBraceCounter;
            if (bLambda)
                bLambda = false;
 
            break;
 
        case QX_CHAR_PREFIX(char_t, ','):
            if (nBraceCounter == 1)
            {
                add_token(nParam, nTokenStart, i - 1);
                nTokenStart = i + 1;
                ++nParam;
            }
            break;
        }
    }
 
    if (tokens.size() > 0)
    {
        size_t nTokenEnd = svSignature.size() - 1;
 
        if (svSignature[nTokenEnd] == QX_CHAR_PREFIX(char_t, ' '))
            --nTokenEnd;
 
        if (svSignature[nTokenEnd] == QX_CHAR_PREFIX(char_t, '>'))
            --nTokenEnd;
 
        add_token(nParam, nTokenStart, nTokenEnd);
    }
 
    return tokens;
}
 
} // namespace qx