显式指定函数模板参数为引用类型

最新推荐文章于 2023-05-03 13:03:33 发布

unihykes

最新推荐文章于 2023-05-03 13:03:33 发布

阅读量1k

点赞数

分类专栏： C++

本文链接：https://blog.youkuaiyun.com/WOW542621126/article/details/80477911

版权

C++ 专栏收录该内容

3 篇文章

订阅专栏

转载请注明出处: https://blog.youkuaiyun.com/WOW542621126/article/details/80474681

摘要:

某些场景下,显式指定函数模板参数为引用类型, 触发引用折叠, 会有一些反直觉的情况发生,特此记录一下:

例1:const T&

#include <boost/type_index.hpp>
using boost::typeindex::type_id_with_cvr;

template<typename T>
void funcCall_A(const T& param)
{
    param += 10;

    MK_PRINT_MSG("T is %s, type of param is %s", 
        type_id_with_cvr<T>().pretty_name().c_str(),
        type_id_with_cvr<decltype(param)>().pretty_name().c_str());
}

TEST(ut_explicitCall, funcCall_A)
{
    int n = 1;

    funcCall_A<int&>(n);//const被丢弃
    MK_PRINT_MSG("n = %d", n);

    funcCall_A<int&&>(n);//const被丢弃
    MK_PRINT_MSG("n = %d", n);
}

执行结果:

这里写图片描述

例2:const T&&

template<typename T>
void funcCall_B(const T&& param)
{
    param += 10;

    MK_PRINT_MSG("T is %s, type of param is %s", 
        type_id_with_cvr<T>().pretty_name().c_str(),
        type_id_with_cvr<decltype(param)>().pretty_name().c_str());
}

TEST(ut_explicitCall, funcCall_B)
{
    int n = 5;

    funcCall_B<int&>(n);//const被丢弃
    MK_PRINT_MSG("n = %d", n);

    funcCall_B<int&&>(100);//const被丢弃, 修改了一个临时对象(右值)
}