10.2 生成输出头文件

NOTE:此示例代码可以在 https://github.com/dev-cafe/cmake-cookbook/tree/v1.0/chapter-10/recipe-02 中找到,其中有一个C++示例。该示例在CMake 3.6版(或更高版本)中是有效的,并且已经在GNU/Linux、macOS和Windows上进行过测试。

设想一下,当我们的小型库非常受欢迎时,许多人都在使用它。然而,一些客户希望在安装时使用静态库,而另一些客户也注意到所有符号在动态库中都是可见的。最佳方式是规定动态库只公开最小的符号,从而限制代码中定义的对象和函数对外的可见性。我们希望在默认情况下,动态库定义的所有符号都对外隐藏。这将使得项目的贡献者,能够清楚地划分库和外部代码之间的接口,因为他们必须显式地标记所有要在项目外部使用的符号。因此,我们需要完成以下工作:

  • 使用同一组源文件构建动态库和静态库
  • 确保正确分隔动态库中符号的可见性

第1章第3节中,已经展示了CMake提供了与平台无关的方式实现的功能。但是,没有处理符号可见性的问题。我们将用当前的配方重新讨论这两点。

准备工作

我们仍将使用与前一个示例中基本相同的代码,但是我们需要修改src/CMakeLists.txtMessage.hpp头文件。后者将包括新的、自动生成的头文件messageExport.h:

  1. #pragma once
  2. #include
  3. #include
  4. #include "messageExport.h"
  5. class message_EXPORT Message
  6. {
  7. public:
  8. Message(const std::string &m) : message_(m) {}
  9. friend std::ostream &operator<<(std::ostream &os, Message &obj)
  10. {
  11. return obj.printObject(os);
  12. }
  13. private:
  14. std::string message_;
  15. std::ostream &printObject(std::ostream &os);
  16. };
  17. std::string getUUID();

Message类的声明中引入了message_EXPORT预处理器指令,这个指令将让编译器生成对库的用户可见的符号。

具体实施

除了项目的名称外,主CMakeLists.txt文件没有改变。首先,看看src子目录中的CMakeLists.txt文件,所有工作实际上都在这里进行。我们将重点展示对之前示例的修改之处:

  1. 为消息传递库声明SHARED库目标及其源。注意,编译定义和链接库没有改变:

    1. add_library(message-shared SHARED "")
    2. target_sources(message-shared
    3. PRIVATE
    4. ${CMAKE_CURRENT_LIST_DIR}/Message.cpp
    5. )
    6. target_compile_definitions(message-shared
    7. PUBLIC
    8. $<$<BOOL:${UUID_FOUND}>:HAVE_UUID>
    9. )
    10. target_link_libraries(message-shared
    11. PUBLIC
    12. $<$<BOOL:${UUID_FOUND}>:PkgConfig::UUID>
    13. )
  2. 设置目标属性。将${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}/messageExport.h头文件添加到公共头列表中,作为PUBLIC_HEADER目标属性的参数。CXX_VISIBILITY_PRESET置和VISIBILITY_INLINES_HIDDEN属性将在下一节中讨论:

    1. set_target_properties(message-shared
    2. PROPERTIES
    3. POSITION_INDEPENDENT_CODE 1
    4. CXX_VISIBILITY_PRESET hidden
    5. VISIBILITY_INLINES_HIDDEN 1
    6. SOVERSION ${PROJECT_VERSION_MAJOR}
    7. OUTPUT_NAME "message"
    8. DEBUG_POSTFIX "_d"
    9. PUBLIC_HEADER "Message.hpp;${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}/messageExport.h"
    10. MACOSX_RPATH ON
    11. )
  3. 包含GenerateExportHeader.cmake模块并调用generate_export_header函数,这将在构建目录的子目录中生成messageExport.h头文件。我们将稍后会详细讨论这个函数和生成的头文件:

    1. include(GenerateExportHeader)
    2. generate_export_header(message-shared
    3. BASE_NAME "message"
    4. EXPORT_MACRO_NAME "message_EXPORT"
    5. EXPORT_FILE_NAME "${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}/messageExport.h"
    6. DEPRECATED_MACRO_NAME "message_DEPRECATED"
    7. NO_EXPORT_MACRO_NAME "message_NO_EXPORT"
    8. STATIC_DEFINE "message_STATIC_DEFINE"
    9. NO_DEPRECATED_MACRO_NAME "message_NO_DEPRECATED"
    10. DEFINE_NO_DEPRECATED
    11. )
  4. 当要更改符号的可见性(从其默认值-隐藏值)时,都应该包含导出头文件。我们已经在Message.hpp头文件例这样做了,因为想在库中公开一些符号。现在将${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}目录作为message-shared目标的PUBLIC包含目录列出:

    1. target_include_directories(message-shared
    2. PUBLIC
    3. ${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}
    4. )

