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

Question

考虑到一个 C++ 模板 mixin 结构，我如何编写一个函数来接受一个带有特定组件的 mixin？在这个例子中，如何将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;
}

即使抛开构造问题或 mixin 排序问题（HasA<HasB<Base>> 与 HasB<HasA<Base>>），除了将其设为模板之外，我看不到编写此函数的好方法。

我目前处于没有 C++11 的环境中，但如果现代 C++ 提供解决方案，我会很感兴趣。

非常感谢！

Answer 1

您可以将WorksWithA 设为模板函数，该函数接受使用HasA 包装的任何类：

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

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

Answer 2

我认为您也必须制作函数模板？

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

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

因为HasA<HasB<Base>> 无法转换为HasA<Base>。

Answer 3

正如其他人所指出的，这些函数作为模板可能会更好。但是，当您使用它时，您还可以删除一些代码重复：

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

template<class B> 
void WorksWithB(HasA<B> &p) 
{ 
    p.B++;
}

template<class Has>
void WorksWithAandB(Has &p)
{
    WorksWithA(p);
    WorksWithB(p);
}

这里WorksWithAAndB 调用其他类型。因此：

1. 您正在重用代码。
2. 您正在重用编译器对传递给WorksWithA 和WorksWithB 的类型类型的检查，以检查传递给WorksWithAAndB 的类型。

Answer 4

您必须将WorksWithA 设为函数模板；没有其他办法。想一想：WorksWithA 与具有 HasA 混合的 any 类型一起使用。这只能用模板来表达。

Answer 5

另外，如果HasA和HasB有接口的意思，可以考虑使用继承来解决这个问题：

struct HasA
{
  int A;
  virtual ~HasA() = default;
};

struct HasB
{
  int B;
  virtual ~HasB() = default;
};

struct HasAB : HasA, HasB
{
};

struct Base : HasAB
{};

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

void WorksWithAandB(HasAB &p)
{
  p.A++;
  p.B++;
}

在这里你可以用任何实现WithA接口的类的对象调用WorkWithA，用任何实现HasAB接口的类的对象调用WorksWithAandB。

PS：不幸的是，在这个例子中，如果没有从 HasAB 继承，就不可能使用实现 HasA 和 HasB 的类对象调用 WorksWithAandB，但这可以使用模板和 SFINAE 解决。