constexprハッシュ関数

Question

これがconstexprハッシュ関数で、文字列を利用可能な最大の符号なし整数型にパックします。それで、あなたはどう思いますか？

#include <climits>

#include <cstdint>

#include <utility>

#include <iostream>

namespace detail
{

template <typename T, std::size_t ...I>
constexpr T hash(char const* const s, std::size_t const N,
  std::index_sequence<I...>) noexcept
{
  return ((T(s[I < N ? I : 0]) << ((I < N ? I : 0) * CHAR_BIT)) | ...);
}

}

template <typename T = std::uintmax_t>
constexpr T hash(char const* const s, std::size_t const N) noexcept
{
  return detail::hash<T>(s, N, std::make_index_sequence<sizeof(T)>());
}

template <typename T = std::uintmax_t, std::size_t N>
constexpr T hash(char const(&s)[N]) noexcept
{
  return hash<T>(s, N - 1);
}

int main()
{
  std::cout << (hash("a") == 'a') << std::endl;

  return 0;
}

https://wandbox.org/permlink/KbPiWJc434xYLL3q

Answer 1

コードが複雑すぎます。C ++ 17を使用すると、より複雑なconstexpr関数を記述できるため、可変個引数テンプレートのトリックは必要ありません。

template <typename T = std::uintmax_t, std::size_t N>
constexpr T hash(char const(&s)[N]) noexcept
{
  T val{};

  for (size_t i = 0; i < N; ++i)
    val |= s[i] << (i * CHAR_BIT);

  return val;
}

それとは別に、これはひどいハッシュ関数です！出力は入力と高い相関関係があります。またsizeof(T)、最大文字数までハッシュするため、共通のプレフィックスを持つ長い文字列はすべて同じハッシュ値を取得する可能性があります。