C++11中std::declval的实现机制浅析

本文主要给大家介绍了关于C++11中std::declval实现机制的相关内容，分享出来供大家参考学习，下面来一起看看详细的介绍：

在vs2013中，declval定义如下

template <_Ty>
 typenamea dd_rvalue_reference<_Ty>::type declval() _noexcept;

其中，add_rvalue_reference为一个traits，定义为

template <_Ty>
struct add_rvalue_reference
{
 typedef _Ty&& type;
}

可见，declval被定义为一个函数，并且只有申明，没有实现(在gcc 版本中似乎有实现，但是也不能在运行时调用——通过静态断言实现)。那么，问题来了，为什么这样定义呢，为什么不直接使用模板参数指定的，揣测原因如下:

通过函数返回值，实际上是等同于实例化了这个类型的一个对像，进而可以用这个对像调用成员方法，成员变量。这个方法最妙的地方在于不论类型的构造如何定义甚至有无构造都能获得这个类型的一个对像的引用实例。
其实，也有其它方法可以得到类似的效果。

class Klass
{
 public:
  int m_a;
 //parameter defined
 //member function
}

假如有上的一个类，可以通过下面的方法引用到成员变量m_a:

((Klass*)0)->m_a;

这也是在c语言中获取结构体成员的地址偏移量的常用技巧，但是有魔鬼数字和类型强转，不如declval来得优雅。

当然这一切都只能是在编译期蹦哒。declval常和c++11新引入的decltype配合。

总结

以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作能带来一定的帮助，如有疑问大家可以留言交流，谢谢大家对我们的支持。

赞 (0)

相关推荐

  • C++11中std::declval的实现机制浅析

    本文主要给大家介绍了关于C++11中std::declval实现机制的相关内容,分享出来供大家参考学习,下面来一起看看详细的介绍: 在vs2013中,declval定义如下 template <_Ty> typenamea dd_rvalue_reference<_Ty>::type declval() _noexcept; 其中,add_rvalue_reference为一个traits,定义为 template <_Ty> struct add_rvalue_ref

  • c++11中std::move函数的使用

    C++11在运行期有所增强,通过增加核心的右值引用机制来改善临时对象导致的效率低下的问题.C++临时对象引入了多余的构造.析构及其内部资源的申请释放函数调用,导致程序运行时性能受损,这一点被广为诟病.C++标准委员会在C++11中引入了右值引用这个核心语言机制,来提升运行期性能 过std::move,可以避免不必要的拷贝操作. std::move是为性能而生. std::move是将对象的状态或者所有权从一个对象转移到另一个对象,只是转移,没有内存的搬迁或者内存拷贝. 变量表达式是一个左值,即使

  • C++11中std::move、std::forward、左右值引用、移动构造函数的测试问题

    关于C++11新特性之std::move.std::forward.左右值引用网上资料已经很多了,我主要针对测试性能做一个测试,梳理一下这些逻辑,首先,左值比较熟悉,右值就是临时变量,意味着使用一次就不会再被使用了.针对这两种值引入了左值引用和右值引用,以及引用折叠的概念. 1.右值引用的举例测试 #include <iostream> using namespace std; ​ //创建一个测试类 class A { public: A() : m_a(55) { } ​ int m_a;

  • C++11中std::function与std::bind的用法实例

    目录 关于std::function 的用法: 关于std::bind 的用法: 附:std::function与std::bind双剑合璧 总结 关于std::function 的用法: 其实就可以理解成函数指针 1. 保存自由函数 void printA(int a) { cout<<a<<endl; } std::function<void(int a)> func; func = printA; func(2); 保存lambda表达式 std::functio

  • C++11中std::future的具体使用方法

    C++11中的std::future是一个模板类.std::future提供了一种用于访问异步操作结果的机制.std::future所引用的共享状态不能与任何其它异步返回的对象共享(与std::shared_future相反)( std::future references shared state that is not shared with any other asynchronous return objects (as opposed to std::shared_future)).一

  • C++11中std::packaged_task的使用详解

    C++11中的std::packaged_task是个模板类.std::packaged_task包装任何可调用目标(函数.lambda表达式.bind表达式.函数对象)以便它可以被异步调用.它的返回值或抛出的异常被存储于能通过std::future对象访问的共享状态中. std::packaged_task类似于std::function,但是会自动将其结果传递给std::future对象. std::packaged_task对象内部包含两个元素:(1).存储的任务(stored task)

  • C++11中std::async的使用详解

    C++11中的std::async是个模板函数.std::async异步调用函数,在某个时候以Args作为参数(可变长参数)调用Fn,无需等待Fn执行完成就可返回,返回结果是个std::future对象.Fn返回的值可通过std::future对象的get成员函数获取.一旦完成Fn的执行,共享状态将包含Fn返回的值并ready. std::async有两个版本: 1.无需显示指定启动策略,自动选择,因此启动策略是不确定的,可能是std::launch::async,也可能是std::launch

  • C++11中多线程编程-std::async的深入讲解

    前言 C++11中提供了异步线程接口std::async,std::async是异步编程的高级封装,相对于直接使用std::thread,std::async的优势在于: 1.std::async会自动创建线程去调用线程函数,相对于低层次的std::thread,使用起来非常方便: 2.std::async返回std::future对象,通过返回的std::future对象我们可以非常方便的获取到线程函数的返回结果: 3.std::async提供了线程的创建策略,可以指定同步或者异步的方式去创建

  • C++11中列表初始化机制的概念与实例详解

    C++11中列表初始化机制的概念与实例详解

    目录 概述 实现机制详解 POD类型的列表初始化 含有构造函数的类的列表初始化(C++11) 列表初始化用于函数返回值 引入std::initializer_list 代码验证 应用 列表初始化防止类型收窄 总结 概述 定义:列表初始化是C++11引入的新标准,目的是统一初始化方式 C++11以前只能使用列表初始化来初始化内置类型数组和POD类型对象,C++11中列表初始化可以用于初始化任何类型对象 POD(plain old data)类型:仅由内置类型变量构成且不含指针的类,简单来说是可以直

  • C++11中lambda、std::function和std:bind详解

    C++11中lambda、std::function和std:bind详解

    前言 在C++11新标准中,语言本身和标准库都增加了很多新内容,本文只涉及了一些皮毛.不过我相信这些新特性当中有一些,应该成为所有C++开发者的常规装备.本文主要介绍了C++11中lambda.std::function和std:bind,下面来一起看看详细的介绍吧. lambda 表达式 C++11中新增了lambda 表达式这一语言特性.lambda表达式可以让我们快速和便捷的创建一个"函数". 下面是lambda表达式的语法: [ capture-list ] { body }

随机推荐