Item4 Know how to view deduced types

   在Item3中学习了C++11新特性decltypedecltype可以获取变量或者表达式的类型,但是获取到的类型只能用于定义其他的变量和类型,不能打印出来,也不能用来操作。毕竟是编译期实现,用来做类型反射就算了,那么至少也应该可以打印输出下吧,毕竟书中得来终觉醒。那么本文就介绍几种方法来得到decltype的返回类型的名字。

  • IDE Editors
    最简单的就是依靠C++的IDE帮你识别出decltype的返回类型,IDE毕竟不是万能的,所以你要识别的类型要尽可能的简单,不能过于复杂。

  • Compiler Diagnostic
    借助于编译器的诊断错误信息。通过错误使用decltype推导出来的类型让编译器报出编译错误,在编译错误的信息中可以发现decltype推导出来的类型名称。例如下面的这个例子:

template<typename T>
class TD

TD<decltype(x)> xType;

使用g++编译后,会出现编译出错,诊断信息如下:

错误:聚合‘TD<int> xType’类型不完全,无法被定义
   TD<decltype(x)> xType;

从上面的诊断信息就可以得出decltype(x)的结果就是int

  • Runtime Output
    最后一种方式就比较专业了,而且还是运行时获取,不光光可以用来验证decltype的返回类型,还可以做运行时的检查,和一些额外的操作,实现的手段则是利用了typeinfo
#include <typeinfo>
int x = 0;
std::cout << typeid(decltype(x)).name() << std::endl;

   上面会输出x的类型的名称,这里应该会输出int,但也不尽然,typeid的输出结果取决于编译器,MSVC的输出是int,而g++的输出则是i,也就是c++对int的名称重写后的结果。g++其实也可以实现和MSVC的输出结果一样,

#include <string>
#include <cxxabi.h> // 名称demangle
#include <memory>
#include <typeinfo>
#include <iostream>

std::string demangle(const char* name) {

    int status = -4; // some arbitrary value to eliminate the compiler warning

    // enable c++11 by passing the flag -std=c++11 to g++
    std::unique_ptr<char, void(*)(void*)> res {
        abi::__cxa_demangle(name, NULL, NULL, &status),
        std::free
    };

    return (status==0) ? res.get() : name ;
}

int main() {
  int x;
  std::cout << demangle(typeid(decltype(x)).name()) << std::endl;
}

   到此为止typeinfo看似解决了问题,其实不然,通过typeinfo得到的类型会忽略cv限制符还有引用,真的是差强人意啊。但是对const的指针类型是不会忽略const限制符的。具体可以参考typeid获取完整类型幸好可以借助于boost的Boost.Type-Index库得到精确的类型。

template<typename T>
void f(const T& param) {
  using std::cout;
  using boost::typeindex::type_id_with_cvr;

  cout << "param = "
       << type_id_with_cvr<T>().pretty_name()
       << '\n';

  cout << "param = "
       << type_id_with_cvr<decltype(param)>().pretty_name()
       << '\n';
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值