Використання відрахування типу «auto» - як дізнатися, який тип вивів компілятор?

Як я можу дізнатись, який тип вивів компілятор при використанні autoключового слова?

Приклад 1: Простіший

auto tickTime = 0.001;

Це було виведено як 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;

Що це за тип nextTickTime?

Проблема у мене, коли я намагаюся послати nextTickTimeдо std::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)

Мені подобається використовувати ідею Effective Modern C ++, яка використовує нереалізований шаблон; тип виводиться з помилкою компілятора:

 template<typename T> struct TD;

Тепер для автоматичної змінної varпісля її визначення додайте:

 TD<decltype(var)> td;

І перегляньте повідомлення про помилку для вашого компілятора, воно буде містити тип var.

Ло-фі фокус, який не вимагає попередніх визначень помічників:

typename decltype(nextTickTime)::_

Компілятор скаржиться, що _не є членом будь-якого типу nextTickTime.

Ось 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;
}

Що друкує це в моїй системі:

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> >

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> > >

Як сказав Даніель Жур , прочитайте повідомлення про помилку:

... _Tp = std::chrono::time_point<
           std::chrono::_V2::system_clock,
           std::chrono::duration<
             double, std::ratio<1l, 1000000000l> > > ...

Низькотехнологічне рішення - навести мишу, на nextTickTimeяку в деяких графічних інтерфейсах видається тип else, встановлений .після nextTickTimeвcout і виберіть розумне шукають значення або функцію.

Загалом, якщо Ви знаєте, який тип Ви отримуєте, autoякщо не знаєте , не використовуйте його. Що трохи протилежне інтуїції.

Отже, якщо ви знаєте його інтератор, просто використовуйте auto, щоб зменшити заклинання, якщо результат якогось невідомого типу, вам слід з’ясувати, що це таке, перед використанням auto.

Див. Також Херб, Андрій та Скотт, які обговорюютьauto

Ця відповідь SO дає приємну функцію для роздрукування імені типу (насправді кілька реалізацій).

Крім цього безкоштовно, з відкритим вихідним кодом, заголовок тільки бібліотека дає хороший спосіб роздрукувати значення і введіть в chrono::durationс.

Поєднання цих двох утиліт:

#include "chrono_io.h"
#include "type_name.h"
#include <iomanip>
#include <iostream>

int
main()
{
    using namespace date;
    typedef std::ratio<1, 1> sec;
    std::chrono::duration<double, sec > timePerTick2{0.001};
    auto nextTickTime = std::chrono::high_resolution_clock::now() + timePerTick2;
    std::cout << type_name<decltype(nextTickTime)>() << '\n';
    std::cout << std::setprecision(12) << nextTickTime.time_since_epoch() << '\n';
}

Цей результат для мене:

std::__1::chrono::time_point<std::__1::chrono::steady_clock, std::__1::chrono::duration<double, std::__1::ratio<1, 1000000000> > >
4.8530542088e+14ns

Тип, виведений компілятором, міститься в повідомленні про помилку:

/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> > >]’
  ^^   <-------- the long type name --------------------------------------------------------------------------------------->

Це складне ім’я типу, але воно є в повідомленні про помилку.

Як додаткове зауваження, щоб ефективно роздрукувати значення у nextTickTimeвас слід явно перетворити на відповідне std::chrono::durationі вивести результат duration::count.

using std::chrono::duration_cast;
using std::chrono::seconds;

auto baseTime = ...;
std::cout << std::setprecision(12) << duration_cast<seconds>(nextTickTime - baseTime).count()
    << std::endl; // time in seconds

Ось спосіб примусити помилку компіляції, яка показує тип tickTime:

struct {} baD = tickTime;

@ jonathan-oconnor зазначає, що ви можете використовувати [[deprecated]]атрибут, введений в C ++ 14, для створення дуже чистого рішення:

template<typename T>
[[deprecated]] constexpr void printType(T const&) {}

На жаль, у діагностиці, яку видає MSVC, тип не згадується. ( приклад )