用于专门化联合类型的C ++模板方法

Question

假设我有一个联盟：

union U{
    int i;
    float f;
};

我想编写一个将其用作float或int的泛型方法。像这样：

template <typename T>
T sum(std::vector<U> vec){
    T res(0);
    for (U &v: vec){
        res += ... // use v.i or v.f depending on what T is
    }
    return res;
}

有办法做到这一点吗？这只是一个示例方法。我有一个更长，更复杂的方法，我不想复制它只是为了切换它正在使用的联合类型。

Answer 1

专业化将起作用：

template <typename T> T const & get(U const &);

template <> int const & get<int>(U const & u) { return u.i; }
template <> float const & get<float>(U const & u) { return u.f; }

用法：

for (U & v : vec) { res += get<T>(v); }