程序的行为可以通过引用初始化来理解。
来自dcl.init#ref-5.4：
[实施例6：

double d2 = 1.0;
double&& rrd2 = d2;                 // error: initializer is lvalue of related type
int i3 = 2;
double&& rrd3 = i3;                 // rrd3 refers to temporary with value 2.0

字符串

• 结束示例]

案例一

在这里，我们讨论为什么void f(int&& i)不适用于调用f(iv)。
左值iv不能绑定到void f(int&& i)中的右值引用参数i，用于调用f(iv)，因此重载f(int&&)不可行。基本上，不允许int&& i = iv;，因为iv是相关类型的左值。

案例二

在这里，我们讨论为什么void f(float&& i)对于调用f(iv)是可行的。
对于调用f(iv)，重载void f(float&& f)是可行的，因为这里首先将初始化表达式iv隐式转换为目标类型（float）的纯右值，然后可以发生临时物化，从而可以将参数f绑定到物化的临时2.0f（这是一个xvalue）。
类似地，对于调用f(fv)，重载void f(float&& i)是不可行的，因为fv是相关类型的左值。对于调用f(fv)，可以使用重载void f(int&& i)，因为首先初始化器被隐式转换为纯右值，然后发生临时物化，这样i就可以绑定到物化的临时值1（int类型）。

为了避免考虑隐式转换，使用C++17语法重写代码（因为您在Compiler Explorer链接中使用了该语法）。至少错误代码现在不会编译。
通过显式约束，类型必须完全匹配，并且不考虑隐式转换（C++20语法会更好一点）。
演示：https://godbolt.org/z/MexsGT55T

#include <iostream>
#include <type_traits>

template<typename type_t>
auto f(type_t&& f) -> std::enable_if_t<std::is_same_v<type_t, float>, void>
{
    std::cout << f << "f ";
}

template<typename type_t>
auto f(type_t&& f) -> std::enable_if_t<std::is_same_v<type_t, int>, void>
{
    std::cout << f << "f ";
}

int main()
{
    int iv = 2;
    float fv = 1.0f;

    f(2);  f(1.0f);
    f(iv); f(fv); // <== Will no longer compile now
}

字符串

为了避免隐式转换，请提供一个删除函数模板，如果非模板化重载不能完全匹配，则会选择该模板。也就是说，只需添加此重载：

template<typename T>
void f(T&&) = delete;

字符串