兼容多类型智能指针的通用空值检测模板函数实现问询

这问题我之前也碰到过，刚好可以用模板元编程的思路来解决——不用改任何调用处的代码，只需要调整宏的实现就行。核心逻辑是把宏里的空值检测转发给一个通用模板函数，它会根据传入的智能指针类型自动选择对应的检测方式，不管是isNull()、empty()、operator bool()转换，还是原始指针的== nullptr判断。

第一步：实现通用的空值检测模板函数 #

C++17及以下版本（用SFINAE） #

先在内部命名空间里写检测逻辑，避免污染全局命名空间：

#include <type_traits>
#include <cassert>
#include <stdexcept>

namespace your_project::detail {
    // 检测类型是否有isNull()方法
    template <typename T>
    auto test_has_is_null(int) -> decltype(std::declval<T>().isNull(), std::true_type{});
    
    template <typename T>
    std::false_type test_has_is_null(...);
    
    template <typename T>
    constexpr bool has_is_null_v = decltype(test_has_is_null<T>(0))::value;

    // 检测类型是否有empty()方法
    template <typename T>
    auto test_has_empty(int) -> decltype(std::declval<T>().empty(), std::true_type{});
    
    template <typename T>
    std::false_type test_has_empty(...);
    
    template <typename T>
    constexpr bool has_empty_v = decltype(test_has_empty<T>(0))::value;

    // 检测类型是否支持bool转换
    template <typename T>
    auto test_bool_convert(int) -> decltype(static_cast<bool>(std::declval<T>()), std::true_type{});
    
    template <typename T>
    std::false_type test_bool_convert(...);
    
    template <typename T>
    constexpr bool has_bool_convert_v = decltype(test_bool_convert<T>(0))::value;

    // 空值检测的实现模板
    template <typename T, typename = void>
    struct is_null_impl {
        static bool apply(const T& ptr) {
            // 处理原始指针的情况
            return ptr == nullptr;
        }
    };

    // 特化：有isNull()方法的类型
    template <typename T>
    struct is_null_impl<T, std::enable_if_t<has_is_null_v<T>>> {
        static bool apply(const T& ptr) {
            return ptr.isNull();
        }
    };

    // 特化：有empty()方法但没有isNull()的类型
    template <typename T>
    struct is_null_impl<T, std::enable_if_t<has_empty_v<T> && !has_is_null_v<T>>> {
        static bool apply(const T& ptr) {
            return ptr.empty();
        }
    };

    // 特化：支持bool转换但没有前两种方法的类型
    template <typename T>
    struct is_null_impl<T, std::enable_if_t<has_bool_convert_v<T> && !has_is_null_v<T> && !has_empty_v<T>>> {
        static bool apply(const T& ptr) {
            return !static_cast<bool>(ptr);
        }
    };

    // 对外暴露的空值检测函数
    template <typename T>
    bool is_null(const T& ptr) {
        return is_null_impl<T>::apply(ptr);
    }
}

C++20及以上版本（用Concepts简化） #

如果你的项目已经用上C++20，用Concepts能让代码简洁不少：

#include <concepts>
#include <cassert>
#include <stdexcept>

namespace your_project::detail {
    template <typename T>
    concept HasIsNull = requires(const T& ptr) {
        { ptr.isNull() } -> std::convertible_to<bool>;
    };

    template <typename T>
    concept HasEmpty = requires(const T& ptr) {
        { ptr.empty() } -> std::convertible_to<bool>;
    };

    template <typename T>
    concept BoolConvertible = requires(const T& ptr) {
        { static_cast<bool>(ptr) } -> std::convertible_to<bool>;
    };

    template <typename T>
    bool is_null(const T& ptr) {
        if constexpr (HasIsNull<T>) {
            return ptr.isNull();
        } else if constexpr (HasEmpty<T>) {
            return ptr.empty();
        } else if constexpr (BoolConvertible<T>) {
            return !static_cast<bool>(ptr);
        } else {
            // 处理原始指针
            return ptr == nullptr;
        }
    }
}

第二步：修改你的宏，集成空值检测 #

假设你原来的宏是#define CALL_METHOD(ptr, method) (ptr)->method，现在改成：

#define CALL_METHOD(ptr, method) \
    do { \
        if (your_project::detail::is_null(ptr)) { \
            // 这里替换成你的空值处理逻辑，比如：
            assert(!your_project::detail::is_null(ptr) && "CALL_METHOD: Null pointer access");
            // 或者抛出异常：
            // throw std::runtime_error("CALL_METHOD received a null pointer");
        } \
    } while(false); \
    (ptr)->method

用do-while(false)包裹判断逻辑是为了避免宏在复杂语句中出现语法错误（比如放在if分支里不用加括号也不会出问题）。

为什么这个方案可行？ #

• 完全透明调用方：所有原来使用CALL_METHOD的代码不用做任何修改，直接受益于空值检测。
• 自动适配多种类型：模板函数会根据传入的智能指针类型，自动选择对应的空值检测方式，不管是标准库的std::shared_ptr/std::unique_ptr，还是自定义的智能指针（比如Qt的QPointer有isNull()）。
• 扩展性强：如果以后遇到新的智能指针类型，只需要在is_null的实现里添加对应的检测分支即可，不用改宏或者调用代码。

注意事项 #

• 空值处理逻辑可以根据项目需求调整：调试阶段用assert快速发现问题，生产环境可以换成抛出异常或者返回默认值（如果需要支持返回值的话，可能需要调整宏的结构，但do-while的方式更安全）。
• 确保your_project命名空间是你项目的专属命名空间，避免和其他库的代码冲突。

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