如何在C++03中实现限定类型的条件隐式转换？

核心思路 #

通过模板转换操作符+SFINAE过滤控制可转换的指针类型，结合Safe Bool Idiom避免隐式转换歧义，完全兼容C++03标准。

分步实现 #

1. 基础工具类（兼容C++03）

首先实现C++03版本的enable_if，用于根据IsBase的特化结果启用/禁用转换操作符：

// C++03版enable_if：仅当Condition为true时，提供type别名
template<bool Condition, typename T = void>
struct enable_if {};

template<typename T>
struct enable_if<true, T> {
    typedef T type;
};

// 用户已定义的IsBase特化（示例）
template<typename T> struct IsBase { static const bool value = false; };
template<> struct IsBase<Base> { static const bool value = true; };
template<> struct IsBase<Child> { static const bool value = true; };

2. Holder类实现

class Base {};
class Child : public Base {};

template<typename BaseType>
class Holder {
private:
    // Safe Bool Idiom：避免bool隐式转换为其他类型（如const char*）
    typedef void (Holder::*bool_type)() const;
    void safe_bool() const {}

    BaseType* ptr_; // 存储实际对象指针

public:
    explicit Holder(BaseType* p = 0) : ptr_(p) {}

    // 仅允许转换为IsBase<T>::value为true的指针类型
    template<typename T>
    operator typename enable_if<IsBase<T>::value, T*>::type() const {
        return static_cast<T*>(ptr_);
    }

    // 安全的bool转换（仅用于条件判断，无歧义）
    operator bool_type() const {
        return ptr_ ? &Holder::safe_bool : 0;
    }

private:
    // 禁止无关转换，避免歧义
    operator void*() const;
    operator const void*() const;
};

3. 测试验证

void func(Base*) {}
void func(const char*) {}

int main() {
    Holder<Base> h(new Child);
    func(h); // 仅匹配func(Base*)，无歧义

    Holder<Child> h2(new Child);
    func(h2); // 同样匹配func(Base*)，支持派生类Holder转基类指针

    // func("test"); // 正常调用func(const char*)，不受影响
    return 0;
}

关键细节解释 #

• SFINAE过滤：模板转换操作符仅在IsBase<T>::value为true时才会被实例化，因此无法转换为const char*等非目标类型，彻底避免重载歧义。
• Safe Bool Idiom：替代普通operator bool()，转换结果是成员函数指针，只能被隐式转换为bool，不会触发其他类型的转换（如bool转const char*）。
• 禁止无关转换：将operator void*()设为私有且不实现，避免意外转换为通用指针类型引发歧义。

为什么能解决原有问题 #

• Holder0的歧义问题：原实现未限制转换类型，导致const char*等无关类型也能参与重载决议，本方案通过SFINAE直接过滤掉这些类型。
• Holder1的无匹配问题：原实现可能仅支持固定类型转换（如仅Base*），本方案通过模板转换操作符支持所有IsBase特化的类型，包括基类和派生类指针。

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