Использование шаблонов, чтобы предотвратить сужение, но позволить расширить вводимые данные

У меня есть шаблон класса, предназначенный для использования с плавающей запятой. В классе есть метод, который должен позволять при необходимости расширять входные данные (например, float -> double), но не следует допускать сужение (т. е. потерю точности). Как мне обеспечить соблюдение этого правила?

Следующий пример — лучшее, что мне удалось сделать (используя if constexpr, то есть хотя бы C++17), но мне кажется, что использование как нереализованной специализации, так и static_cast, вероятно, не самое чистое и ясное решение. На самом деле он выполняет описанную работу, при условии, что используются только float и double (в отличие от более экзотических типов с плавающей запятой), что для меня не проблема:

#include <vector>
#include <type_traits>


template <typename Real>
class Foo
{
public:
    template <typename Real2>
    void DoSomething( const std::vector<Real2>& v );
};


// Enter here only when input is of same type as template
template <typename Real>
template <typename Real2>
void Foo<Real>::DoSomething( const std::vector<Real2>& v)
{
    if constexpr ( !std::is_same<Real, Real2>::value )
        static_assert(false);
    
    // ... Do actual work here ...
}


// Allow widening of inputs
template <>
template <>
void Foo<double>::DoSomething( const std::vector<float>& v)
{
    std::vector<double> v2;
    v2.reserve( v.size() );
    for ( const auto& val : v )
        v2.push_back( (double)val );
    DoSomething(v2);
}


// Deny narrowing of inputs
template <>
template <>
void Foo<float>::DoSomething( const std::vector<double>& v);


int main()
{
    std::vector<float> v1;
    std::vector<double> v2;

    // ... populate both v1 & v2 ...

    Foo<float> b1;
    b1.DoSomething( v1 );
    //b1.DoSomething( v2 );  // <--- This line should not be allowed to compile

    Foo<double> b2;
    b2.DoSomething( v1 );
    b2.DoSomething( v2 );
}

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

Обновлено: изменены неправильные термины «Повышающее приведение» и «Понижающее приведение» на «Расширение» и «Сужение».

Edit2: каким-то образом я отметил неправильную строку, которая, как ожидается, не скомпилируется.