Использование Hash в c++?

Question

[Proshka17]

Добрый день! Я изучаю unordered_set и прочитал что для использования собственных классов в unordered_set нужно(как вариант) специализировать шаблон класса hash. По аналогии с тем, что я прочитал в интернете, я специализировал hash и получил:

template<>
class hash<OB> {
public:
  size_t operator() (const OB& obi) const{
    return hash<int>()(obi.num);
  }
};

Но мне не понятно почему нужно писать hash<int>()(obi.num);
а не hash<int>(obi.num);
Объясните пожалуйста в чем разница между этими вариантами

Answer 1

[Mercury13]

Первое — создать конструктором без параметров безымянный экземпляр класса и запустить ему операцию ().
Второе — либо создать безымянный экземпляр класса конструктором с одним параметром, либо запустить шаблонную функцию.

std::hash оформлено как struct, конструктор самый обычный, и есть операция () — потому первое.

Comments

[Proshka17]

Понял, но почему тогда не работает следующий код:

template<>
class hash<OB> {  
public:
  size_t operator() (const OB& obi) const{
    hash<int> tt();
    return tt(6);
  }
};

Но работает этот:

template<>
class hash<OB> {  
public:
  size_t operator() (const OB& obi) const{
    hash<int> tt;
    return tt(6);
  }
};

В первом случае я создаю экземпляр класса и вызываю (), во втором тоже самое

[Roman]

Proshka17, азбуку пропустили?

Понял, но почему тогда не работает следующий код:

В первом случае я создаю экземпляр класса и вызываю (), во втором тоже самое

В первом случае
hash<int> tt();
вы объявляете функцию возвращающую hash<int>

По аналогии с тем, что я прочитал в интернете

https://isocpp.org/wiki/faq/ctors#empty-parens-in-...

помимо определения функционального объекта вручную, можно воспользоваться лямбда-выражением, компилятор сам все сделает.

Но работает этот:

Пишем

#include<functional>

struct MyHash
{
  size_t operator() (int obi) const
  {
    std::hash<int> tt;
    return tt(obi);
  }
};

int main()
{
  auto x = MyHash()(42);
}

Получаем

#include<functional>

struct MyHash
{
  inline size_t operator()(int obi) const
  {
    std::hash<int> tt = std::hash<int>();
    return tt.operator()(obi);
  }
  
  // inline constexpr MyHash() noexcept = default;
  // inline constexpr MyHash(const MyHash &) = default;
  // inline constexpr MyHash(MyHash &&) = default;
  // inline ~MyHash() noexcept = default;
};

int main()
{
  unsigned long x = MyHash().operator()(42);
}

  

[Mercury13]

Proshka17, скобки () нужны только для безымянного объекта. Для именованного, наоборот, не нужны.