Скорее всего, вы на самом деле передаете тип шаблона выражения функции, и шаблон-аргумент-дедукция выводит «неправильный» тип. Попробуйте отбросить аргументы, связанные с выражениями, на фактический тип числа или в качестве последнего средства отключить поддержку шаблона выражения в типе числа, который вы используете.

Как правило, поддержка шаблонов экспрессии добавляет небольшие накладные расходы на время выполнения, создавая и распаковывая шаблоны экспрессии, но значительно сокращает количество созданных времен. Так что наиболее эффективно в улучшении производительности, когда стоимость создания временного высока: например, при создании временного предполагает выделение памяти. Это наименее эффективно (и даже может быть неоптимизацией), когда временные параметры дешевы: например, если тип числа в основном представляет собой тонкую обертку вокруг нативного арифметического типа. Кроме того, поскольку библиотека широко использует функции тонкой встроенной обертки, оптимизация компилятора имеет важное значение для достижения высокой производительности.

Да, они делают это, иногда довольно радикально, поэтому, если это вызывает беспокойство, их следует отключить для типа номера, который вы используете.

Некоторые преобразования являютсяявными, которые включают в себя конструкцию из строки или конструкцию из любого типа, которая может привести к потере точности (например, конструирование целого типа из поплавка).

Битуазные операции с отрицательными значениями (или действительно любой подписанный целочисленный тип) не определены стандартом. В результате любая попытка выполнить побитовую операцию на отрицательном проверенном целом числе приведет кstd:Ошибкакак бы отбрасывается.

Использование оператора комплемента на подписанных типах проблематично, поскольку результат не определен стандартом, и еще более осложняется тем фактом, что большинство расширенных целочисленных типов используют представление величины знака, а не дополнение 2, которое предпочитают большинство нативных целых типов. В результате оператор комплемента намеренно отключается для проверенныхcpp_int's. Непроверенныеcpp_int's дают тот же результат, что и тип комплемента 2, но не тот же шаблон бита.

Унарный оператор отрицания намеренно отключается для неподписанных целочисленных типов, поскольку его использование почти всегда будет ошибкой программирования.

Очень ранняя версия библиотеки действительно использовала прото, но время компиляции стало слишком медленным для библиотеки. Поскольку библиотеке требовалась лишь небольшая часть того, что может предложить прото, вместо этого использовался легкий механизм шаблона выражения. Время компиляции слишком медленное...

Это считалось непрактичным: эти алгоритмы тесно связаны с фактическим представлением данных.