可以接收任何 T、T& 和 T&& 作为输入的函数，并且还可以识别其类型？

问：

我想创建一个正确识别其参数类型的函数。

template<class T> void test(T&& t){
    if constexpr(std::is_same_v<T,int>){
        std::cout<< "= int"<<std::endl;
    }
    if constexpr(std::is_same_v<T,const int&>){
        std::cout<< "= const int&"<<std::endl;
    }
    if constexpr(std::is_same_v<T,int&>){
        std::cout<< "= int&"<<std::endl;
    }
    if constexpr(std::is_same_v<T,int&&>){
        std::cout<< "= int&&"<<std::endl;
    }
    if constexpr(std::is_same_v<T,std::nullptr_t>){
        std::cout<< "= std::nullptr_t"<<std::endl;
    }
}

int funcReturnInt(){return 5;}
    
int main(){
    const int a=0;
    test(funcReturnInt()); // int  (correct)
    test(a);        // const int&   (correct)
    test(nullptr);  // std::nullptr_t  (correct)
    int s=0;
    test(std::move(s)); // print "int" (not "int&&") , I am sad
}

如何创建函数，以便它可以在每种情况下正确识别其单个参数的类型？test()

我是新手，所以我阅读了一些关于右值引用（1、2、3）的指南，但它们没有描述如何创建这样一个完全感知的通配符函数，例如 。T&&test<T>(T??)

我稍后将应用该解决方案。test() requires ... {}

我宁愿避免重载，因为我喜欢将代码压缩在 1 个地方（也用于教育目的）。

编辑 ：： 非常有用的评论指出这通常是不可能的。为什么我的代码正确检查其他情况，但 C++ 会冒昧地摆脱我的？请将其作为解决方案发布。&&

我仍然怀疑为什么 in 变得正确，但在 成为.int&main()T=int&int&&main()T=int