c++ - 如何将模板混合作为参数？

Question

考虑到 C++ 模板混入结构，我如何编写一个函数来接收特定组件的混入？在这个例子中，我怎么给 withAandB至 worksWithA() ？

struct Base {};

template <class T>
struct HasA : T
{
    int A;
};

template <class T>
struct HasB : T
{
    int B;
};

void WorksWithA(HasA<Base> &p)
{
    p.A++;
}

void WorksWithAandB(HasA<HasB<Base> > &p)
{
    p.A++;
    p.B++;
}

int _tmain(int argc, _TCHAR *argv[])
{
    HasA<Base> withA;
    HasA<HasB<Base> > withAandB;

    WorksWithA(withA); // OK
    WorksWithAandB(withAandB); // OK
    WorksWithA(withAandB); // KO, no conversion available

    return 0;
}

即使抛开构造问题或混合顺序(HasA<HasB<Base>> vs HasB<HasA<Base>>)，我也看不出编写此函数的好方法，除了将其也设为模板。

我目前处于没有 C++11 的环境中，但我很想知道现代 C++ 是否为此提供了解决方案。

非常感谢!

Answer 1

您可以使 WorksWithA 成为一个模板函数，它接受任何用 HasA 包装的类:

template<typename T>
void WorksWithA(HasA<T> &p)
{
  p.A++;
}

在这种情况下，您的代码编译没有错误。