Может ли шаблонная функция C++ выбрать переменную-член?

Question

Я хотел бы, чтобы класс имел функцию с аргументом шаблона, и на основе этого аргумента шаблона обрабатывается конкретная переменная-член.

Например, если шаблон функции специализация была разрешена, то что-то вроде этого:

struct A 
{ 
    struct M1 {}; 
    struct M2 {}; 

    // Function template specialization not allowed :(
    template<typename M> 
    void addM(M const &m); 

    template<> 
    void addM(M1 const &m) 
    { 
     m1_vec_.push_back(m); 
    } 

    template<> 
    void addM(M2 const &m) 
    { 
     m2_vec_.push_back(m); 
    } 

    std::vector<M1> m1_vec_; 
    std::vector<M2> m2_vec_; 
}; 

Любых идей? Я чувствую, что я пропустил что-то простое, но не могу на это положиться.

Answer 1

Просто перегружать их:

struct A 
{ 
    struct M1 {}; 
    struct M2 {}; 

    void addM(M1 const &m) 
    { 
     m1_vec_.push_back(m); 
    } 

    void addM(M2 const &m) 
    { 
     m2_vec_.push_back(m); 
    } 

    std::vector<M1> m1_vec_; 
    std::vector<M2> m2_vec_; 
}; 

Если вы не хотите, чтобы дублировать код addM «s, вы можете просто абстрактный вектор выбор за другую функцию:

struct A 
{ 
    struct M1 {}; 
    struct M2 {}; 

    template <class T> 
    void addM(T const &m) 
    { 
     getVec<T>().push_back(m); 
    } 

    std::vector<M1> m1_vec_; 
    std::vector<M2> m2_vec_; 

private: 
    template<class T> 
    std::vector<T> &getVec(); 
}; 

template <> 
std::vector<A::M1> &A::getVec() { return m1_vec_; } 

template <> 
std::vector<A::M2> &A::getVec() { return m2_vec_; }