如何测试编译器不应接受的内容[重复]

事实证明,我想要的可以(以有限的方式)用C++概念来完成。概念测试其子句是否格式良好。否则,该概念将返回false。这段代码检查pin\u in\u out是否有set(bool)函数,而pin\u 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 TestScript到C++的转换器。