为什么函数参数类型上的enable_if会影响重载解析？

Question

请参阅 godbolt 上的代码

#include <iostream>
#include <cmath>
#include <type_traits>

template <typename T>
void f(T, T) // 1
{
    std::cout << "Primary\n";
}

template <typename T>
void f(T, std::enable_if_t<std::is_floating_point_v<T>, T>) // 2
{
    std::cout << "Special\n";
}

/*template <typename T>
std::enable_if_t<std::is_floating_point_v<T>> f(T, T) // 3
{
    std::cout << "Special\n";
}*/

int main()
{
    f(1.1, 1.1); // prints 'Primary'
    return 0;
}

在上面的代码中，std::enable_if应用于第二个函数模板重载的函数类型。该函数是通过 [T = double] 推导来调用的，并且它调用重载 1。但是，如果我注释掉重载 2 并将其替换为重载 3，那么编译器会抱怨该调用不明确。我也期望在第一种情况下，为什么编译器更喜欢重载 1 而不是 2？

我阅读了“函数模板重载”部分，但对我来说，重载 2 看起来更专业。