C++预处理器能否检测类是否存在？若可行该如何实现？

首先直接给结论：C++标准预处理器本身无法直接检测某个类是否存在。预处理器在编译阶段之前运行，它只处理文本替换和宏展开，完全不理解C++的类型系统、类定义这些语义层面的内容，所以你想要的CLASS_EXISTS(CompleteOrthogonalDecomposition)这种纯预处理器宏是没办法直接实现的。

不过别担心，我们有几种替代方案可以达到类似的效果，下面分情况说明：

方案1：编译时SFINAE检测（C++11及以上） #

这是标准C++支持的方式，利用SFINAE（替换失败不是错误）特性在编译时判断类是否存在，不需要依赖预处理器。

首先定义一个类型特性（type trait）来检测Eigen::CompleteOrthogonalDecomposition是否可用：

#include <type_traits>

namespace eigen_traits {
    // 检测CompleteOrthogonalDecomposition是否存在的特性
    template <typename = void>
    struct has_complete_orthogonal_decomposition : std::false_type {};

    template <>
    struct has_complete_orthogonal_decomposition<
        std::void_t<Eigen::CompleteOrthogonalDecomposition<Eigen::MatrixXd>>
    > : std::true_type {};

    // 简化使用的常量
    constexpr bool has_cod = has_complete_orthogonal_decomposition<void>::value;
}

C++17及以上：用if constexpr直接分支 #

如果你的项目支持C++17，if constexpr可以让你在编译时直接分支代码，写法非常直观：

void process_matrix(const Eigen::MatrixXd& matrix) {
    if constexpr (eigen_traits::has_cod) {
        // 新版Eigen代码：使用CompleteOrthogonalDecomposition
        Eigen::CompleteOrthogonalDecomposition<Eigen::MatrixXd> cod(matrix);
        auto result = cod.solve(matrix);
        // ... 后续逻辑
    } else {
        // 旧版Eigen兼容代码：用其他分解方式替代
        Eigen::ColPivHouseholderQR<Eigen::MatrixXd> qr(matrix);
        auto result = qr.solve(matrix);
        // ... 后续逻辑
    }
}

C11/C14：标签分发（Tag Dispatch） #

对于C++17之前的版本，不能用if constexpr，可以用标签分发的方式实现编译时分支：

namespace detail {
    // 处理新版Eigen的逻辑
    void process_matrix_impl(const Eigen::MatrixXd& matrix, std::true_type) {
        Eigen::CompleteOrthogonalDecomposition<Eigen::MatrixXd> cod(matrix);
        // ...
    }

    // 处理旧版Eigen的逻辑
    void process_matrix_impl(const Eigen::MatrixXd& matrix, std::false_type) {
        Eigen::ColPivHouseholderQR<Eigen::MatrixXd> qr(matrix);
        // ...
    }
}

// 对外接口
void process_matrix(const Eigen::MatrixXd& matrix) {
    detail::process_matrix_impl(matrix, 
        std::integral_constant<bool, eigen_traits::has_cod>{});
}

方案2：构建阶段检测（生成预处理器宏） #

如果你坚持想要用#ifdef/#if这种预处理器分支，可以在项目构建阶段用构建工具（比如CMake）来检测类是否存在，然后生成对应的宏定义。

步骤1：编写测试代码 #

创建一个简单的测试文件cod_detect.cpp，内容如下：

#include <Eigen/Dense>

int main() {
    // 尝试实例化目标类，如果类不存在，编译会失败
    Eigen::CompleteOrthogonalDecomposition<Eigen::MatrixXd> cod;
    return 0;
}

步骤2：在CMake中添加检测逻辑 #

在你的CMakeLists.txt里加入以下内容：

# 尝试编译测试代码，判断类是否存在
try_compile(HAVE_COMPLETE_ORTHOGONAL_DECOMPOSITION
    ${CMAKE_BINARY_DIR}/cod_detect_build
    SOURCES ${CMAKE_SOURCE_DIR}/cod_detect.cpp
    CMAKE_FLAGS -DINCLUDE_DIRECTORIES=${EIGEN_INCLUDE_DIR}
)

# 如果检测通过，定义宏
if(HAVE_COMPLETE_ORTHOGONAL_DECOMPOSITION)
    add_definitions(-DHAVE_COMPLETE_ORTHOGONAL_DECOMPOSITION)
endif()

步骤3：在代码中使用宏 #

现在你就可以像使用版本宏一样用预处理器分支了：

#ifdef HAVE_COMPLETE_ORTHOGONAL_DECOMPOSITION
// 新版Eigen代码
#else
// 旧版兼容代码
#endif

额外提醒：为什么版本宏可能更可靠 #

最后多说一句：你之前用的EIGEN_VERSION_AT_LEAST(3,3,4)其实是Eigen官方推荐的方式。因为有时候即使类的名字存在，不同版本的Eigen可能对类的接口、行为做了修改，版本宏可以更准确地匹配你需要的功能集，避免出现“类存在但用不了”的情况。如果不是特殊需求，继续使用版本宏其实是更稳妥的选择。

内容的提问来源于stack exchange，提问作者MattKelly