文档章节

std::forward的性质.

SHIHUAMarryMe
 SHIHUAMarryMe
发布于 2016/01/29 14:32
字数 482
阅读 62
收藏 1

更新于:16/8/28

//针对左值的情况.
template<typename T>
constexpr T&& my_forward(typename std::remove_reference<T>::type& value)noexcept
{
	std::cout << "my-forward: &" << std::endl;
	
	return (static_cast<T&&>(value));
}


//针对右值的情况.
template<typename T>
constexpr T&& my_forward(typename std::remove_reference<T>::type&& value)noexcept
{
	std::cout << "my-forward: &&" << std::endl;

	return (static_cast<T&&>(value));
}

std::forward<T>用来完美转发,也就是说如果变量是个右值经过std::forward仍然是个右值,如果是个左值经过std::forward转发仍然是个左值.

demo:

#include <utility>
#include <tuple>
#include <iostream>
#include <type_traits>

template<class _Ty> inline
constexpr _Ty&& my_forward(
	typename std::remove_reference<_Ty>::type& _Arg) _NOEXCEPT
{	// forward an lvalue as either an lvalue or an rvalue

	std::cout << "forward: &" << std::endl;
	return (static_cast<_Ty&&>(_Arg));
}

template<class _Ty> inline
constexpr _Ty&& my_forward(
	typename std::remove_reference<_Ty>::type&& _Arg) _NOEXCEPT
{	// forward an rvalue as an rvalue
	static_assert(!std::is_lvalue_reference<_Ty>::value, "bad forward call");

	std::cout << "forward: &&" << std::endl;

	return (static_cast<_Ty&&>(_Arg));
}


template<typename T>
class Node {
private:
	T value;

public:
	~Node() = default;

	Node(T&& value_) :value(std::move(value_)) //注意这里我用了move!因为我们还有一个构造函数是const T&
	{ 
		//std::cout << std::boolalpha 
		//	      << typename std::is_same<decltype(value_), decltype(my_forward<T>(value_))>::value 
		//	      << typename std::is_same<T&&, decltype(value_)>::value
		//	      << typename std::is_same<T&&, decltype(my_forward<T>(value_))>::value
		//	      << std::endl;

		std::cout << "constructor: &&" << std::endl;
	}

	Node(const T& value_) :value(value_) { std::cout << "constructor: const&" << std::endl; }

	void print()const
	{
		std::cout << this->value << std::endl;
	}
};


template<typename T>
void wrapperFunction(T&& value)
{
	print(value);
}

template<typename T>
void wrapFunction(T&& value)
{
	print(std::forward<T>(value));
}

template<typename T>
void print(const T& value)
{
	std::cout << "T& : " << value << std::endl;
}

template<typename T>
void print(T&& value)
{
	std::cout << "T&& :" << value << std::endl;
}


template<typename T>
void packagePrint(T&& val)
{
	using type = typename std::remove_reference<std::remove_const<T>::type>::type;
	Node<type>(std::forward<T>(val));
}


template<typename Type, typename ...Types>
void packagePrint(Type&& arg, Types&&... args)
{
	using type = typename std::remove_reference<std::remove_const<Type>::type>::type;
	Node<type>(std::forward<Type>(arg));
	packagePrint(std::forward<Types>(args)...);
}

int main()
{
	//case 1:
	int number = 50;
	//wrapperFunction(number); //output: T& : 50;
	//wrapperFunction(50);     //output: T& : 50;

	//case 2:
	//wrapFunction(number);  //output: T& : 50;
	//wrapFunction(50);      //output: T&& :50;

	//case 3:
	packagePrint(20, number, std::basic_string<char>("shihuawoaini"));
	
	//注意这里!!!!!!!!!!!!
	int&& x = 10l;  //此时的x其实是一个右值引用的左值!!!!!所以我们必须用std::forward才能保持.
	int& y = x;
	//int&& z = x; //error!.

	return 0;
}

 

© 著作权归作者所有

共有 人打赏支持
SHIHUAMarryMe
粉丝 12
博文 162
码字总数 136638
作品 0
武汉
程序员
C++11新特性:std::move()和std::forward()

C++11通过std::move()和std::forward()函数分别实现了左值转右值和完美转发的功能。 对于std::move(),考虑如下情形: void func(int &&args) { std::cout << args << std::endl; } int a = ......

yepanl
08/17
0
0
c++11实现异步定时器

c++11提供了丰富的时间和线程操作函数,比如 std::this_thread::sleep, std::chrono::seconds等。可以利用这些来很方便的实现一个定时器。 实现 ifndef TIMERH define TIMERH include includ...

moki_oschina
05/23
0
0
关于std::move和std::forward

这篇文章介绍的真不错:http://www.cnblogs.com/catch/p/3507883.html 总结起来: 1. std::move是将左值变成右值减少不必要的拷贝; 2. std::forward保持一个值的左值和右值特性不变,以变传...

analogous_love
2017/10/23
0
0
CUDA学习(七十三)

C ++ 11特性: 主机编译器默认启用的C ++ 11功能也受nvcc支持,并受到本文档中所述的限制。 另外,使用-std = c ++ 11标志调用nvcc会打开所有C ++ 11功能,并且还会调用具有相应C ++ 11方言选...

night李
02/23
0
0
Effective C++: RVO, NRVO.

总结: 绝对不要在函数返回的时候使用std::move和std::forward,因为编译器可能存在着对返回类型的优化.

SHIHUAMarryMe
2016/03/02
138
0

没有更多内容

加载失败,请刷新页面

加载更多

TypeScript基础入门之高级类型的多态的 this类型

转发 TypeScript基础入门之高级类型的多态的 this类型 高级类型 多态的this类型 多态的this类型表示的是某个包含类或接口的子类型。 这被称做F-bounded多态性。 它能很容易的表现连贯接口间的...

durban
10分钟前
0
0
tomcat中的几种log catalina localhost

体会 catalina.out catalina.log 是tomcat的标准输出(stdout)和标准出错(stderr) cataliana.{yyyy-MM-dd}.log和localhost.{yyyy-MM-dd}.log 是通过logging.properties配置的tomcat自己运行的......

onedotdot
31分钟前
1
0
Oracle return exit continue

常在循环体中看到下面3种语句: return exit continue 举例说明 啥都没有 -- none begin for i in 1 .. 10 loop if i < 5 then dbms_output.put_line('i < 5, i = ' || to_char......

taadis
今天
3
0
JSONObject 转换时出错 InvocationTargetException

JSONObject 转换时出错java.lang.reflect.InvocationTargetException 一时看不出来是什么问题。 挺奇怪的。 百度参考了一下这个 网页的解决方案 说是类型不对,空? 仔细查看代码,果然是有一...

之渊
今天
3
0
no such module 'pop'问题

在github上 clone 了一个 swift 项目,编译时提示"no such module 'POP'"错误,查了一下居然是因为podfile中指定的最低版本是iOS 11.0,大于我测试手机的iOS版本10.3.3,将Podfile中的最低版...

yoyoso
今天
3
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部