确定源文件是否不可移植地依赖于标准头的间接包含

Question

假设我有一个file.cpp，其中包含几个 C++ 头文件并使用标准库中的各种函数和类。可能是我使用了一些功能，这些功能来自我不直接包含的头文件，但被我包含的一些 other 标准库头文件间接包含。这是一个无意的编程错误，但由于间接包含，一切都将在我的平台上编译并正常工作。

不仅程序格式错误，而且无法保证其他平台也会有相同的间接包含，因此代码可能无法在其他平台上编译，这在实践中很常见。

是否有任何自动方法来检查这种类型的“缺少包含”，因为间接包含，我不能仅仅依靠我的平台上的编译失败？

作为一个具体的例子，在 gcc 的 libc++5 中，<memory> 标头包含一堆其他标准库标头，例如 <functional>，但在其他版本的编译器和其他编译器上并非如此。因此，如果我使用来自 <functional> 的内容，我不会收到编译器错误，但其他用户可能...

Answer 1

我不知道现有的工具可以做到这一点。

但一种方法是构建（这是一项艰巨的任务）所有 "fake" 标头仅使用标准声明。 （函数定义不应该是必需的，但类定义会是）。

对于某些标题，您可以找到提供Synopsis 的页面，您可以直接使用这些页面，就像cstddef 一样：

namespace std {
    using ptrdiff_t = /*see definition*/ ;
    using size_t = /*see definition*/ ;
    using max_align_t = /*see definition*/ ;
    using nullptr_t = decltype(nullptr);

    enum class byte : unsigned char {} ;
    template <class IntegerType>
    constexpr byte& operator<<=(byte& b, IntegerType shift) noexcept;
    template <class IntegerType>
    constexpr byte operator<<(byte b, IntegerType shift) noexcept;
    template <class IntegerType>
    constexpr byte& operator>>=(byte& b, IntegerType shift) noexcept;
    template <class IntegerType>
    constexpr byte operator>>(byte b, IntegerType shift) noexcept;

    constexpr byte& operator|=(byte& l, byte r) noexcept;
    constexpr byte operator|(byte l, byte r) noexcept;
    constexpr byte& operator&=(byte& l, byte r) noexcept;
    constexpr byte operator&(byte l, byte r) noexcept;
    constexpr byte& operator^=(byte& l, byte r) noexcept;
    constexpr byte operator^(byte l, byte r) noexcept;
    constexpr byte operator~(byte b) noexcept;
    template <class IntegerType>
    constexpr IntegerType to_integer(byte b) noexcept; 
}
#define NULL /*see definition*/
#define offsetof(P, D) /*see definition*/

其他标头伪造起来会更复杂：-/

然后，（最简单的部分）在您的构建链中，您将真正的标准标头替换为您的假标头。比如：

• g++ -nostdinc -I/path/to/fake/headers
• 视觉对象的/X（忽略标准包含路径）和/I（附加包含目录）参数。

由于您不提供定义，最终会出现链接器错误。

但是，之前，如果您忘记添加必需的包含，由于缺少声明，您应该会出现编译器错误。