type dedution and reference collapse in c++ 11(works vc++ 2013)

#include <iostream>
#include <string>
#include <utility>

template<typename T>
struct Ident
{
	static char const* name()
	{
		return "T";
	}
};


template<typename T>
struct Ident<const T>
{
	static char const* name()
	{
		return "T const";
	}
};

template<typename T>
struct Ident<volatile T>
{
	static char const* name()
	{
		return "T volatile";
	}
};

template<typename T>
struct Ident<volatile const T>
{
	static char const* name()
	{
		return "T volatile const";
	}
};

template<typename T>
struct Ident<T&>
{
	static char const* name()
	{
		return "T&";
	}
};

template<typename T>
struct Ident<T const&>
{
	static char const* name()
	{
		return "T const&";
	}
};

template<typename T>
struct Ident<T volatile&>
{
	static char const* name()
	{
		return "T volatile&";
	}
};

template<typename T>
struct Ident<T volatile const&>
{
	static char const* name()
	{
		return "T const volatile &";
	}
};

template<typename T>
struct Ident<T&&>
{
	static char const* name()
	{
		return "T&&";
	}
};

template<typename T>
struct Ident<T const&&>
{
	static char const* name()
	{
		return "T const&&";
	}
};

template<typename T>
struct Ident<T volatile&&>
{
	static char const* name()
	{
		return "T volatile&&";
	}
};

template<typename T>
struct Ident<T volatile const &&>
{
	static char const* name()
	{
		return "T const volatile &&";
	}
};

void bar(std::string&)
{
	std::cout << "void bar(std::string &)" << std::endl;
}

void bar(std::string volatile &)
{
	std::cout << "void bar(std::string volatile&)" << std::endl;
}

void bar(std::string const &)
{
	std::cout << "void bar(std::string const&)" << std::endl;
}

void bar(std::string const volatile &)
{
	std::cout << "void bar(std::string const volatile&)" << std::endl;
}

void bar(std::string &&)
{
	std::cout << "void bar(std::string &&)" << std::endl;
}

//type deduction and then reference colappse
template <typename MyT>
void foo(MyT&& a)
{
	std::cout << "MyT:" << Ident<MyT>::name() << ", MyT&:" << Ident<MyT&>::name() << ", MyT&&:" << Ident<MyT&&>::name() << std::endl;
	//forward argment a with reserved rvalueness/lvalueness, constness, volatileness
	bar(std::forward<MyT>(a));
	//bar(std::move(a));
}


int main()
{

	{
		//rvalue
		foo([]()-> std::string{return "10"; }());
		std::string x = "11";
		//lvalue
		foo(x);
		std::string& y = x;
		//lvalue
		foo(y);
		std::string&& z = "12";
		//lvalue
		foo(z);
	}

	{
	//const rvalue
	foo([]()->std::string const{return "10"; }());
	std::string const x = "11";
	//const lvalue
	foo(x);
	std::string const & y = x;
	//const lvalue
	foo(y);
	std::string const&& z = "12";
	//const lvalue
	foo(z);
}

	{
		//volatile rvalue
		foo([]()->std::string volatile{return "10"; }());
		std::string volatile x = "11";
		//volatile 	lvalue
		foo(x);
		std::string volatile & y = x;
		//volatile lvalue
		foo(y);
		std::string volatile && z = "12";
		//volatile lvalue
		foo(z);
	}

	{
		//const volatile rvalue
		foo([]()->std::string volatile const {return "10"; }());
		//const volatile lvalue
		std::string volatile  const x = "11";
		//const volatile lvalue
		foo(x);
		std::string volatile const & y = x;
		//const volatile lvalue
		foo(y);
		std::string volatile const && z = "12";
		//const volatile lvalue
		foo(z);
	}
	return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值