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

#include <type_traits>
 
template <class ... T> struct is_one_same: std::false_type {}; 
template <class T, class U, class... V> struct is_one_same<T, U, V...>: is_one_same<T, V...> {}; 
template <class T, class ... V> struct is_one_same<T, T, V...>: std::true_type {};
 
template<typename T>
std::enable_if_t<is_one_same<T, int, double, float>::value, T> var{};
 
 
int main()
{
    var<int>;
    var<double>;
    var<float>;
    var<long>;
}

#include <type_traits>
 
template <typename T, typename... Types>
constexpr bool is_any_of = std::disjunction_v<std::is_same<T, Types>...>;
 
template<typename T>
std::enable_if_t<is_any_of<T, int, double, float>, T> var {};
 
int main()
{
    var<int>;       //ok
    var<double>;    //ok
    var<float>;     //ok
    var<char>;      //fail
 
    return 0;
}

template <typename T, typename... Types>
concept is_any_of = (... || std::same_as<T, Types>);
 
template<typename T>
concept MyConcept = is_any_of<T, int, double, float>;
 
template<MyConcept T>
T var {};

template <typename T, typename... Types>
concept is_any_of = (... || std::same_as<T, Types>);
 
template<typename T, typename... Types>
requires is_any_of<T, int, float, double>
T var {};

#include <type_traits>
 
template<typename T>
requires std::is_same_v<T, int> 
      || std::is_same_v<T, float>
      || std::is_same_v<T, double>
T var {};
 
int main()
{
    var<int>;
    var<float>;
    var<double>;
}