Комментарии пользователя Евгений Шатунов

Можно ли конвертировать результат constexpr функции в строку?

Евгений Шатунов @MarkusD Куратор тега C++

Ternick, давай покажу ровно на том же примере, что и на SO.

#include <map>

constexpr unsigned int str2int( const char* str, const int h = 0 )
{
	return ( !str[ h ] )? 5381 : ( ( str2int( str, h + 1 ) * 33 ) ^ str[ h ] );
}

const std::map<unsigned int, const char*> values{
    { str2int( "foo" ), "bar" },
    { str2int( "hello" ), "world" },
};

int main() { return 0; }

Тут "foo" и "hello" потенциально идут в бинарник потому что они ODR-used.
Чтобы constexpr-функция посчитала хеш, ей нужен адрес строки. Чтобы у литерала появился адрес, ему надо задать размещение в памяти бинарника. Т.к. у литерала появилось размещение, constexpr-функция утрачивает контекст времени компиляции и тоже получает свое размещение в бинарнике. В результате мы получаем исполнение на стадии исполнения перед main, а не во время компиляции.

Если ты до сих пор пользуешься лишь стандартом C++11, то выход будет таким.

Выход для C++11

#include <map>
#include <type_traits>

constexpr unsigned int str2int( const char* str, const int h = 0 )
{
	return ( !str[ h ] )? 5381 : ( ( str2int( str, h + 1 ) * 33 ) ^ str[ h ] );
}

const std::map<unsigned int, const char*> values{
    { std::integral_constant<unsigned int, str2int( "foo" )>::value, "bar" },
    { std::integral_constant<unsigned int, str2int( "hello" )>::value, "world" },
};

int main() { return 0; }

Если твой стандарт - C++14, то для восстановления контекста времени компиляции можно использовать шаблон константы.

Выход для C++14

#include <map>

constexpr unsigned int str2int( const char* str, const int h = 0 )
{
	return ( !str[ h ] )? 5381 : ( ( str2int( str, h + 1 ) * 33 ) ^ str[ h ] );
}

template< unsigned int VALUE >
static constexpr unsigned int FORCED_CONSTEXPR = VALUE;

const std::map<unsigned int, const char*> values{
    { FORCED_CONSTEXPR<str2int( "foo" )>, "bar" },
    { FORCED_CONSTEXPR<str2int( "hello" )>, "world" },
};

int main() { return 0; }

Если ты пользуешься C++17, то выходом будет шаблон встраиваемой константы - самый лучший способ объяснить транслятору свои намерения.

Выход для C++17

#include <map>

constexpr unsigned int str2int( const char* str, const int h = 0 )
{
	return ( !str[ h ] )? 5381 : ( ( str2int( str, h + 1 ) * 33 ) ^ str[ h ] );
}

template< unsigned int VALUE >
inline constexpr unsigned int FORCED_CONSTEXPR = VALUE;

const std::map<unsigned int, const char*> values{
    { FORCED_CONSTEXPR<str2int( "foo" )>, "bar" },
    { FORCED_CONSTEXPR<str2int( "hello" )>, "world" },
};

int main() { return 0; }

Если ты задал kdata как

template<wchar_t* x>
using kdata = std::integral_constant<wchar_t*, x>;

то пользоваться тебе им можно только так

static std::map<std::wstring, wchar_t*> mp{
	{ L"test", kdata<encoder<4>(L"Tes").data>::value }
};

Кстати, encoder тоже стоит исправить на

template< size_t STRING_LENGTH >
constexpr dataString<STRING_LENGTH> encoder( const wchar_t (&str)[ STRING_LENGTH ] )

В этом случае можно будет не указывать размерность строки, а то так очень легко ошибиться.

static std::map<std::wstring, wchar_t*> mp{
	{ L"test", kdata<encoder(L"Tes").data>::value }
};

Войдите на сайт