映射实例变量键入模板成员函数

Question

想象我有

struct A { 
template <class T> 
T getFirstElement(); 

vector<float> floatVector; 
vector<int> intVector; 
}; 

在implelemtation文件：

template <> 
float A::getFirstElement<float>() { 
    return floatVector[0]; 
} 

template <> 
int A::getFirstElement<int>() { 
    return intVector[0]; 
} 

因为我知道我的类型的成员变量，甚至给它们命名，似乎矫枉过正。有什么办法可以在编译时提供一些东西（比如类型列表），这个结构的成员是什么？想要更简洁，没有明确的模板专业化。

Answer 1

你可以写类似：

#include <vector> 

template<typename T> 
struct VectorProvider 
{ 
    std::vector<T> vector; 

    auto& get() { 
    return vector; 
    } 
}; 

struct A 
    : VectorProvider<float>, VectorProvider<int> { 

template <typename T> 
T getFirstElement() { 
    return VectorProvider<T>::get()[0]; 
} 
}; 

Demo

Answer 2

随着std::tuple你可以做

struct A { 
    template <class T> 
    T getFirstElement() const 
    { 
     return std::get<std::vector<T>>(Vectors)[0]; 
    } 

    std::tuple<std::vector<float>, std::vector<int>> Vectors; 
}; 

而且具有可变参数模板：

template <typename ... Ts> 
struct A_impl { 
    template <class T> 
    T getFirstElement() const 
    { 
     return std::get<std::vector<T>>(Vectors)[0]; 
    } 

    std::tuple<std::vector<Ts>...> Vectors; 
}; 

struct A : A_impl<float, int> {};