单元测试C++模板

我在我的库的实现中使用了函数和类模板.到目前为止,我只是在库单元测试(CppUnit)中实例化了一个模板,然后开始测试它几乎像任何其他普通类或函数一样.

最近我一直在计划为库API添加一些模板.良好的界面当然是最重要的,模板与否.通过精心设计和实施的模板,您可以(如果不是完全防止的话)至少使用户更难以在脚下射击.我认为,与纯粹的内部模板相比,单元测试公共模板需要更严格一些.

那么,您如何对C++模板进行单元测试？您是否想出了任何优雅的解决方案,尤其是公共图书馆API中的模板？

对于初学者,使用您认为最有可能供用户提供的参数对您的模板代码进行单元测试.我经常制作模板"以防万一",最后我从不使用任何东西,只有我编写原始代码时的一种类型.因此,在这种情况下,测试最可能的案例涵盖所有案例!

如果您觉得需要测试更多,请使用与第一个参数尽可能不同的另一个模板参数.可能没有必要再次测试所有方法.某些方法实际上可能不依赖于模板参数.

我有一个额外的建议. 除了对每个模板进行单元测试外,还要检查有助于限制库用户可能尝试传递给模板的大量模板参数的技术.

例如:假设您只使用类型参数"string"和"char"测试模板.您没有证据证明其他类型参数对于此特定模板会有问题,但出于某种原因,您"怀疑"其他未经测试的类型参数将存在问题.

在上述示例的情况下,它并不一定意味着您应该详尽地测试其他类型的args.相反,您有一个案例可能意味着您应该使用一些编译时模板元编程技术来确保您的模板永远不会与任何其他参数一起使用,而是"string"和"char".

一种资源:

现代C++设计 - 作者:Andrei Alexandrescu

在本书的早期,作者展示了如下例子:

如何制作一个自我强制执行的模板,其第一个类型arg的类型小于第二个类型arg

如何在编译时检测可转换性和继承

"现代C++设计"(尽管其标题相当宽泛/模糊)是对模板编程技术的一种相当高级的探索.