对带有3个泛型参数的模板使用std::enable-if

从你的描述来看,我认为你不需要SFINAE 认为 你只需要一个专业化:

template<class From, class To, class Value>
struct convert
{
    static Value apply(Value value)
    {
        Value somethingElse = ...;
        return somethingElse;
    }
};

template<class From, class Value>
struct convert<From,From,Value>
{
    static Value apply(Value value)
    {
        return value; // SAME
    }
};

我承认我真的看不出这有什么意义 Value 是两者的独立类型 From 和 To ,但你可能知道一些我不知道的事情。如果您希望将整个结构专门化,这似乎是您的愿望。 See it live .

祝你好运

template<class From, class To, class Value>
struct convert
{
    template <typename F = From, typename T = To>
    static auto apply(Value value) -> typename std::enable_if<std::is_same<F,T>::value, Value>::type
    {
        static_assert(std::is_same<F, From>::value && std::is_same<T, To>::value, "");
        // no conversion
        return value;
    }

    template <typename F = From, typename T = To>
    static auto apply(Value value) -> typename std::enable_if<!std::is_same<F,T>::value, Value>::type
    {
        static_assert(std::is_same<F, From>::value && std::is_same<T, To>::value, "");
        // do conversion
        return value;
    }
};

DEMO

或者,这可以使用基于标记的调度来实现:

template<class From, class To, class Value>
struct convert
{
    static Value apply(Value value)
    {
        using tag = std::integral_constant<bool, std::is_same<From, To>::value>; 
        return _apply(value, tag{});
    }

private:
    static Value _apply(Value value, std::true_type)
    {
        // no conversion
        return value;
    }

    static Value _apply(Value value, std::false_type)
    {
        // do conversion
        return value;
    }
};

DEMO 2