折腾怪的博客

life is meaningful , enjoy thinking.

C++ 实验 5.12

程序:变参模板输出多种类型参数  主要涉及右值引用,移动语义 可参考:右值引用....等等

先上代码:

#include <iostream>
#include <string>
#include <chrono>

struct St {
    std::string description;
};

template <class T>
void s_printf(T&& value) {
  std::cout << value << std::endl;
}
void s_printf(St& v) {
  std::cout << v.description << std::endl;
}
template<typename T, typename... Args>
auto s_printf(T&& value, Args&&... args) {
  s_printf(value);
  s_printf(args...);
}
int main() {
    St st {"Learn by Doing"};

    auto t1 = std::chrono::high_resolution_clock::now();

    st_printf(1, 2, 3.14, 5, 6, 7, 8, 9, 10, 11, 12, 13, "hello world", std::move(st));

    auto t2 = std::chrono::high_resolution_clock::now();
    auto duration = std::chrono::duration_cast<std::chrono::microseconds>(t2 - t1).count();
    std::cout << duration << std::endl;

    return 0;
}

auto t1 t2为了测试之间所包含代码执行的时间。

上面

 st_printf(1, 2, 3.14, 5, 6, 7, 8, 9, 10, 11, 12, 13, "hello world", std::move(st));

中 1 2  3.14 .... 13 这些都是字面值常量,是右值;(判断右值左值:能否对其使用取地址&,一大堆博文这么写/自己查)

而“hello world”是字符串字面值,类型为const char[] ,可以对其&取地址,所以是左值。

而&&在实参推导的时候,图说函数模板右值引用参数(T&amp;&amp;)类型推导规则(C++11)

不想打开连接的直接看总结,我把总结摘过来:

只要我们传递一个基本类型是A的左值,那么,传递后,T的类型就是A&,形参在函数体中的类型就是A&。

只要我们传递一个基本类型是A的右值,那么,传递后,T的类型就是A,形参在函数体中的类型就是A&&。

另外,模板参数类型推导是保留cv限定符(cv-qualifier,const和volatile限定符的统称)的,具体例子见《完美转发和标准库forward函数》。

①这里指形参在函数体中的实际类型

②函数返回的不具名左值引用依旧是左值,例如,上面代码中,Get(3)=5;是可以的。

③具名的右值引用是左值,不具名的右值引用是右值。

④这里,“基本类型是A”意思是:A,A&,A&&及A类型的字面值的基本类型都是A

所以“hello world”即便是左值,也可以把它传递给模板中右值引用的“形参”,这句话不严谨 仅供理解。

关于std::move

我们都知道move接受任意类型,并在内部通过static_cast<...>将其转换为&&

所以以下代码是可以正确运行的:

struct St {
    std::string description;
};
void s_printf(St&& v) {//如果换成& 则不能运行 因为传入的是右值引用
  std::cout << v.description << std::endl;
}
int main() {
    st_printf(std::move(st));}

那么为什么一开始的程序是&?

我们来看

 st_printf(1, 2, 3.14, 5, 6, 7, 8, 9, 10, 11, 12, 13, "hello world", std::move(st));

这是多个参数的,所以他会匹配

template<typename T, typename... Args>
auto s_printf(T&& value, Args&&... args) {
  s_printf(value);
  s_printf(args...);
}

这个时候,有一条规则不得不说了

右值引用和左值引用

  ①右值引用和左值引用都是属于引用类型。无论是声明一个左值引用还是右值引用,都必须立即进行初始化

  ②左值引用是具名变量/对象的别名,右值引用是匿名变量/对象的别名。

  ③左值和右值是独立于它的类型的,即左右值与类型没有直接关系,它们是表达式的属性具名的右值引用是左值,匿名的右值引用是右值。如Type&& t中t是个具名变量(最简单的表达式),t的类型是右值引用类型,但具有左值属性。而Type&& func()中的返回值(是个表达式)是右值引用类型,但具有右值属性(因为是个匿名对象)。

即:具名的右值引用是左值(左右值只表示表达式的属性,与表达式的类型没有关系)

所谓匿名对象也就是临时对象,自然也就是xvalue 将亡值--右值

这个时候使用

s_printf(args...);

传到

void s_printf(St& v) {
  std::cout << v.description << std::endl;
}

这个时候的arg是右值引用类型,但是他是左值,所以只能使用&,如果使用&& 那么就会匹配不到

当然了,移动语义在类的移动构造函数上有更大的意义。这个程序主要为了理解左值右值、左值引用右值引用。

利用重载<<来解决自定义类型的输出

std::ostream& operator<<(std::ostream& o, St &s)
{
    o<<s.description;return o;
}
auto s_printf(){}
template<typename T, typename... Args>
auto s_printf(T &&value, Args&&... args) {
std::cout<<value<<std::endl;
s_printf(std::forward<Args>(args)...);
}

不定义template的“特化”版本(不严谨,仅仅为了表达意思),转而重载<<,利用重载匹配来解决st类型的输出。

std::forward()  将一个或多个实参连同类型不变地转发给其他函数。它与move不同 必须通过显式模板实参来调用

forward<T>的返回类型是T&&  通过其返回类型上的引用折叠,forward可以保持给定实参的左值、右值类型。

为什么定义一个空的s_printf()

还没搞明白

难道最后forward会返回一个空值?也不对啊?



阅读更多
个人分类: Cpp
想对作者说点什么? 我来说一句

Dev C++ 5.12 中文版

2018年01月10日 63.86MB 下载

pdffactory pro 5.12

2014年08月20日 7.18MB 下载

jlink 5.12驱动软件

2017年11月01日 27.43MB 下载

没有更多推荐了,返回首页

不良信息举报

C++ 实验 5.12

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