Телеграмм чат группы ProCxx страница 14674

так и есть

19:30пожаловаться #1

нашёл ошибку, она выеденного яйца не стоила, а вот диагностические сообщения - *****
В объявлении FieldType ошибок не было, как добиться, чтобы можно было узнать реальный тип - загадка.

19:31пожаловаться #2

Alexander Zaitsev

так там wide_int вроде как нет :(

using integer_t = boost::multiprecision::cpp_int;

А это что?

19:44пожаловаться #3

что-то вроде структуры, при инстанциировании которой он напишет реальный тип (потому что в ней чего-то не хватает)

template <class T>
void printType() {
  std::cout << boost::typeindex::type_id_with_cvr<T>().pretty_name() << "\n";
}

19:45пожаловаться #4

не, у меня ж компиляция фэйлится, так бы я просто typeid().name взял. Задача была увидеть конкретный тип в сообщении об ошибке, а не его псевдоним.

19:46пожаловаться #5

да и отладчик обычно нормально типы показывает

19:46пожаловаться #6

Ты прочитал самое первое сообщение об ошибке или только то, что вывела студия в свою сонсоль?

19:47пожаловаться #7

прочитал весь текстовый Output компилятора

19:48пожаловаться #8

прочитал весь текстовый Output компилятора

Вот и ищи в нем строку с словом error: и место инстанцирования.

19:48пожаловаться #9

там не был развернут тип, и даже когда через мой принтер удалось добиться приписки with T = ... , там был псевдоним

19:48пожаловаться #10

это было

19:49пожаловаться #11

там не был развернут тип, и даже когда через мой принтер удалось добиться приписки with T = ... , там был псевдоним

Какой псевдоним? Ты хочешь вывести реальный тип внутри тупедефа или что?

19:49пожаловаться #12

именно

19:49пожаловаться #13

Напомните, каким трюком можно заставить MSVC развернуть все using и показать в сообщении об ошибке истинный вычисленный тип, а не его финальный идентификатор?

А юзинг не истинный и не финальный?

19:50пожаловаться #14

Alexander Zaitsev in pro.cxx

vehlwn

using integer_t = boost::multiprecision::cpp_int;

А это что?

это unbounded_integer, в общем случае. но из него можно сделать wide_int

19:50пожаловаться #15

Alexander Zaitsev

это unbounded_integer, в общем случае. но из него можно сделать wide_int

Ты хочешь фиксированный штоле?

typedef number<cpp_int_backend<128, 128, unsigned_magnitude, unchecked, void> >   uint128_t;

19:52пожаловаться #16

Alexander Zaitsev in pro.cxx

vehlwn

Ты хочешь фиксированный штоле?

typedef number<cpp_int_backend<128, 128, unsigned_magnitude, unchecked, void> >   uint128_t;

так я же и говорю, что можно сделать :)

19:52пожаловаться #17

vehlwn

А юзинг не истинный и не финальный?

нет, конечно, это просто алиас, и я понятия не имею, для какого типа трейт сфэйлился, отлаживать невозможно по таким сообщениям

19:52пожаловаться #18

Ниче не понял. Тупедеф не вводит новый тип и является простой текстовой подстановкой. Покажи что у тебя есть и что хочешь получить.

19:53пожаловаться #19

ну блин, using MyT = std::conditional_t<b, T1, T2>. В сообщении об ошибке написано только MyT. А теперь представь, что на самом деле он выведен через ещё 5 шаблонов, как это отлаживать?