现在,可以将注意力转向静态库的生成:

  1. 添加一个库目标来生成静态库。将编译与静态库相同的源文件,以获得此动态库目标:

    1. add_library(message-static STATIC "")
    2. target_sources(message-static
    3. PRIVATE
    4. ${CMAKE_CURRENT_LIST_DIR}/Message.cpp
    5. )
  2. 设置编译器定义,包含目录和链接库,就像我们为动态库目标所做的一样。但请注意,我们添加了message_STATIC_DEFINE编译时宏定义,为了确保我们的符号可以适当地暴露:

    1. target_compile_definitions(message-static
    2. PUBLIC
    3. message_STATIC_DEFINE
    4. $<$<BOOL:${UUID_FOUND}>:HAVE_UUID>
    5. )
    6. target_include_directories(message-static
    7. PUBLIC
    8. ${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}
    9. )
    10. target_link_libraries(message-static
    11. PUBLIC
    12. $<$<BOOL:${UUID_FOUND}>:PkgConfig::UUID>
    13. )
  3. 还设置了message-static目标的属性:

    1. set_target_properties(message-static
    2. PROPERTIES
    3. POSITION_INDEPENDENT_CODE 1
    4. ARCHIVE_OUTPUT_NAME "message"
    5. DEBUG_POSTFIX "_sd"
    6. RELEASE_POSTFIX "_s"
    7. PUBLIC_HEADER "Message.hpp;${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}/messageExport.h"
    8. )
  4. 除了链接到消息动态库目标的hello-world_wDSO可执行目标之外,还定义了另一个可执行目标hello-world_wAR,这个链接指向静态库:

    1. add_executable(hello-world_wAR hello-world.cpp)
    2. target_link_libraries(hello-world_wAR
    3. PUBLIC
    4. message-static
    5. )
  5. 安装指令现在多了message-statichello-world_wAR目标,其他没有改变:

    1. install(
    2. TARGETS
    3. message-shared
    4. message-static
    5. hello-world_wDSO
    6. hello-world_wAR
    7. ARCHIVE
    8. DESTINATION ${INSTALL_LIBDIR}
    9. COMPONENT lib
    10. RUNTIME
    11. DESTINATION ${INSTALL_BINDIR}
    12. COMPONENT bin
    13. LIBRARY
    14. DESTINATION ${INSTALL_LIBDIR}
    15. COMPONENT lib
    16. PUBLIC_HEADER
    17. DESTINATION ${INSTALL_INCLUDEDIR}/message
    18. COMPONENT dev
    19. )

工作原理

此示例演示了,如何设置动态库的符号可见性。最好的方式是在默认情况下隐藏所有符号,显式地只公开那些需要使用的符号。这需要分为两步实现。首先,需要指示编译器隐藏符号。当然,不同的编译器将有不同的可用选项,并且直接在CMakeLists.txt中设置这些选项并不是是跨平台的。CMake通过在动态库目标上设置两个属性,提供了一种健壮的跨平台方法来设置符号的可见性:

  • CXX_VISIBILITY_PRESET hidden:这将隐藏所有符号,除非显式地标记了其他符号。当使用GNU编译器时,这将为目标添加-fvisibility=hidden标志。
  • VISIBILITY_INLINES_HIDDEN 1:这将隐藏内联函数的符号。如果使用GNU编译器,这对应于-fvisibility-inlines-hidden

Windows上,这都是默认行为。实际上,我们需要在前面的示例中通过设置WINDOWS_EXPORT_ALL_SYMBOLS属性为ON来覆盖它。

如何标记可见的符号?这由预处理器决定,因此需要提供相应的预处理宏,这些宏可以扩展到所选平台上,以便编译器能够理解可见性属性。CMake中有现成的GenerateExportHeader.cmake模块。这个模块定义了generate_export_header函数,我们调用它的过程如下:

  1. include(GenerateExportHeader)
  2. generate_export_header(message-shared
  3. BASE_NAME "message"
  4. EXPORT_MACRO_NAME "message_EXPORT"
  5. EXPORT_FILE_NAME "${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}/messageExport.h"
  6. DEPRECATED_MACRO_NAME "message_DEPRECATED"
  7. NO_EXPORT_MACRO_NAME "message_NO_EXPORT"
  8. STATIC_DEFINE "message_STATIC_DEFINE"
  9. NO_DEPRECATED_MACRO_NAME "message_NO_DEPRECATED"
  10. DEFINE_NO_DEPRECATED
  11. )

该函数生成messageExport.h头文件,其中包含预处理器所需的宏。根据EXPORT_FILE_NAME选项的请求,在目录${CMAKE_BINARY_DIR}/${INSTALL_INCLUDEDIR}中生成该文件。如果该选项为空,则头文件将在当前二进制目录中生成。这个函数的第一个参数是现有的目标(示例中是message- shared),函数的基本调用只需要传递现有目标的名称即可。可选参数,用于细粒度的控制所有生成宏,也可以传递:

  • BASE_NAME:设置生成的头文件和宏的名称。
  • EXPORT_MACRO_NAME:设置导出宏的名称。
  • EXPORT_FILE_NAME:设置导出头文件的名称。
  • DEPRECATED_MACRO_NAME:设置弃用宏的名称。这是用来标记将要废弃的代码,如果客户使用该宏定义,编译器将发出一个将要废弃的警告。
  • NO_EXPORT_MACRO_NAME:设置不导出宏的名字。
  • STATIC_DEFINE:用于定义宏的名称,以便使用相同源编译静态库时使用。
  • NO_DEPRECATED_MACRO_NAME:设置宏的名称,在编译时将“将要废弃”的代码排除在外。
  • DEFINE_NO_DEPRECATED:指示CMake生成预处理器代码,以从编译中排除“将要废弃”的代码。

