C++11模板参数类型推导

最新推荐文章于 2025-04-10 13:54:01 发布

原创最新推荐文章于 2025-04-10 13:54:01 发布 · 445 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++

C++算法系列同时被 2 个专栏收录

256 篇文章

订阅专栏

设计模式

149 篇文章

订阅专栏

本文探讨了C++模板函数中引用类型和右值引用的参数推导行为，包括实参的剥除、特殊处理及临时对象的生成。通过实例解析，揭示了f_ref、f_pointer、f_refref和f_val的不同作用和规则。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <typeinfo>
#include <iostream>
template <typename T>
void f_ref(T &arg) {
    std::cout << typeid(arg).name() << std::endl;
}
template <typename T>
void f_pointer(T *arg) {
    std::cout << typeid(arg).name() << std::endl;
}
template <typename T>
void f_refref(T &&arg) {
    std::cout << typeid(arg).name() << std::endl;
}
template <typename T>
void f_val(T arg) {
    std::cout << typeid(arg).name() << std::endl;
}
int main() {
    int a = 10;
    const int ca = a;
    const int &ra = a;
    f_ref(a);       // int &
    f_ref(ca);      // const int &
    f_ref(ra);      // const int &
 
    const int *pa = &a;
    f_pointer(&a);
    f_pointer(pa);
 
    f_refref(a);    // int &
    f_refref(ca);   // const int &
    f_refref(ra);   // const int &
    f_refref(27);   // &&
 
    f_val(a);       // int
    f_val(ca);      // int
    f_val(ra);      // int
 
    return 0;
}

1.在模板参数推导中，具有引用类型的实参会被剥掉&，如上例的f_ref；

2.在模板参数推导中，如果参数是右值引用（&&），实参如果有具体的地址（已生成对象）会被特殊处理，即非引用类型会加上引用，如上例的f_refref(a)，引用类型不变，如上例的f_refref(ca)，实参如果是右值（未分配具体地址），则参数会以move方式传递，如果上例f_refref(27)；

3.在模板参数推导中，实参传递会剥掉引用，产生新的临时对象，如果上例的f_val(ca)和f_val(ra)。