C++17下用SFINAE条件启用转换算子遇无限递归问题求助

为什么你的SFINAE没生效？ #

核心问题在于转换算子的SFINAE条件没有做到延迟实例化，导致编译器在检查转换合法性时，提前触发了目标类型模板的完整实例化，进而引发循环递归：

• 当编译器处理MyTemplate<Src>::operator MyTemplate<Dst>()时，若你的SFINAE条件直接涉及MyTemplate<Dst>的成员或依赖其转换逻辑，会强制编译器实例化MyTemplate<Dst>的定义——而MyTemplate<Dst>中又存在反向转换到MyTemplate<Src>的算子，瞬间形成循环实例化，SFINAE还没来得及过滤无效转换方向，递归就已经发生了。
• 另一个常见坑：如果你的SFINAE条件用了decltype(convert(*this))这类写法，*this是当前模板实例，而convert的返回值是MyTemplate<Dst>，编译器会尝试解析MyTemplate<Dst>的完整类型（包括它的转换算子），直接触发递归。

C++17下的可行方案 #

用分离的特性检测把自由函数的存在性检查与转换算子定义解耦，确保特性检测不会触发目标类型模板的实例化：

1. 定义转换特性检测 #

#include <type_traits>

// 基础模板：默认不可转换
template<typename Src, typename Dst, typename = void>
struct can_convert : std::false_type {};

// 特化版本：检测是否存在接受const Src&并返回Dst的convert自由函数
template<typename Src, typename Dst>
struct can_convert<Src, Dst, std::void_t<decltype(convert(std::declval<const Src&>()))>>
    : std::is_same<decltype(convert(std::declval<const Src&>())), Dst>::type {};

2. 在类模板中定义转换算子 #

template<typename T>
class MyTemplate {
public:
    // 仅当can_convert检测通过时，该转换算子才会被纳入重载集
    template<typename U, std::enable_if_t<can_convert<MyTemplate<T>, MyTemplate<U>>::value, int> = 0>
    operator MyTemplate<U>() const {
        return convert(*this);
    }

    // 类的其他成员...
};

3. 仅在允许转换的类型对中定义convert函数 #

// 允许MyTemplate<int>隐式转MyTemplate<double>
MyTemplate<double> convert(const MyTemplate<int>& src) {
    // 自定义转换逻辑
    return {};
}

// 允许MyTemplate<double>隐式转MyTemplate<float>
MyTemplate<float> convert(const MyTemplate<double>& src) {
    // 自定义转换逻辑
    return {};
}

关键细节 #

• 特性can_convert只检测convert函数的存在性和返回值类型，不会触发MyTemplate<U>的转换算子实例化——编译器只需要知道MyTemplate<U>是合法类型，不需要解析它的成员。
• 确保convert函数的实现中不要触发反向隐式转换，比如不要在函数里把MyTemplate<Dst>再转回MyTemplate<Src>，避免二次递归。

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