Всем привет.

Что то вспотыкнулся, не нашёл в бусте (версия 1.39), автоматический вывод типов (промоушн до общего объемлющего арифметического типа) при перегрузке арифметических операторов типа operator+.

Хочется что то типа такого:

template<typename A, B>
typename enveloping_type<A, B>::type  operator+(A a, B b)...

Для примера <int, float> пусть выводить double, но было бы клёво если это можно было бы настраивать и выводить тут float.

Спасибо.