C++ - 函数模板(function template)右值引用参数 问题 及 解决

函数模板(function template)右值引用参数 问题 及 解决

本文地址:http://blog.youkuaiyun.com/caroline_wendy/article/details/17006205

函数模板右值引用(&&)参数, 存在问题, 由于"&&"双引用符号的歧义性, 和引用崩溃(reference collapse)的原因;

如果不显示(explicit)指定和没有重载, 则函数使用右值引用参数, 既可以传递右值, 又可以传递左值;

传递右值时, 类型正常; 传递左值时, 由于绑定异常(binding exception), 使得T转为类型的引用;

如果是显示指定"int&", 则由于引用崩溃(reference collapse), 使得"int& &&"转换为"int&", 则未类型的引用;

解决方法可以是使用显示指定, 再使用重载参数;

代码如下:

/*
 * cppprimer.cpp
 *
 *  Created on: 2013.11.28
 *      Author: Caroline
 */

#include <iostream>
#include <typeinfo>

template <typename T>
void rvfnc (T&& val)
{
	T t = val;
	++t;
	if (val == t)
		std::cout << "rvfnc: this is lvalue." << std::endl;
	else
		std::cout << "rvfnc: this is rvalue." << std::endl;
}

template <typename T>
void rvfnc (const T& val)
{
	std::cout << "rvfnc(overload): this is lvalue." << std::endl;
}

int main (void)
{
	int i(10);
	rvfnc(i); //左值
	rvfnc(10); //右值
	rvfnc<int&>(i); //如果包含重载则使用重载; 如果不包含, 则使用右值;

	return 0;
}

输出:

rvfnc: this is lvalue.
rvfnc: this is rvalue.
rvfnc(overload): this is lvalue.