Как ограничить допустимые типы при описании шаблона типа в C++?

Question

[Дмитрий Иванов]

Имеется некоторый класс (Float2) с конструктором., который принимает несколько параметров. Например: void Float2(float x, float y);
Далее возникла потребность принимать в качестве аргументов другие типы данных.
Можно было бы использовать шаблон template <typename T>, но требуется ограничить типы - в моём случае только float и string.
Да, можно написать как то так

void Float2(float x, float y);
void Float2(float x, string y);
void Float2(string x, float y);
void Float2(string x, string y);

Однако, о помимо такого класса, есть ещё и аналогичный с 4-мя аргументами, а это уже 16 вариаций конструкторов. Так дело не пойдёт.
Вопрос: возможно ли описать шаблон типа так, чтобы он был ограничен только типами float и string, а сам конструктор сводился к виду void Float2(T x, T y); или чему-то подобному

Comments

[Евгений Шатунов]

Дмитрий Иванов , а давай еще напишем причину такой необходимости. Обычно такие выкрутасы бывают нужны только в двух случаях: 1- когда есть проблемы с организацией класса; 2- когда хочется быть злобным буратиной и сильно испортить себе(или другим) жизнь.
Варианты решения вопроса есть, но чтобы с ними определиться, сперва надо понять его исподнюю.

[Adamos]

Для решения проблемы достаточно создать класс StringOrFloat с двумя конструкторами, принимающими, соответственно, String или float.
И в функции задать оба аргумента - именно этого класса.
У вас же, судя по применению шаблона, все равно к чему-то единому приводится значение аргументов.

[Дмитрий Иванов]

Adamos, в плане сведения к единому - вы правы. Идея была в том, чтобы принимать или float значение, или его HEX интерпретацию в IEEE754.
Новый класс это конечно хорошо, но для создания нового объекта типа Float2 придётся писать что-то типа

Float2{StringOrFloat{1.2}, StringOrFloat{"4059999a"}}

А такой вариант мне не очень то нравится.
Проще уж тогда предварительно делать парсинг во float и ограничиться только конструктором с float аргументами. Или я что-то не понимаю, т.к. новичок в C++

[Adamos]

Дмитрий Иванов, вас избавят от такой необходимости две функции в этом классе:

StringOrFloat& operator=(string)
StringOrFloat& operator=(float)

[Евгений Шатунов]

Adamos , а как именно эти операторы должны облегчить жизнь Дмитрия? Можно с примерами и детальными пояснениями?

[Adamos]

Евгений Шатунов, ну, не пересказывать же учебники.
Смотрите, вы же можете передать в функцию func(std::string) строковый литерал?
И вам не приходится вручную загонять его в конструктор std::string?

[Дмитрий Иванов]

Adamos, тем, что для функции
void Funct(StringOrFloat arg)
можно использовать запись
Funct("param")
вместо
Funct(StringOrFloat {"param"})
С float аналогично

[Евгений Шатунов]

Adamos , не надо пересказывать учебники. Мне важно видеть, понимает ли человек то, что говорит.
Очевидно, не понимаешь.

[Евгений Шатунов]

Дмитрий Иванов , как там с пояснением необходимости этого функционала?

[Дмитрий Иванов]

Евгений Шатунов, я попробовал сделать как Вы предложили, и всё у меня получилось.
Так что вопрос можно закрывать.
Спасибо!

[Евгений Шатунов]

Дмитрий Иванов , погоди, я еще ничего не предложил. :)
Хотя, раз у тебя все получилось, то это даже к лучшему. Хорошо. ))

[Дмитрий Иванов]

Ой! Это я вас, господа. перепутал. Короче, вариант с классом сработал.

[Евгений Шатунов]

Дмитрий Иванов , мнеб не хотелось, откровенно говоря, быть автором такого ответа. :)
Сможешь подправить ссылку с меня на Adamos-а в своем ответе?
Кстати, советую еще решением отметить ответ Виталия, т.к. он более подходит в обобщенном смысле.

Answer 1

[Vitaly]

Начиная с C++17, можно использовать constexpr if в шаблонах: en.cppreference.com/w/cpp/language/if . В самом условии что-то вроде en.cppreference.com/w/cpp/types/is_same, ну и выдавать ошибку компиляции, если типы не соотвествуют. Правда правила вам всё равно руками придётся прописывать или почитать advanced template metaprogramming.
Есть ещё вариант c boost::mpl, например использовать mpl::vector.

Answer 2

[Дмитрий Иванов]

Вариант, который предложил Adamos в комментариях, для меня оказался именно тем, что я искал. По крайней мере удалось реализовать задуманное