使用cmake:我如何编写一个测试来验证类是抽象的?

With cmake: how could I write a test to verify that a class is abstract?

本文关键字：测试 一个 验证 抽象的 cmake 何编写 使用      更新时间：2023-10-16

我想知道我是否可以写一个.cpp文件，试图实例化一个抽象类:

// file: test_ensure_A_is_abstract.cpp
class A { void foo() = 0; };
int main() { new A; }
// a simple shell script would look like this, but that is missing all the
// options cmake normally generates (-I, -g, -c, -o, ...)
if g++ test_ensure_A_is_abstract.cpp; then exit 1; else exit 0; fi

，然后让cmake尝试编译它。我在这里的观点是，我想证明类是抽象的，并且仍然是抽象的，所以不能实例化它。

我知道如何创建一个有效的目标，但我想知道是否有一种方法来运行cmake的目标已知是无效的?有人做过吗?

更新:

根据steve的回答和下面的评论，我写了我自己的模块来做这项工作，并确保类是真正抽象的(而不是指望任何编译器失败作为抽象类的指示)。所以我们必须有一个与特定错误匹配的错误信息。我支持其中的4个，2个明确地使类抽象(至少一个函数是纯虚的)，另外2个将受保护和私有构造函数视为一种抽象类(就像抽象类一样，你不能做一个新的<类名>。

你可以在Snap中找到那个模块!c++ git here:

https://sourceforge.net/p/snapcpp/code/ci/master/tree/snapCMakeModules/Modules/

命名为CheckCXXAbstractClass.cmake.

http://www.cmake.org/cmake/help/v3.0/command/try_compile.html

http://www.cmake.org/cmake/help/v3.0/module/CheckCXXSourceCompiles.html 

check_cxx_source_compiles(
    "class A { void foo() = 0; };nint main() { new A; }"
    BUILT_ABSTRACT
)
if (BUILT_ABSTRACT)
    message(FATAL_ERROR "A can be instantiated, but should be abstract.")
endif()

如果适当地设置CMAKE_REQUIRED_INCLUDES变量，则可以使用#include "A"

相关文章：