C++使用is_pointer实现指针专属解引用的compare函数报错问题

你写的代码核心问题在于普通if是运行时判断逻辑，模板实例化阶段编译器会检查函数体内所有分支的语法合法性。哪怕is_pointer<T>::value为false，*left <= *right这行代码依然会被编译，当T是int这类非指针类型时，解引用操作自然触发语法错误。

以下是三种可行的解决方法：

方案1：C++17 if constexpr（最简洁直观） #

利用编译时条件判断特性，不符合条件的分支不会被实例化，从根源避免无效代码编译：

#include <type_traits>

template<class T> 
bool compare(const T& left, const T& right)
{
    if constexpr (std::is_pointer_v<T>) {
        return *left <= *right;
    } else {
        return left <= right;
    }
}

注：std::is_pointer_v<T>是C17对std::is_pointer<T>::value的简写，若使用C11/14，替换为std::is_pointer<T>::value即可（需编译器支持if constexpr）。

方案2：模板特化（兼容C++98及以上） #

为指针类型单独编写特化版本，主模板处理非指针类型：

#include <type_traits>

// 主模板：处理非指针类型
template<class T> 
bool compare(const T& left, const T& right)
{
    return left <= right;
}

// 指针类型的特化版本
template<class T> 
bool compare(T* const& left, T* const& right)
{
    return *left <= *right;
}

当模板参数T为指针类型时，会优先匹配特化版本；非指针类型则使用主模板，两个版本的代码各自合法，无语法冲突。

方案3：SFINAE（兼容C++11及以上） #

通过std::enable_if控制模板重载的有效性，让不同类型匹配对应重载：

#include <type_traits>

// 非指针类型重载：仅当T不是指针时生效
template<class T>
typename std::enable_if<!std::is_pointer<T>::value, bool>::type
compare(const T& left, const T& right)
{
    return left <= right;
}

// 指针类型重载：仅当T是指针时生效
template<class T>
typename std::enable_if<std::is_pointer<T>::value, bool>::type
compare(const T& left, const T& right)
{
    return *left <= *right;
}

std::enable_if会根据条件决定模板是否参与重载决议，确保每个重载只处理合法类型，避免无效代码编译。

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