C++模板类中用std::enable_if重载成员模板函数报错排查

问题现象 #

尝试根据模板类特化参数的父模板类重载类中的模板函数时，触发MSVC编译错误：

error C2938: 'std::enable_if_t<false,bool>' : Failed to specialize alias template

测试代码如下：

#include <memory>
#include <type_traits>

template <template <typename...> class BaseTemplate, typename Derived, typename TCheck = void>
struct test_base_template;

template <template <typename...> class BaseTemplate, typename Derived>
using is_base_template_of = typename test_base_template<BaseTemplate, Derived>::is_base;

//Derive - is a class. Let inherit from Derive, so it can cast to its protected parents
template <template <typename...> class BaseTemplate, typename Derived>
struct test_base_template<BaseTemplate, Derived, std::enable_if_t<std::is_class_v<Derived>>> : Derived
{
    template<typename...T>
    static constexpr std::true_type test(BaseTemplate<T...>*);
    static constexpr std::false_type test(...);
    using is_base = decltype(test((test_base_template*) nullptr));
};

//Derive - is not a class, so it always false
template <template <typename...> class BaseTemplate, typename Derived>
struct test_base_template<BaseTemplate, Derived, std::enable_if_t<!std::is_class_v<Derived>>>
{
    using is_base = std::false_type;
};

template<typename type>
class MyClass
{
public:
    template <typename Dummy = type, typename std::enable_if_t<is_base_template_of<std::weak_ptr, type>::value, bool> = bool()>
    std::shared_ptr<typename type::element_type> get()
    {
        return m_data.lock();
    }

    template <typename Dummy = type, typename std::enable_if_t<is_base_template_of<std::shared_ptr, type>::value, bool> = bool()>
    std::shared_ptr<typename type::element_type> get()
    {
        return m_data;
    }

private:
    type m_data;
};

int main()
{
    MyClass<std::weak_ptr<int>> t;
    auto a1 = t.get();

    MyClass<std::shared_ptr<int>> t2;
    auto a2 = t2.get();
}

问题根源 #

1. MSVC对SFINAE的严格处理：
   当MyClass的某个get函数模板的enable_if条件为false时，std::enable_if_t<false, bool>会尝试实例化，但std::enable_if<false, bool>没有type成员，导致别名模板特化失败，触发C2938错误。不同于GCC/Clang，MSVC在这种场景下不会通过SFINAE自动丢弃无效模板，而是直接报错。

2. test_base_template的设计缺陷：
   直接继承Derived可能导致Derived构造函数不可访问（如私有/保护）的问题；同时test函数的参数推导逻辑虽然能工作，但嵌套内部辅助类的写法更安全、更符合标准库设计习惯。

解决方案 #

修改后的代码 #

#include <memory>
#include <type_traits>

template <template <typename...> class BaseTemplate, typename Derived, typename TCheck = void>
struct test_base_template;

// 类型别名，用于获取判断结果类型
template <template <typename...> class BaseTemplate, typename Derived>
using is_base_template_of = typename test_base_template<BaseTemplate, Derived>::type;

// 变量模板，直接获取布尔值结果
template <template <typename...> class BaseTemplate, typename Derived>
constexpr bool is_base_template_of_v = is_base_template_of<BaseTemplate, Derived>::value;

// 针对类类型的特化：判断Derived是否是BaseTemplate的某个实例
template <template <typename...> class BaseTemplate, typename Derived>
struct test_base_template<BaseTemplate, Derived, std::enable_if_t<std::is_class_v<Derived>>>
{
private:
    // 内部辅助类，继承自Derived，用于安全访问基类
    struct helper : Derived {};

    // 重载1：若helper可转换为BaseTemplate<T...>*，则匹配此版本，返回true_type
    template <typename... T>
    static constexpr std::true_type test(BaseTemplate<T...>*);
    // 重载2：兜底匹配，返回false_type
    static constexpr std::false_type test(...);

public:
    using type = decltype(test(static_cast<helper*>(nullptr)));
};

// 非类类型直接返回false_type
template <template <typename...> class BaseTemplate, typename Derived>
struct test_base_template<BaseTemplate, Derived, std::enable_if_t<!std::is_class_v<Derived>>>
{
    using type = std::false_type;
};

template<typename type>
class MyClass
{
public:
    // 调整SFINAE写法：使用int类型的默认参数0，避免MSVC的特化错误
    template <typename Dummy = type, std::enable_if_t<is_base_template_of_v<std::weak_ptr, Dummy>, int> = 0>
    std::shared_ptr<typename type::element_type> get()
    {
        return m_data.lock();
    }

    template <typename Dummy = type, std::enable_if_t<is_base_template_of_v<std::shared_ptr, Dummy>, int> = 0>
    std::shared_ptr<typename type::element_type> get()
    {
        return m_data;
    }

private:
    type m_data;
};

int main()
{
    MyClass<std::weak_ptr<int>> t;
    auto a1 = t.get();

    MyClass<std::shared_ptr<int>> t2;
    auto a2 = t2.get();
}

修改说明 #

1. 修复SFINAE写法：
   将enable_if_t的第二个参数从bool改为int，默认值设为0。当条件为false时，enable_if_t不存在，MSVC会通过SFINAE正确丢弃该模板，不再触发特化错误。

2. 优化test_base_template：

   • 新增内部helper类继承Derived，避免直接继承Derived带来的构造函数访问问题；
   • 新增is_base_template_of_v变量模板，简化布尔值的获取；
   • 调整test函数的参数转换逻辑，使用static_cast<helper*>(nullptr)更清晰。

内容的提问来源于stack exchange，提问作者Денис Кулаков