Question

我正在编写一个包含许多适配器的C ++库。很容易进行自动化测试，可以将适配器foo应用于类型a，只需编写代码foo并检查它是否编译。为了更有信心，您甚至可以检查它是否按预期工作;）有许多单元测试框架可以帮助实现这一点。

但是某些事情不能编译同样重要，例如foo不应该接受b型。关于以自动方式测试这个有共同的智慧吗？一步可能是运行编译器并验证它是否返回错误状态（或者不生成输出文件）。但是每次测试需要一个源文件！一些宏魔法可以将测试组合到一个源文件中，但它仍然需要许多编译运行。

我无法相信自己是第一个与这个问题斗争的人。那么，组织和运行此类测试的好方法是什么？

（在前一生中我写了一个小编译器，它有一个命令行选项-fail 12，导致编译器返回错误代码，除非它遇到错误或第12行。也许我应该修补GCC接受类似的东西。）

Answer 1

事实证明我想要的东西（以有限的方式）可以用C ++概念完成。一个概念测试其条款是否格式良好。如果不是，则该概念返回false。此代码检查pin_in_out是否具有set（bool）函数，而pin_in没有。

struct pin_in_out { static void set( bool v ){} };
struct pin_in{ };

template< typename T >
concept bool test_case = requires( bool v ) {
    { T::set( v ) } -> void;
};

int main(){
   std::cout << test_case< pin_in_out > << "\n";
   std::cout << test_case< pin_in > << "\n";
}

打印

1
0

所需的代码有点冗长（每个测试需要一个单独的conecpt），所以我可能会编写一个Python testcript-to-C ++转换器。

如何测试编译器不应接受的内容

1 个答案: