使用'auto'类型推导 - 如何找出编译器推导出的类型?

kmi*_*las 71 c++ auto c++11 c++-chrono

如何找出编译器在使用auto关键字时推断出的类型?

示例1:更简单

auto tickTime = 0.001;
Run Code Online (Sandbox Code Playgroud)

这被推断为a float或adouble?

例2:更复杂(以及我目前的头痛):

typedef std::ratio<1, 1> sec;
std::chrono::duration<double, sec > timePerTick2{0.001};
 auto nextTickTime = std::chrono::high_resolution_clock::now() + timePerTick2;
Run Code Online (Sandbox Code Playgroud)

什么类型nextTickTime

我遇到的问题是当我尝试发送nextTickTimestd::cout.我收到以下错误:

./main.cpp: In function ‘int main(int, char**)’:
./main.cpp:143:16: error: cannot bind ‘std::basic_ostream<char>’ lvalue to ‘std::basic_ostream<char>&&’
  std::cout << std::setprecision(12) << nextTickTime << std::endl; // time in seconds
            ^
In file included from /usr/include/c++/4.8.2/iostream:39:0,
             from ./main.cpp:10:
/usr/include/c++/4.8.2/ostream:602:5: error:   initializing argument 1 of ‘std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits<char>; _Tp = std::chrono::time_point<std::chrono::_V2::system_clock, std::chrono::duration<double, std::ratio<1l, 1000000000l> > >]’
 operator<<(basic_ostream<_CharT, _Traits>&& __os, const _Tp& __x)
Run Code Online (Sandbox Code Playgroud)

mar*_*inj 101

我喜欢使用Effective Modern C++中使用非实现模板的想法; 输出类型与编译器错误:

 template<typename T> struct TD;
Run Code Online (Sandbox Code Playgroud)

现在对于auto变量var,在定义之后添加:

 TD<decltype(var)> td;
Run Code Online (Sandbox Code Playgroud)

并为您的编译器查看错误消息,它将包含类型var.

  • @ratchetfreak是的,但是你会得到链接器错误而不是编译错误.之前显示了比较错误. (4认同)
  • 将'template <typename T> void td(T t);`也适用于自动变量var? (2认同)

Joh*_*ane 27

不需要任何先前帮助器定义的低保真技巧是:

typename decltype(nextTickTime)::_
Run Code Online (Sandbox Code Playgroud)

编译器会抱怨_不是任何类型的成员nextTickTime.


Cof*_*ode 8

这是一个typeid用于boost::core::demangle在运行时获取类型名称的版本.

#include <string>
#include <iostream>
#include <typeinfo>
#include <vector>
using namespace std::literals;

#include <boost/core/demangle.hpp>

template<typename T>
std::string type_str(){ return boost::core::demangle(typeid(T).name()); }

auto main() -> int{
    auto make_vector = [](auto head, auto ... tail) -> std::vector<decltype(head)>{
        return {head, tail...};
    };

    auto i = 1;
    auto f = 1.f;
    auto d = 1.0;
    auto s = "1.0"s;
    auto v = make_vector(1, 2, 3, 4, 5);

    std::cout
    << "typeof(i) = " << type_str<decltype(i)>() << '\n'
    << "typeof(f) = " << type_str<decltype(f)>() << '\n'
    << "typeof(d) = " << type_str<decltype(d)>() << '\n'
    << "typeof(s) = " << type_str<decltype(s)>() << '\n'
    << "typeof(v) = " << type_str<decltype(v)>() << '\n'
    << std::endl;
}
Run Code Online (Sandbox Code Playgroud)

哪个在我的系统上打印:

typeof(i) = int
typeof(f) = float
typeof(d) = double
typeof(s) = std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >
typeof(v) = std::vector<int, std::allocator<int> >
Run Code Online (Sandbox Code Playgroud)


Mat*_*her 5

typeid可用于在大多数时间获取变量的类型.它依赖于编译器,我看到它给出了奇怪的结果.g ++默认启用RTTI,在Windows端不确定.

#include <iostream>
#include <typeinfo>
#include <stdint.h>
#include <chrono>
#include <ctime>

typedef std::ratio<1, 1> sec;
int main()
{
    auto tickTime = .001;
    std::chrono::duration<double, sec > timePerTick2{0.001};
    auto nextTickTime = std::chrono::high_resolution_clock::now() + timePerTick2;
    std::cout << typeid(tickTime).name() << std::endl;
    std::cout << typeid(nextTickTime).name() << std::endl;

    return 0;
}

./a.out | c++filt

double
std::__1::chrono::time_point<std::__1::chrono::steady_clock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >
Run Code Online (Sandbox Code Playgroud)