通过几个类重用模板参数

时间:2014-12-17 10:21:34

标签: c++ templates c++11

我在下面用简单的代码复制了我想要的东西 B类拥有A类成员并使用相同的类型名称 我想避免复制这些模板,以便在main()中我可以调用类似 B b(a,3.0)的东西,它会重用A中的模板。这可能吗?

#include <iostream>
#include <vector>

template<int N, typename T=double>
struct A
{
    A(T val) : vecA(N, val) {}
    void print() { for (auto i : vecA) std::cout << i << ";"; }
    std::vector<T> vecA;
};

template<int N, typename T>
struct B
{
    B(const A<N,T> & in, T scal) : a(in), scalB(scal) {}
    void print() { a.print(); std::cout << " | " << scalB << std::endl; }
    A<N,T> a;
    T scalB;
};


int main()
{
    A<5,float> a(2.0);
    B<5,float> b(a, 3.0);   // This is redundancy. Can I do something like B b(a,3.0) ?
    b.print();
}

3 个答案:

答案 0 :(得分:16)

模板参数可以从函数模板的参数类型推导出来,但不能从类模板的构造函数参数中推断出来。所以你可以做标准库所做的事情(例如使用make_pair)并编写一个函数来为你推导它们:

template <int N, typename T>
B<N,T> make_b(const A<N,T> & in, T scal) {
    return B<N,T>(in, scal);
}

auto b = make_b(a, 3.0f);

请注意,这需要一个float参数3.0f,以匹配a的类型。如果要允许第二个参数的转换,则可以单独对该类型进行参数化:

template <int N, typename T, typename T2>
B<N,T> make_b(const A<N,T> & in, T2 scal) {
    return B<N,T>(in, scal);
}

auto b = make_b(a, 3.0);

答案 1 :(得分:8)

不,因为您创建了B<int, T>类型的对象。 使用C ++ 11,您可以使用auto并编写简单的创建函数

template<int N, typename T>
B<N, T> create(const A<N, T>& in, T scal)
{
   return B<N, T>(in, scal);
}

// in main
auto b = create(a, 3.0f);

答案 2 :(得分:2)

不在这个世界上。

auto b = make_b(a, 3.0);

(执行make_b作为练习;请参阅std::make_pair)。