Использование std :: result_of <> для метода члена типа члена - PullRequest
Новая
       33

Использование std :: result_of <> для метода члена типа члена

0 голосов
/ 27 апреля 2018

Я работаю с типом HashMap, который не указывает свой KeyType в качестве открытого члена, только ValueType. Для получения KeyType можно использовать std::result_of с методом HashMap<>::Entry::GetKey(). Я не могу заставить его работать в шаблоне. 

template <typename K, typename V>
class Map {
public:
  using ValueType = V;
  class Entry {
  public:
    K GetKey();
  };
};

Это прекрасно работает: 

using M = Map<int, float>;
using T = std::result_of<decltype(&M::Entry::GetKey)(M::Entry)>::type;
static_assert(std::is_same<T, int>::value, "T is not int");

Но как мне сделать это из шаблона, где M является параметром типа шаблона? Я попытался использовать вышеуказанное и вставить typename ключевые слова безуспешно. 

template <typename M>
struct GetKeyType {
  using T = std::result_of<decltype(&(typename M::Entry)::GetKey)(typename M::Entry)>::type;    
};

using T = GetKeyType<Map<int, float>>::T;
static_assert(std::is_same<T, int>::value, "T is not R");

1 Ответ

0 голосов
/ 27 апреля 2018

&M::Entry::GetKey это целое, вы не должны разделять их на typename.

Будет работать следующий код: 

template <typename M>
struct GetKeyType {
  using T = typename std::result_of<decltype(&M::Entry::GetKey)(typename M::Entry)>::type;
};
...