GNU/Linux上,使用GNU编译器,CMake将生成以下messageExport.h头文件:

  1. #ifndef message_EXPORT_H
  2. #define message_EXPORT_H
  3. #ifdef message_STATIC_DEFINE
  4. # define message_EXPORT
  5. # define message_NO_EXPORT
  6. #else
  7. # ifndef message_EXPORT
  8. # ifdef message_shared_EXPORTS
  9. /* We are building this library */
  10. # define message_EXPORT __attribute__((visibility("default")))
  11. # else
  12. /* We are using this library */
  13. # define message_EXPORT __attribute__((visibility("default")))
  14. # endif
  15. # endif
  16. # ifndef message_NO_EXPORT
  17. # define message_NO_EXPORT __attribute__((visibility("hidden")))
  18. # endif
  19. #endif
  20. #ifndef message_DEPRECATED
  21. # define message_DEPRECATED __attribute__ ((__deprecated__))
  22. #endif
  23. #ifndef message_DEPRECATED_EXPORT
  24. # define message_DEPRECATED_EXPORT message_EXPORT message_DEPRECATED
  25. #endif
  26. #ifndef message_DEPRECATED_NO_EXPORT
  27. # define message_DEPRECATED_NO_EXPORT message_NO_EXPORT message_DEPRECATED
  28. #endif
  29. #if 1 /* DEFINE_NO_DEPRECATED */
  30. # ifndef message_NO_DEPRECATED
  31. # define message_NO_DEPRECATED
  32. # endif
  33. #endif
  34. #endif

我们可以使用message_EXPORT宏,预先处理用户公开类和函数。弃用可以通过在前面加上message_DEPRECATED宏来实现。

messageExport.h头文件的内容可以看出,所有符号都应该在静态库中可见,这就是message_STATIC_DEFINE宏起了作用。当声明了目标,我们就将其设置为编译时定义。静态库的其他目标属性如下:

  • ARCHIVE_OUTPUT_NAME "message":这将确保库文件的名称是message,而不是message-static
  • DEBUG_POSTFIX "_sd":这将把给定的后缀附加到库名称中。当目标构建类型为Release时,为静态库添加”_sd”后缀。
  • RELEASE_POSTFIX "_s":这与前面的属性类似,当目标构建类型为Release时,为静态库添加后缀“_s”。

更多信息

构建动态库时,隐藏内部符号是一个很好的方式。这意味着库会缩小,因为向用户公开的内容要小于库中的内容。这定义了应用程序二进制接口(ABI),通常情况下应该与应用程序编程接口(API)一致。这分两个阶段进行:

  1. 使用适当的编译器标志。
  2. 使用预处理器变量(示例中是message_EXPORT)标记要导出的符号。编译时,将解除这些符号(类和函数)的隐藏。

静态库只是目标文件的归档。因此,可以将源代码编译成目标文件,然后归档器将它们捆绑到归档文件中。这时没有ABI的概念:所有符号在默认情况下都是可见的,编译器的可见标志不影响静态归档。但是,如果要从相同的源文件构建动态和静态库,则需要一种方法来赋予message_EXPORT预处理变量意义,这两种情况都会出现在代码中。这里使用GenerateExportHeader.cmake模块,它定义一个包含所有逻辑的头文件,用于给出这个预处理变量的正确定义。对于动态库,它将给定的平台与编译器相组合。注意,根据构建或使用动态库,宏定义也会发生变化。幸运的是,CMake为我们解决了这个问题。对于静态库,它将扩展为一个空字符串,执行我们期望的操作——什么也不做。

细心的读者会注意到,构建此处所示的静态和共享库实际上需要编译源代码两次。对于我们的简单示例来说,这不是一个很大的开销,但会显得相当麻烦,即使对于只比示例稍大一点的项目来说,也是如此。为什么我们选择这种方法,而不是使用第1章第3节的方式呢?OBJECT库负责编译库的第一步:从源文件到对象文件。该步骤中,预处理器将介入并计算message_EXPORT。由于对象库的编译只发生一次,message_EXPORT被计算为构建动态库库或静态库兼容的值。因此,为了避免歧义,我们选择了更健壮的方法,即编译两次,为的就是让预处理器正确地评估变量的可见性。

NOTE:有关动态共享对象、静态存档和符号可见性的更多细节,建议阅读:http://people.redhat.com/drepper/dsohowto.pdf