Преобразовать вектор в карту с указателями на членов?

Question

У меня проблемы с пониманием, почему код ниже

#include <string>
#include <vector>
#include <map>

using namespace std;

struct Student { int id; string name; };

template<typename T, typename U, U T::* Member>
map<U, T> group_by(const vector<T> &items)
{
    map<U, T> result;
    for (vector<T>::const_iterator it = items.begin(); it != items.end(); ++it)
        result[it->*Member] = *it;
    return result;
}

int main()
{
    vector<Student> items;
    group_by<Student, int, Student::id>(items); //Error
    return 0;
}

выдает эту ошибку:

*error C2440*: 'specialization' : cannot convert from `''` to `'int Student::* const '`  

Контекст не позволяет устранять неоднозначность перегруженной функции

Как мне это исправить?

Answer 1

Я думаю, что ошибка должна отличаться .

Student::id не может отображаться в константном выражении как параметр template.

Answer 2

it не является указателем на Student, поэтому его нельзя использовать с ->* оператором доступа к элементу`. Я думаю, что вы имели в виду:

result[(*it).*Member] = *it;

Чтобы сформировать указатель на член, вам нужно использовать &, это не обязательно. Вам также необходимо ввести имена зависимых типов (например, vector<T>::const_iterator с typename).

Эта версия компилируется для меня:

#include <string>
#include <vector>
#include <map>

using namespace std;

struct Student { int id; string name; };

template<typename T, typename U, U T::* Member>
map<U, T> group_by(const vector<T> &items)
{
    map<U, T> result;
    for (typename vector<T>::const_iterator it = items.begin(); it != items.end(); ++it)
        result[(*it).*Member] = *it;
    return result;
}

int main()
{
    vector<Student> items;
    group_by<Student, int, &Student::id>(items);
    return 0;
}